The following pages link to (Q3001425):
Displaying 19 items.
- Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse (Q499078) (← links)
- Square principles in \(\mathbb{P}_{\max}\) extensions (Q522300) (← links)
- Choiceless Ramsey theory of linear orders (Q1686191) (← links)
- \(\mathbf{L}(\mathbb{R})\) with determinacy satisfies the Suslin hypothesis (Q1731564) (← links)
- Countable OD sets of reals belong to the ground model (Q1745352) (← links)
- Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations (Q2033007) (← links)
- On supercompactness of \(\omega_1\) (Q2097056) (← links)
- \(\omega_1\) and \(-\omega_1\) may be the only minimal uncountable linear orders (Q2469315) (← links)
- An introduction to combinatorics of determinacy (Q3299558) (← links)
- (Q4344967) (← links)
- HAPPY AND MAD FAMILIES IN<i>L</i>(ℝ) (Q4579808) (← links)
- Definable combinatorics at the first uncountable cardinal (Q4963636) (← links)
- Ordinal definability and combinatorics of equivalence relations (Q4973029) (← links)
- An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited (Q5163164) (← links)
- A choice function on countable sets, from determinacy (Q5179344) (← links)
- -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders (Q6064822) (← links)
- The relative strengths of fragments of Martin's axiom (Q6073908) (← links)
- More definable combinatorics around the first and second uncountable cardinals (Q6132764) (← links)
- Applications of infinity-Borel codes to definability and definable cardinals (Q6614526) (← links)
