A note on the Mac Dowell-Specker theorem
Peter Clote (1987)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “ω-models of second order arithmetic and admissible sets”
A note on the Mac Dowell-Specker theorem
Uncountable β-models with countable height
Wojciech Guzicki (1974)
Fundamenta Mathematicae
Similarity:
On defining well-orderings
E. Lopez-Escobar (1966)
Fundamenta Mathematicae
Similarity:
Approximating the standard model of analysis
H. Enderton, Harvey Friedman (1971)
Fundamenta Mathematicae
Similarity:
Internally standard set theories
George Wilmers (1971)
Fundamenta Mathematicae
Similarity:
Remarks on generic models
Vincent Lee, Mark Nadel (1977)
Fundamenta Mathematicae
Similarity:
Mutually generic classes and incompatible expansions
Matt Kaufmann (1984)
Fundamenta Mathematicae
Similarity:
On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
On expansions of β-models
J. Bilý, L. Bukovský (1974)
Fundamenta Mathematicae
Similarity:
Skolem-type normal forms for first-order languages with a generalized quantifier
G. Fuhrken (1964)
Fundamenta Mathematicae
Similarity: