Arithmetization of metamathematics in a general setting
S. Feferman (1960)
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 “Some consequences of the axiom of constructibility”
Arithmetization of metamathematics in a general setting
Separation principles in the hierarchies of classical and effective descriptive set theory
J. Addison (1958)
Fundamenta Mathematicae
Similarity:
On definable sets of positive integers
Andrzej Mostowski (1947)
Fundamenta Mathematicae
Similarity:
Consistency statements in formal theories
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
Undecidable and creative theories
J. Shoenfield (1961)
Fundamenta Mathematicae
Similarity:
Fixed points and self-reference.
Smullyan, Raymond M. (1984)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Non-extensional equality
A. Troelstra (1975)
Fundamenta Mathematicae
Similarity:
Concerning definable sets
N. Routledge (1955)
Fundamenta Mathematicae
Similarity:
Effective cofinalities and admissibility in E-recursion
E. Griffor, Dag Normann (1984)
Fundamenta Mathematicae
Similarity:
On the concepts of completeness and interpretation of formal systems
G. Kreisel (1952)
Fundamenta Mathematicae
Similarity:
A generalization of the incompleteness theorem
Andrzej Mostowski (1961)
Fundamenta Mathematicae
Similarity: