AbstractIt is shown, starting from a model in which κ < λ, κ is 2λ supercompact, and λ is a measurable cardinal, how to force and obtain a model in which the Axiom of Choice is false and in which the successor of a singular cardinal is measurable
Abstract. An inaccessible cardinal κ is supercompact when (κ, λ)-ITP holds for all λ ≥ κ. We prove t...
AbstractWe say that κ is μ-hypermeasurable (or μ-strong) for a cardinal μ≥κ+ if there is an embeddin...
AbstractThe equiconsistency of a measurable cardinal with Mitchell order o(κ)=κ++ with a measurable ...
Abstract. We describe a framework for proving consistency results about singular cardinals of arbitr...
We use core model theory to obtain the following lower bounds to the consistency strength for the fa...
Abstract. We describe a framework for proving consistency re-sults about singular cardinals of arbit...
We introduce the notion of a critical cardinal as the critical point of sufficiently strong elementa...
Abstract. Starting from a supercompact cardinal κ, we build a model, in which κ is singular string l...
Suppose λ> κ is measurable. We show that if κ is either indestructibly supercompact or indestruct...
AbstractWe prove several results giving lower bounds for the large cardinal strength of a failure of...
Abstract. The Main Theorem is the equiconsistency of the following two statements: (1) κ is a measur...
AbstractStarting from a supercompact cardinal κ, we force and construct a model in which κ is both t...
We construct two models containing exactly one supercompact cardinal in which all non-supercompact m...
Abstract. We show that from a supercompact cardinal κ, there is a forcing extension V [G] that has a...
The presented work contains the history of origin of measure, its connection with measurable cardina...
Abstract. An inaccessible cardinal κ is supercompact when (κ, λ)-ITP holds for all λ ≥ κ. We prove t...
AbstractWe say that κ is μ-hypermeasurable (or μ-strong) for a cardinal μ≥κ+ if there is an embeddin...
AbstractThe equiconsistency of a measurable cardinal with Mitchell order o(κ)=κ++ with a measurable ...
Abstract. We describe a framework for proving consistency results about singular cardinals of arbitr...
We use core model theory to obtain the following lower bounds to the consistency strength for the fa...
Abstract. We describe a framework for proving consistency re-sults about singular cardinals of arbit...
We introduce the notion of a critical cardinal as the critical point of sufficiently strong elementa...
Abstract. Starting from a supercompact cardinal κ, we build a model, in which κ is singular string l...
Suppose λ> κ is measurable. We show that if κ is either indestructibly supercompact or indestruct...
AbstractWe prove several results giving lower bounds for the large cardinal strength of a failure of...
Abstract. The Main Theorem is the equiconsistency of the following two statements: (1) κ is a measur...
AbstractStarting from a supercompact cardinal κ, we force and construct a model in which κ is both t...
We construct two models containing exactly one supercompact cardinal in which all non-supercompact m...
Abstract. We show that from a supercompact cardinal κ, there is a forcing extension V [G] that has a...
The presented work contains the history of origin of measure, its connection with measurable cardina...
Abstract. An inaccessible cardinal κ is supercompact when (κ, λ)-ITP holds for all λ ≥ κ. We prove t...
AbstractWe say that κ is μ-hypermeasurable (or μ-strong) for a cardinal μ≥κ+ if there is an embeddin...
AbstractThe equiconsistency of a measurable cardinal with Mitchell order o(κ)=κ++ with a measurable ...
DOI
Add to ORKG