On definitions in an infinitary language

Research output: Contribution to journalArticlepeer-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 languageEnglish (US)
Pages (from-to)522-524
Number of pages3
JournalMathematical Logic Quarterly
Volume48
Issue number4
DOIs
StatePublished - Dec 3 2002

Keywords

  • Beth's theorem
  • Finite projective planes
  • Infinitary language

ASJC Scopus subject areas

  • Logic

Fingerprint Dive into the research topics of 'On definitions in an infinitary language'. Together they form a unique fingerprint.

Cite this