On the ε-theorems
H. Rasiowa (1956)
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 “Undecidability of some simple formalized theories”
On the ε-theorems
Comparison of the axioms of local and universal choice
Urlich Felgner (1971)
Fundamenta Mathematicae
Similarity:
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
A construction for consistent systems
I. Novak (1950)
Fundamenta Mathematicae
Similarity:
An algebraic characterization of quantifiers
Leon Henkin (1950)
Fundamenta Mathematicae
Similarity:
An undecidable arithmetical statement
Andrzej Mostowski (1949)
Fundamenta Mathematicae
Similarity:
Models of axiomatic systems
Andrzej Mostowski (1952)
Fundamenta Mathematicae
Similarity:
Some impredicative definitions in the axiomatic set theory
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity:
Novak's result by Henkin's method
H. Doest (1969)
Fundamenta Mathematicae
Similarity:
A completeness theorem for the general interpreted modal calculus of A. Bressan
Alberto Zanardo (1981)
Rendiconti del Seminario Matematico della Università di Padova
Similarity: