On definitions in an infinitary language

Research output: Contribution to journalArticlepeer-review

1 Scopus citations


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
Issue number4
StatePublished - Dec 3 2002


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

ASJC Scopus subject areas

  • Logic


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

Cite this