A hierarchy of Ramsey-like cardinals

We introduce a hierarchy of large cardinals between weakly compact and measurable cardinals, that is closely related to the Ramsey-like cardinals introduced by Victoria Gitman, and is based on certain infinite filter games, however also has a range of equivalent characterizations in terms of elementary embeddings. The aim of this paper is to locate the Ramsey-like cardinals studied by Gitman, and other well-known large cardinal notions, in this hierarchy

Combinatorial Properties and Dependent choice in symmetric extensions based on L\'{e}vy Collapse

We work with symmetric extensions based on L\'{e}vy Collapse and extend a few results of Arthur Apter. We prove a conjecture of Ioanna Dimitriou from her P.h.d. thesis. We also observe that if $V$ is a model of ZFC, then $DC_{<\kappa}$ can be preserved in the symmetric extension of $V$ in terms of symmetric system $\langle \mathbb{P},\mathcal{G},\mathcal{F}\rangle$, if $\mathbb{P}$ is $\kappa$-distributive and $\mathcal{F}$ is $\kappa$-complete. Further we observe that if $V$ is a model of ZF + $DC_{\kappa}$, then $DC_{<\kappa}$ can be preserved in the symmetric extension of $V$ in terms of symmetric system $\langle \mathbb{P},\mathcal{G},\mathcal{F}\rangle$, if $\mathbb{P}$ is $\kappa$-strategically closed and $\mathcal{F}$ is $\kappa$-complete.Comment: Revised versio

Measurable cardinals and good Σ1(κ)\Sigma_1(\kappa)-wellorderings

We study the influence of the existence of large cardinals on the existence of wellorderings of power sets of infinite cardinals $\kappa$ with the property that the collection of all initial segments of the wellordering is definable by a $\Sigma_1$-formula with parameter $\kappa$. A short argument shows that the existence of a measurable cardinal $\delta$ implies that such wellorderings do not exist at $\delta$-inaccessible cardinals of cofinality not equal to $\delta$ and their successors. In contrast, our main result shows that these wellorderings exist at all other uncountable cardinals in the minimal model containing a measurable cardinal. In addition, we show that measurability is the smallest large cardinal property that interferes with the existence of such wellorderings at uncountable cardinals and we generalize the above result to the minimal model containing two measurable cardinals.Comment: 14 page