𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Sperner spaces and first-order logic

✍ Scribed by Andreas Blass; Victor Pambuccian

Publisher
John Wiley and Sons
Year
2003
Tongue
English
Weight
79 KB
Volume
49
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We study the class of Sperner spaces, a generalized version of affine spaces, as defined in the language of pointline incidence and line parallelity. We show that, although the class of Sperner spaces is a pseudo‐elementary class, it is not elementary nor even ℒ︁~βˆžΟ‰~‐axiomatizable. We also axiomatize the first‐order theory of this class.

πŸ“œ SIMILAR VOLUMES

Fuzzy unification and first order probab
Fuzzy unification and first order probabilistic logic
✍ Marco Piastra πŸ“‚ Article πŸ“… 2002 πŸ› John Wiley and Sons 🌐 English βš– 123 KB

The notion of unification for fuzzy sets in fuzzy logic programming is explored in this article from the standpoint of a theoretical framework based on first-order probabilistic modal logic. The fundamental difference between the latter perspective and other approaches described in the literature li

Characterizing Second Order Logic with F
Characterizing Second Order Logic with First Order Quantifiers
✍ David Harel πŸ“‚ Article πŸ“… 1979 πŸ› John Wiley and Sons 🌐 English βš– 257 KB

CHARACTERIZING SECOND ORDER LOGIC WITH FIRST ORDER QU-4NTIFIERX by DAVID HAREL in Cambridge, Massachusets (U.S.A.) l) ') The author is indebted to W. J. WALKOE, A. R. MEYER, A. SHAMIR and a rcfeiee for comments on previous versions.

Universal First-Order Definability in Mo
Universal First-Order Definability in Modal Logic
✍ R. E. Jennings; D. K. Johnston; P. K. Schotch πŸ“‚ Article πŸ“… 1980 πŸ› John Wiley and Sons 🌐 English βš– 198 KB

UPiIVERSAL FIRST-ORDER DEFINABILITY I N MODAL LOGIC by R. E. JENNIXGS and D. K. JOHNSTON in Burnaby, British Columbia (Canada) and P. K. SCHOTCH in Halifax, Nova Scotia (Canada)l) In [ l ] R. I. GOLDBLATT presents a model theoretic characterization of the class of modal sentences determined by firs

Decidability and Definability Results Co
Decidability and Definability Results Concerning Well-Orderings and Some Extensions of First Order Logic
✍ Bogdan Stanislaw Chlebus πŸ“‚ Article πŸ“… 1980 πŸ› John Wiley and Sons 🌐 English βš– 452 KB

DECIDABILITY AND DEFINABILITY RESULTS CONCERNING WELL-ORDERINGS AND SOME EXTENSIONS OF FIRST ORDER LOGIC by BOGDAN STANISLAW CHLEBUS in Warsaw (Poland) ## 1. Introdiirtion Let L\* denote a countable extension of the first order language L. I n this paper 1 ) definability of the class of well-order