Non-axiomatizability of real general affine geometry
Alexander Prestel, Lesław Szczerba (1979)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: