The following pages link to Structural Consequences of AD (Q3053908):
Displaying 29 items.
- Square principles in \(\mathbb{P}_{\max}\) extensions (Q522300) (← links)
- Initial and final segments in ADL'S (Q1749637) (← links)
- The destruction of the axiom of determinacy by forcings on \(\mathbb{R}\) when \(\Theta\) is regular (Q2022773) (← links)
- Supercompactness can be equiconsistent with measurability (Q2075279) (← links)
- A Lipschitz determinacy principle equivalent to weak König lemma (Q2111115) (← links)
- \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire (Q2219085) (← links)
- An inner model proof of the strong partition property for \(\delta_1^2\) (Q2258544) (← links)
- The envelope of a pointclass under a local determinacy hypothesis (Q2352255) (← links)
- Set theory and the analyst (Q2419681) (← links)
- Determinacy from strong compactness of \(\omega_1\) (Q2662692) (← links)
- On the prewellorderings associated with the directed systems of mice (Q2869899) (← links)
- The Stonity of a pseudo-complemented ADL. (Q2925283) (← links)
- Hod mice and the Mouse Set Conjecture (Q2944997) (← links)
- Representing pointsets as unions of Borel sets (Q3103287) (← links)
- Thin equivalence relations in scaled pointclasses (Q3107345) (← links)
- An introduction to combinatorics of determinacy (Q3299558) (← links)
- (Q3425061) (← links)
- AN ANALYSIS OF THE MODELS (Q4628671) (← links)
- Cofinality and measurability of the first three uncountable cardinals (Q4915327) (← links)
- The size of the class of countable sequences of ordinals (Q5036098) (← links)
- Maximal almost disjoint families, determinacy, and forcing (Q5081947) (← links)
- Souslin quasi-orders and bi-embeddability of uncountable structures (Q5097134) (← links)
- THE MOUSE SET CONJECTURE FOR SETS OF REALS (Q5501776) (← links)
- Controlling the number of normal measures at successor cardinals (Q6094155) (← links)
- Finer topologies on pointsets in Polish spaces (Q6108394) (← links)
- COUNTABLE LENGTH EVERYWHERE CLUB UNIFORMIZATION (Q6140184) (← links)
- Almost Everywhere Behavior of Functions According to Partition Measures (Q6148468) (← links)
- Almost disjoint families under determinacy (Q6184557) (← links)
- The exact consistency strength of the generic absoluteness for the universally Baire sets (Q6188332) (← links)
