A model for barrecursion of higher types
B. Scarpellini (1971)
Compositio Mathematica
Similarity:
Displaying similar documents to “Functional interpretation of bar induction by bar recursion”
A model for barrecursion of higher types
Presentation of Natural Deduction
R. P. Nederpelt (1977)
Zbornik Radova
Similarity:
On the definition of computable functionals
Andrzej Grzegorczyk (1955)
Fundamenta Mathematicae
Similarity:
A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
On the concepts of completeness and interpretation of formal systems
G. Kreisel (1952)
Fundamenta Mathematicae
Similarity:
An algebraic characterization of quantifiers
Leon Henkin (1950)
Fundamenta Mathematicae
Similarity:
Arithmetization of metamathematics in a general setting
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
An addition to “logic of many-sorted theories”
P. C. Gilmore (1956-1958)
Compositio Mathematica
Similarity:
Some impredicative definitions in the axiomatic set theory
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity:
A system which can define its own truth
John Myhill (1950)
Fundamenta Mathematicae
Similarity: