The following pages link to Joel David Hamkins (Q167886):
Displaying 50 items.
- Algebraicity and implicit definability in set theory (Q306841) (← links)
- Singular cardinals and strong extenders (Q386403) (← links)
- Inner models with large cardinal features usually obtained by forcing (Q412053) (← links)
- Large cardinals need not be large in HOD (Q490870) (← links)
- The least weakly compact cardinal can be unfoldable, weakly measurable and nearly \(\theta\)-supercompact (Q494636) (← links)
- Structural connections between a forcing class and its modal logic (Q498994) (← links)
- Infinite time decidable equivalence relation theory (Q540407) (← links)
- A natural model of the multiverse axioms (Q609764) (← links)
- Generalizations of the Kunen inconsistency (Q714722) (← links)
- Diamond (on the regulars) can fail at any strongly unfoldable cardinal (Q861819) (← links)
- Indestructible strong unfoldability (Q989412) (← links)
- Post's problem for ordinal register machines: an explicit approach (Q1032632) (← links)
- Destruction or preservation as you like it (Q1295367) (← links)
- Computable quotient presentations of models of arithmetic and set theory (Q1685921) (← links)
- A model of the generic Vopěnka principle in which the ordinals are not Mahlo (Q1712940) (← links)
- Ehrenfeucht's lemma in set theory (Q1782238) (← links)
- The lottery preparation (Q1964017) (← links)
- Changing the heights of automorphism towers (Q1964147) (← links)
- Inner-model reflection principles (Q2186697) (← links)
- Set-theoretic blockchains (Q2274142) (← links)
- Is the dream solution of the continuum hypothesis attainable? (Q2345395) (← links)
- The halting problem is decidable on a set of asymptotic probability one (Q2372684) (← links)
- Strongly uplifting cardinals and the boldface resurrection axioms (Q2408086) (← links)
- Resurrection axioms and uplifting cardinals (Q2449860) (← links)
- Set-theoretic geology (Q2514847) (← links)
- Infinite time Turing machines with only one tape (Q2720332) (← links)
- Unfoldable cardinals and the GCH (Q2758052) (← links)
- Indestructible weakly compact cardinals and the necessity of supercompactness for certain proof schemata (Q2765579) (← links)
- What is the theory ZFC without power set? (Q2827952) (← links)
- The set-theoretic multiverse: a natural context for set theory (Q2837231) (← links)
- The Mate-in-n Problem of Infinite Chess Is Decidable (Q2904396) (← links)
- The set-theoretic multiverse (Q2919945) (← links)
- Moving Up and Down in the Generic Multiverse (Q2936237) (← links)
- The rigid relation principle, a new weak choice principle (Q3144867) (← links)
- Indestructibility and the level-by-level agreement between strong compactness and supercompactness (Q3149996) (← links)
- A simple maximality principle (Q3160552) (← links)
- Exactly controlling the non-supercompact strongly compact cardinals (Q3160561) (← links)
- P ≠ NP ∩ co-NP for Infinite Time Turing Machines (Q3374094) (← links)
- Large cardinals with few measures (Q3432792) (← links)
- Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals (Q3464656) (← links)
- Changing the heights of automorphism towers by forcing with Souslin trees over L (Q3503758) (← links)
- The ground axiom is consistent with V $\neq $ HOD (Q3518255) (← links)
- Some Second Order Set Theory (Q3601799) (← links)
- A Survey of Infinite Time Turing Machines (Q3608469) (← links)
- The proper and semi-proper forcing axioms for forcing notions that preserve ℵ₂ or ℵ₃ (Q3625559) (← links)
- Degrees of rigidity for Souslin trees (Q3630573) (← links)
- Every group has a terminating transfinite automorphism tower (Q4210574) (← links)
- Superdestructibility: A dual to Laver's indestructibility (Q4212932) (← links)
- Gap Forcing: Generalizing the Lévy-Solovay Theorem (Q4262606) (← links)
- Fragile measurability (Q4292607) (← links)
