Sperner spaces and first-order logic

Andreas Blass, Victor Pambuccian

Research output: Contribution to journalArticle

Abstract

We study the class of Sperner spaces, a generalized version of affine spaces, as defined in the language of point-line 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.

Original languageEnglish (US)
Pages (from-to)111-114
Number of pages4
JournalMathematical Logic Quarterly
Volume49
Issue number2
DOIs
StatePublished - Jan 1 2003

Keywords

  • First-order logic
  • Sperner spaces
  • ℒ-logic

ASJC Scopus subject areas

  • Logic

Fingerprint Dive into the research topics of 'Sperner spaces and first-order logic'. Together they form a unique fingerprint.

  • Cite this