Metamathematical discussion of some affine geometries
L. Szczerba, Alfred Tarski (1979)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Non-axiomatizability of real general affine geometry”
Metamathematical discussion of some affine geometries
Existence in mathematics
R. L. Goodstein (1968)
Compositio Mathematica
Similarity:
Affine super-Pythagorean geometry.
Pambuccian, Victor (2000)
Beiträge zur Algebra und Geometrie
Similarity:
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
An unfinitizability proof by means of restricted reduced power
Andrzej Grzegorczyk (1971)
Fundamenta Mathematicae
Similarity:
On interpretability in theories containing arithmetic
Marie Hájková, Petr Hájek (1972)
Fundamenta Mathematicae
Similarity:
On a system of axioms which has no recursively enumerable arithmetic model
Andrzej Mostowski (1953)
Fundamenta Mathematicae
Similarity:
Axiomatizability of second order arithmetic with ω-rule
Paweł Zbierski (1978)
Fundamenta Mathematicae
Similarity:
A sequence of theories for arithmetic whose union is complete
Aldo Ursini (1977)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Some applications of formalized consistency proofs
G. Kreisel, Hao Wang (1955)
Fundamenta Mathematicae
Similarity: