Mutually generic classes and incompatible expansions
Matt Kaufmann (1984)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “The equivalence of definable quantifiers in second order arithmetic”
Mutually generic classes and incompatible expansions
On the number of models of the Kelley-Morse theory of classes
W. Marek, Paweł Zbierski (1980)
Fundamenta Mathematicae
Similarity:
Uncountable β-models with countable height
Wojciech Guzicki (1974)
Fundamenta Mathematicae
Similarity:
Closure properties of countable non-standard integers
J. Paris, G. Mills (1979)
Fundamenta Mathematicae
Similarity:
[unknown]
Roman Kossak (1984)
Fundamenta Mathematicae
Similarity:
Remarks on countable models
Miroslav Benda (1974)
Fundamenta Mathematicae
Similarity:
The structure of -like orderings
Victor Harnik, Mark Nadel, Jonathan Stavi (1986)
Fundamenta Mathematicae
Similarity:
The number of countable generic models for finite forcing
Roger Cusin (1974)
Fundamenta Mathematicae
Similarity:
Results on automorphisms of recursively saturated models of PA
Roman Kossak, Henryk Kotlarski (1988)
Fundamenta Mathematicae
Similarity:
The Axiom of Choice, the Löwenheim-Skolem Theorem and Borel models
Jerome Malitz, Jan Mycielski, William Reinhardt (1991)
Fundamenta Mathematicae
Similarity: