Forcing with proper classes
Andrzej Zarach (1973)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “On weaker forms of choice in second order arithmetic”
Forcing with proper classes
Axiomatic foundations for Nonstandard Analysis
Karel Hrbacek (1978)
Fundamenta Mathematicae
Similarity:
On a Problem of Silver
Arthur Apter (1983)
Fundamenta Mathematicae
Similarity:
A minimal hyperdegree
R. Gandy, G. Sacks (1967)
Fundamenta Mathematicae
Similarity:
Internally standard set theories
George Wilmers (1971)
Fundamenta Mathematicae
Similarity:
Natural models of set theories
R. Montague, R. Vaught (1959)
Fundamenta Mathematicae
Similarity:
Relatively constructible transitive models
Marian Srebrny (1977)
Fundamenta Mathematicae
Similarity:
ω-models of second order arithmetic and admissible sets
W. Marek (1978)
Fundamenta Mathematicae
Similarity:
Approximating the standard model of analysis
H. Enderton, Harvey Friedman (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: