ω-models of second order arithmetic and admissible sets
W. Marek (1978)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “A note on the Mac Dowell-Specker theorem”
ω-models of second order arithmetic and admissible sets
Constructing Kripke models of certain fragments of Heyting's arithmetic.
Wehmeier, Kai F. (1998)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Mutually generic classes and incompatible expansions
Matt Kaufmann (1984)
Fundamenta Mathematicae
Similarity:
Integrating intuitionistic and classical theories
E. López-Escobar (1981)
Fundamenta Mathematicae
Similarity:
On elementary cuts in models of arithmetic
Henryk Kotlarski (1983)
Fundamenta Mathematicae
Similarity:
The equivalence of definable quantifiers in second order arithmetic
Wojciech Guzicki (1981)
Fundamenta Mathematicae
Similarity:
Some problem in elementary arithmetics
D. Jensen, A. Ehrenfeucht (1976)
Fundamenta Mathematicae
Similarity:
On Sigma10-extensions of Omega
Žarko Mijajlović (1983)
Publications de l'Institut Mathématique
Similarity:
[unknown]
Roman Kossak (1984)
Fundamenta Mathematicae
Similarity:
Number of models of theories with many types
Anand Pillay (1978-1979)
Groupe d'étude de théories stables
Similarity:
On defining well-orderings
E. Lopez-Escobar (1966)
Fundamenta Mathematicae
Similarity: