The following pages link to Set-theoretic geology (Q2514847):
Displaying 34 items.
- Algebraicity and implicit definability in set theory (Q306841) (← links)
- The long extender algebra (Q684225) (← links)
- Generalizations of the Kunen inconsistency (Q714722) (← links)
- On a class of maximality principles (Q1661688) (← links)
- Extendible cardinals and the mantle (Q1712929) (← links)
- A generic property of the Solovay set \(\Sigma\) (Q1745083) (← links)
- Choiceless Löwenheim-Skolem property and uniform definability of grounds (Q2097062) (← links)
- Absoluteness of the Solovay set \(\Sigma \) (Q2186305) (← links)
- Inner-model reflection principles (Q2186697) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
- Set-theoretic blockchains (Q2274142) (← links)
- Infinite forcing and the generic multiverse (Q2307303) (← links)
- Is the dream solution of the continuum hypothesis attainable? (Q2345395) (← links)
- INNER MODEL THEORETIC GEOLOGY (Q2976375) (← links)
- Forcing, Multiverse and Realism (Q3295824) (← links)
- On the Set-Generic Multiverse (Q3305408) (← links)
- Some Second Order Set Theory (Q3601799) (← links)
- VARSOVIAN MODELS I (Q4579804) (← links)
- The downward directed grounds hypothesis and very large cardinals (Q4596665) (← links)
- UNIVERSISM AND EXTENSIONS OF <i>V</i> (Q5001554) (← links)
- IN INNER MODELS WITH WOODIN CARDINALS (Q5015717) (← links)
- THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES (Q5065132) (← links)
- The grounded Martin's axiom (Q5108122) (← links)
- Inner mantles and iterated HOD (Q5108877) (← links)
- Subcomplete forcing principles and definable well‐orders (Q5109241) (← links)
- The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond (Q5147000) (← links)
- BI-INTERPRETATION IN WEAK SET THEORIES (Q5159491) (← links)
- HOD, V AND THE GCH (Q5738199) (← links)
- A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT (Q5857719) (← links)
- Superstrong and other large cardinals are never Laver indestructible (Q5964928) (← links)
- Laver and set theory (Q5964933) (← links)
- STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-<i>L</i> (Q6051424) (← links)
- Choice principles in local mantles (Q6094151) (← links)
- Two results on extendible cardinals (Q6498401) (← links)
