Displaying 161 – 180 of 216

Showing per page

Sandwiching the Consistency Strength of Two Global Choiceless Cardinal Patterns

Arthur W. Apter (2009)

Bulletin of the Polish Academy of Sciences. Mathematics

We provide upper and lower bounds in consistency strength for the theories “ZF + ¬ A C ω + All successor cardinals except successors of uncountable limit cardinals are regular + Every uncountable limit cardinal is singular + The successor of every uncountable limit cardinal is singular of cofinality ω” and “ZF + ¬ A C ω + All successor cardinals except successors of uncountable limit cardinals are regular + Every uncountable limit cardinal is singular + The successor of every uncountable limit cardinal is singular...

Semiproper ideals

Hiroshi Sakai (2005)

Fundamenta Mathematicae

We say that an ideal I on κ λ is semiproper if the corresponding poset I is semiproper. In this paper we investigate properties of semiproper ideals on κ λ .

Singular cardinals and strong extenders

Arthur Apter, James Cummings, Joel Hamkins (2013)

Open Mathematics

We investigate the circumstances under which there exist a singular cardinal µ and a short (κ,µ)-extender E witnessing “κ is µ-strong”, such that µ is singular in Ult(V, E).

Singular Failures of GCH and Level by Level Equivalence

Arthur W. Apter (2014)

Bulletin of the Polish Academy of Sciences. Mathematics

We construct a model for the level by level equivalence between strong compactness and supercompactness in which below the least supercompact cardinal κ, there is an unbounded set of singular cardinals which witness the only failures of GCH in the universe. In this model, the structure of the class of supercompact cardinals can be arbitrary.

Some applications of Sargsyan's equiconsistency method

Arthur W. Apter (2012)

Fundamenta Mathematicae

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.

Currently displaying 161 – 180 of 216