Consistency statements in formal theories
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “A system which can define its own truth”
Consistency statements in formal theories
On the concepts of completeness and interpretation of formal systems
G. Kreisel (1952)
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:
On definable sets of positive integers
Andrzej Mostowski (1947)
Fundamenta Mathematicae
Similarity:
Arithmetization of metamathematics in a general setting
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
Functional interpretation of bar induction by bar recursion
W. A. Howard (1968)
Compositio Mathematica
Similarity:
On the definition of computable functionals
Andrzej Grzegorczyk (1955)
Fundamenta Mathematicae
Similarity:
Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
Claudio Bernardi, Franco Montagna (1984)
Fundamenta Mathematicae
Similarity:
Recursion in total functionals of finite type
Solomon Feferman (1977)
Compositio Mathematica
Similarity: