Pages that link to "Item:Q5486251"
From MaRDI portal
The following pages link to PFA implies AD<sup><i>L</i>(ℝ)</sup> (Q5486251):
Displaying 30 items.
- Covering with universally Baire operators (Q471699) (← links)
- PFA and guessing models (Q501847) (← links)
- The strength of choiceless patterns of singular and weakly compact cardinals (Q1023058) (← links)
- \(L(\mathbb{R}, \mu)\) is unique (Q1684666) (← links)
- Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) (Q2028503) (← links)
- Structural relativity and informal rigour (Q2080583) (← links)
- The envelope of a pointclass under a local determinacy hypothesis (Q2352255) (← links)
- Higher Souslin trees and the GCH, revisited (Q2400519) (← links)
- Coherent sequences and threads (Q2456216) (← links)
- Definable MAD families and forcing axioms (Q2660156) (← links)
- Determinacy from strong compactness of \(\omega_1\) (Q2662692) (← links)
- Descriptive inner model theory (Q2837761) (← links)
- RADO'S CONJECTURE IMPLIES THAT ALL STATIONARY SET PRESERVING FORCINGS ARE SEMIPROPER (Q2853979) (← links)
- <i>K</i>Without the Measurable (Q2869898) (← 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)
- Determinacy in L(ℝ, μ) (Q2878783) (← links)
- Hod mice and the Mouse Set Conjecture (Q2944997) (← links)
- Combinatorial Dichotomies in Set Theory (Q3083465) (← links)
- Determinacy from strong reflection (Q3190425) (← links)
- A brief account of recent developments in inner model theory (Q3299566) (← links)
- Baire reflection (Q3541999) (← links)
- DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS (Q4977212) (← links)
- Souslin quasi-orders and bi-embeddability of uncountable structures (Q5097134) (← links)
- CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS (Q5159498) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
- The AD+ conjecture and the continuum hypothesis (Q5878589) (← links)
- The exact consistency strength of the generic absoluteness for the universally Baire sets (Q6188332) (← links)
- Ideals and strong axioms of determinacy (Q6579953) (← links)
- Forcing axioms and the uniformization-property (Q6584955) (← links)
