Pages that link to "Item:Q3399177"

The following pages link to The self-iterability of <i>L</i>[<i>E</i>] (Q3399177):

Displaying 28 items.

• Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse (Q499078) (← links)
• PFA and guessing models (Q501847) (← links)
• The definable tree property for successors of cardinals (Q506976) (← links)
• The strength of choiceless patterns of singular and weakly compact cardinals (Q1023058) (← links)
• On a class of maximality principles (Q1661688) (← links)
• A Solovay-like model for singular generalized descriptive set theory (Q2105045) (← links)
• The definability of \(\mathbb{E}\) in self-iterable mice (Q2105098) (← links)
• Lebesgue's density theorem and definable selectors for ideals (Q2164429) (← links)
• Inner-model reflection principles (Q2186697) (← links)
• \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire (Q2219085) (← links)
• HOD in natural models of \(\mathsf{AD}^+\) (Q2250450) (← links)
• Thin equivalence relations and inner models (Q2250452) (← links)
• An inner model proof of the strong partition property for \(\delta_1^2\) (Q2258544) (← links)
• Boolean-valued second-order logic (Q2345397) (← links)
• On the Prewellorderings Associated with the Directed Systems of Mice (Q2869899) (← links)
• Nontame mouse from the failure of square at a singular strong limit cardinal (Q2878780) (← links)
• Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on <i>ω</i>₁ (Q2892671) (← links)
• Hod mice and the Mouse Set Conjecture (Q2944997) (← links)
• Determinacy from strong reflection (Q3190425) (← links)
• VARSOVIAN MODELS I (Q4579804) (← links)
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses (Q4988870) (← links)
• IN INNER MODELS WITH WOODIN CARDINALS (Q5015717) (← links)
• THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY (Q5107234) (← links)
• Iterability for (transfinite) stacks (Q5156473) (← links)
• Woodin’s axiom (*), or Martin’s Maximum, or both? (Q5351855) (← links)
• How to win some simple iteration games (Q5961723) (← links)
• NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON (Q6103449) (← links)
• Ideals and strong axioms of determinacy (Q6579953) (← links)