Martin's maximum and the non-stationary ideal

We analyze the non-stationary ideal and the club filter at aleph_1 under MM

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

μ\mu-Clubs of Pκ(λ)P_\kappa (\lambda) : Paradise in heaven

Let $\mu < \kappa < \lambda$ be three infinite cardinals, the first two being regular. We show that if there is no inner model with large cardinals, $u (\kappa, \lambda)$ is regular, where $u (\kappa, \lambda)$ denotes the least size of a cofinal subset in $(P_\kappa (\lambda), \subseteq)$, and cf$(\lambda) \not= \mu$, then (a) the $\mu$-club filters on $P_\kappa (\lambda)$ and $P_\kappa (u (\kappa, \lambda))$ are isomorphic, and (b) the ideal dual to the $\mu$-club filter on $P_\kappa (\lambda)$ (and hence the restriction of the nonstationary ideal on $P_\kappa (\lambda)$ to sets of uniform cofinality $\mu$) is not $I_{\kappa, \lambda}$-$\frak{b}_{u (\kappa, \lambda)}$-saturated