Sperner spaces and first-order logic

Andreas Blass; Victor Pambuccian

doi:10.1002/malq.200310011

Sperner spaces and first-order logic

Research output: Contribution to journal › Article › peer-review

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 language	English (US)
Pages (from-to)	111-114
Number of pages	4
Journal	Mathematical Logic Quarterly
Volume	49
Issue number	2
DOIs	https://doi.org/10.1002/malq.200310011
State	Published - 2003

Keywords

First-order logic
Sperner spaces
ℒ-logic

ASJC Scopus subject areas

Logic

Access to Document

10.1002/malq.200310011

Cite this

@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 = "First-order logic, Sperner spaces, ℒ-logic",

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 - First-order logic

KW - Sperner spaces

KW - ℒ-logic

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

SN - 0942-5616

VL - 49

SP - 111

EP - 114

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 2

ER -

Sperner spaces and first-order logic

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this