Non-axiomatizability of real general affine geometry
Alexander Prestel, Lesław Szczerba (1979)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Metamathematical discussion of some affine geometries”
Non-axiomatizability of real general affine geometry
An axiom system for the class of groups of dilatations in Fano-Pappian affine planes
Malgorzata Grochowska (1987)
Colloquium Mathematicae
Similarity:
Algebraic models of axiomatic theories
H. Rasiowa (1955)
Fundamenta Mathematicae
Similarity:
On n-ary equivalence relations and their application to geometry
Wanda Szmielew
Similarity:
CONTENTSForeword............................................................................................................................................. 5Introduction......................................................................................................................................... 7Chapter I. n-ary equivalence relations........................................................................................... 8Chapter II. Application of n-ary equivalence relations...
Quantifier-free axioms for constructive plane geometry
Nancy Moler, Patrick Suppes (1968)
Compositio Mathematica
Similarity:
A contribution to Gödel's axiomatic set theory, I
Ladislav Rieger (1957)
Czechoslovak Mathematical Journal
Similarity:
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
Comparison of the axioms of local and universal choice
Urlich Felgner (1971)
Fundamenta Mathematicae
Similarity: