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 - 2003

Fingerprint

First-order Logic
Affine Space
Line
Incidence
First-order
Class

Keywords

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

ASJC Scopus subject areas

  • Logic

Cite this

Sperner spaces and first-order logic. / Blass, Andreas; Pambuccian, Victor.

In: Mathematical Logic Quarterly, Vol. 49, No. 2, 2003, p. 111-114.

Research output: Contribution to journalArticle

Blass, Andreas ; Pambuccian, Victor. / Sperner spaces and first-order logic. In: Mathematical Logic Quarterly. 2003 ; Vol. 49, No. 2. pp. 111-114.
@article{a456aa759e27476ea3ff4ac97f794623,
title = "Sperner spaces and first-order logic",
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.",
keywords = "ℒ-logic, First-order logic, Sperner spaces",
author = "Andreas Blass and Victor Pambuccian",
year = "2003",
doi = "10.1002/malq.200310011",
language = "English (US)",
volume = "49",
pages = "111--114",
journal = "Mathematical Logic Quarterly",
issn = "0942-5616",
publisher = "Wiley-VCH Verlag",
number = "2",

}

TY - JOUR

T1 - Sperner spaces and first-order logic

AU - Blass, Andreas

AU - Pambuccian, Victor

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

KW - ℒ-logic

KW - First-order logic

KW - Sperner spaces

UR - http://www.scopus.com/inward/record.url?scp=0037232818&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0037232818&partnerID=8YFLogxK

U2 - 10.1002/malq.200310011

DO - 10.1002/malq.200310011

M3 - Article

AN - SCOPUS:0037232818

VL - 49

SP - 111

EP - 114

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

SN - 0942-5616

IS - 2

ER -