Constructing Kripke models of certain fragments of Heyting's arithmetic.
Wehmeier, Kai F. (1998)
Publications de l'Institut Mathématique. Nouvelle Série
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.
Displaying similar documents to “A note on a result of Buss concerning bounded theories and the collection scheme.”
Constructing Kripke models of certain fragments of Heyting's arithmetic.
Applications of formalized consistency proofs II
G. Kreisel, Hao Wang (1958)
Fundamenta Mathematicae
Similarity:
Some applications of formalized consistency proofs
G. Kreisel, Hao Wang (1955)
Fundamenta Mathematicae
Similarity:
Kripke models for intuitionistic theories with decidable atomic formulas.
Marković, Zoran (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
On Sigma10-extensions of Omega
Žarko Mijajlović (1983)
Publications de l'Institut Mathématique
Similarity:
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
A note on the Mac Dowell-Specker theorem
Peter Clote (1987)
Fundamenta Mathematicae
Similarity:
Integrating intuitionistic and classical theories
E. López-Escobar (1981)
Fundamenta Mathematicae
Similarity:
Note on arithmetic models for consistent formulae of the predicate calculus
G. Kreisel (1950)
Fundamenta Mathematicae
Similarity:
The quantifier complexity of NF.
Kaye, Richard (1996)
Bulletin of the Belgian Mathematical Society - Simon Stevin
Similarity:
On expansions of β-models
J. Bilý, L. Bukovský (1974)
Fundamenta Mathematicae
Similarity: