Displaying similar documents to “Grothendieck universes and the super-complete models of Shepherdson”

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.

Some Remarks on Tall Cardinals and Failures of GCH

Arthur W. Apter (2013)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We investigate two global GCH patterns which are consistent with the existence of a tall cardinal, and also present some related open questions.

More Easton theorems for level by level equivalence

Arthur W. Apter (2012)

Colloquium Mathematicae

Similarity:

We establish two new Easton theorems for the least supercompact cardinal that are consistent with the level by level equivalence between strong compactness and supercompactness. These theorems generalize Theorem 1 in our earlier paper [Math. Logic Quart. 51 (2005)]. In both our ground model and the model witnessing the conclusions of our present theorems, there are no restrictions on the structure of the class of supercompact cardinals.