Constructing Kripke models of certain fragments of Heyting's arithmetic.
Wehmeier, Kai F. (1998)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Displaying similar documents to “The creative subject and Heyting's arithmetic”
Constructing Kripke models of certain fragments of Heyting's arithmetic.
A note on the Mac Dowell-Specker theorem
Peter Clote (1987)
Fundamenta Mathematicae
Similarity:
Non-finitizability of a weak second-order theory
Wolfram Schwabhäuser (1979)
Fundamenta Mathematicae
Similarity:
Integrating intuitionistic and classical theories
E. López-Escobar (1981)
Fundamenta Mathematicae
Similarity:
The notion of universal completeness
Ribeiro, Hugo (1956)
Portugaliae mathematica
Similarity:
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
A model for HAS. A topological interpretation of the theory of species of natural numbers
Dirk van Dalen (1974)
Fundamenta Mathematicae
Similarity:
Subalgebras of diagonalizable algebras of theories containing arithmetic
Vladimir Yu. Shavrukov
Similarity:
CONTENTS0. Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .51. Preliminaries. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .62. On conservativity in L. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .133. A family of Kripke models. . . . . . . . . . . . . . . . . . . . . . . . . . . 204. Finite credibility extent. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 245. The strong disjunction property and...
Some applications of formalized consistency proofs
G. Kreisel, Hao Wang (1955)
Fundamenta Mathematicae
Similarity:
A note on a result of Buss concerning bounded theories and the collection scheme.
Ferreira, Fernando (1995)
Portugaliae Mathematica
Similarity:
Applications of formalized consistency proofs II
G. Kreisel, Hao Wang (1958)
Fundamenta Mathematicae
Similarity: