A topological interpretation of second-order intuitionistic arithmetic
Joan Rand Moschovakis (1973)
Compositio Mathematica
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 model for HAS. A topological interpretation of the theory of species of natural numbers”
A topological interpretation of second-order intuitionistic arithmetic
Applications of formalized consistency proofs II
G. Kreisel, Hao Wang (1958)
Fundamenta Mathematicae
Similarity:
Extending the topological interpretation to intuitionistic analysis
Dana Scott (1968)
Compositio Mathematica
Similarity:
Constructing Kripke models of certain fragments of Heyting's arithmetic.
Wehmeier, Kai F. (1998)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Integrating intuitionistic and classical theories
E. López-Escobar (1981)
Fundamenta Mathematicae
Similarity:
Algebraic models of axiomatic theories
H. Rasiowa (1955)
Fundamenta Mathematicae
Similarity:
Models of axiomatic systems
Andrzej Mostowski (1952)
Fundamenta Mathematicae
Similarity:
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
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 Sigma10-extensions of Omega
Žarko Mijajlović (1983)
Publications de l'Institut Mathématique
Similarity: