Fragments of complete extensions of PA and McDowell-Specker's theorem.
Farah, Ilijas (1992)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Displaying similar documents to “On the number of models of the Kelley-Morse theory of classes”
Fragments of complete extensions of PA and McDowell-Specker's theorem.
The equivalence of definable quantifiers in second order arithmetic
Wojciech Guzicki (1981)
Fundamenta Mathematicae
Similarity:
[unknown]
Roman Kossak (1984)
Fundamenta Mathematicae
Similarity:
Remarks on countable models
Miroslav Benda (1974)
Fundamenta Mathematicae
Similarity:
On Sigma10-extensions of Omega
Žarko Mijajlović (1983)
Publications de l'Institut Mathématique
Similarity:
On the extending of models (I)
J. Łoś (1955)
Fundamenta Mathematicae
Similarity:
Mutually generic classes and incompatible expansions
Matt Kaufmann (1984)
Fundamenta Mathematicae
Similarity:
The number of countable models of a theory of one unary function
Leo Marcus (1980)
Fundamenta Mathematicae
Similarity:
Some problem in elementary arithmetics
D. Jensen, A. Ehrenfeucht (1976)
Fundamenta Mathematicae
Similarity:
Uncountable β-models with countable height
Wojciech Guzicki (1974)
Fundamenta Mathematicae
Similarity: