Grothendieck universes and the super-complete models of Shepherdson
A. H. Kruse (1965-1966)
Compositio Mathematica
Similarity:
Displaying similar documents to “On Grothendieck universes”
Grothendieck universes and the super-complete models of Shepherdson
On the selector of twin functions
Marian Turzański (1998)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
A theorem is proved which could be considered as a bridge between the combinatorics which have a beginning in the dyadic spaces theory and the partition calculus.
Steinitz' exchange theorem for infinite bases. II
N. J. S. Hughes (1965-1966)
Compositio Mathematica
Similarity:
The cardinal equation 2m=m
G. P. Monro (1974)
Colloquium Mathematicae
Similarity:
Embedding in Dugundji spaces, with an application to linear topological classification of spaces of continuous functions
Richard Haydon (1976)
Studia Mathematica
Similarity:
A Reduction in Consistency Strength for Universal Indestructibility
Arthur W. Apter, Grigor Sargsyan (2007)
Bulletin of the Polish Academy of Sciences. Mathematics
Similarity:
We show how to reduce the assumptions in consistency strength used to prove several theorems on universal indestructibility.
An ordering of normal ultrafiltres
Julius Barbanel (1985)
Fundamenta Mathematicae
Similarity:
Some applications of Sargsyan's equiconsistency method
Arthur W. Apter (2012)
Fundamenta Mathematicae
Similarity:
We apply techniques due to Sargsyan to reduce the consistency strength of the assumptions used to establish an indestructibility theorem for supercompactness. We then show how these and additional techniques due to Sargsyan may be employed to establish an equiconsistency for a related indestructibility theorem for strongness.