On definitions in an infinitary language

Victor Pambuccian

doi:10.1002/1521-3870(200211)48:4<522::AID-MALQ522>3.0.CO;2-F

On definitions in an infinitary language

Victor Pambuccian

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

1 Scopus citations

Abstract

We provide the syntactic equivalent for the theorem stating that all epimorphisms of finite projective planes (or of generalized n-gons) are isomorphisms. The definition of the inequality relation that we provide adds little to our understanding of the theorem, since its very validity can be discerned only from the validity of the model-theoretic theorem regarding epimorphisms.

Original language	English (US)
Pages (from-to)	522-524
Number of pages	3
Journal	Mathematical Logic Quarterly
Volume	48
Issue number	4
DOIs	https://doi.org/10.1002/1521-3870(200211)48:4<522::AID-MALQ522>3.0.CO;2-F
State	Published - Dec 3 2002

Keywords

Beth's theorem
Finite projective planes
Infinitary language

ASJC Scopus subject areas

Logic

Access to Document

10.1002/1521-3870(200211)48:4<522::AID-MALQ522>3.0.CO;2-F

Cite this

@article{062a6ae8bb6f4ee9803942938139a5d0,

title = "On definitions in an infinitary language",

abstract = "We provide the syntactic equivalent for the theorem stating that all epimorphisms of finite projective planes (or of generalized n-gons) are isomorphisms. The definition of the inequality relation that we provide adds little to our understanding of the theorem, since its very validity can be discerned only from the validity of the model-theoretic theorem regarding epimorphisms.",

keywords = "Beth's theorem, Finite projective planes, Infinitary language",

author = "Victor Pambuccian",

year = "2002",

month = dec,

day = "3",

doi = "10.1002/1521-3870(200211)48:4<522::AID-MALQ522>3.0.CO;2-F",

language = "English (US)",

volume = "48",

pages = "522--524",

journal = "Mathematical Logic Quarterly",

issn = "0942-5616",

publisher = "Wiley-VCH Verlag",

number = "4",

}

TY - JOUR

T1 - On definitions in an infinitary language

AU - Pambuccian, Victor

PY - 2002/12/3

Y1 - 2002/12/3

N2 - We provide the syntactic equivalent for the theorem stating that all epimorphisms of finite projective planes (or of generalized n-gons) are isomorphisms. The definition of the inequality relation that we provide adds little to our understanding of the theorem, since its very validity can be discerned only from the validity of the model-theoretic theorem regarding epimorphisms.

AB - We provide the syntactic equivalent for the theorem stating that all epimorphisms of finite projective planes (or of generalized n-gons) are isomorphisms. The definition of the inequality relation that we provide adds little to our understanding of the theorem, since its very validity can be discerned only from the validity of the model-theoretic theorem regarding epimorphisms.

KW - Beth's theorem

KW - Finite projective planes

KW - Infinitary language

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

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

U2 - 10.1002/1521-3870(200211)48:4<522::AID-MALQ522>3.0.CO;2-F

DO - 10.1002/1521-3870(200211)48:4<522::AID-MALQ522>3.0.CO;2-F

M3 - Article

AN - SCOPUS:0036436262

SN - 0942-5616

VL - 48

SP - 522

EP - 524

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 4

ER -

On definitions in an infinitary language

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this