Sperner spaces and first-order logic

Andreas Blass, Victor Pambuccian

Research output: Contribution to journalArticlepeer-review


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
Issue number2
StatePublished - 2003


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

ASJC Scopus subject areas

  • Logic


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

Cite this