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.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “A generalization of elementary formal systems”
Arithmetization of metamathematics in a general setting
The equivalence of two definitions of elementary formal system
Haskell B. Curry (1968)
Compositio Mathematica
Similarity:
On the concepts of completeness and interpretation of formal systems
G. Kreisel (1952)
Fundamenta Mathematicae
Similarity:
Fixed points and self-reference.
Smullyan, Raymond M. (1984)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Consistency statements in formal theories
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
An unfinitizability proof by means of restricted reduced power
Andrzej Grzegorczyk (1971)
Fundamenta Mathematicae
Similarity:
On definable sets of positive integers
Andrzej Mostowski (1947)
Fundamenta Mathematicae
Similarity:
Some consequences of the axiom of constructibility
J. Addison (1959)
Fundamenta Mathematicae
Similarity:
Failure of completeness properties of intuitionistic predicate logic for constructive models
Daniel Leivant (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Elementary interpretations of negationless arithmetic
E. López-Escobar (1974)
Fundamenta Mathematicae
Similarity: