- Corona Rigidity
2022/01/27 by Ilijas Farah, Saeed Ghasemi, Farah, Ilijas +5 · 1 citation
Computer Science · Mathematics · #03C20 #03C50 #03C66 #03C98 #03E35 #03E50 #03E57 #03E65 #03E75 #06E05 #46L05 #46L40 #54C05 #54D40 #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Operator Algebras (math.OA) #semigroups and automata theory
- Almost Strong Properness
2020/11/02 by Mohammadpour, Rahman · 1 citation
#03E05 #03E35 #03E57 #FOS: Mathematics #Logic (math.LO)
- A forcing axiom for a non-special Aronszajn tree
2018/05/21 by Krueger, John · 4 citations
#03E35 #03E57 #FOS: Mathematics #Logic (math.LO)
- The HOD Dichotomy
2016/05/02 by Woodin, Hugh, Davis, Jacob, Rodriguez, Daniel · 1 citation
#03E45 #03E55 #03E57 #FOS: Mathematics #Logic (math.LO)
- Strongly uplifting cardinals and the boldface resurrection axioms
2014/03/12 by Hamkins, Joel David, Johnstone, Thomas A. · 1 citation
#03E55 #03E57 #FOS: Mathematics #Logic (math.LO)
- Resurrection axioms and uplifting cardinals
2013/07/13 by Joel David Hamkins, Hamkins, Joel David, Thomas A. Johnstone +1 · 1 citation
Computer Science · Mathematics · #03E35 #03E55 #03E57 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)
- Structural connections between a forcing class and its modal logic
2012/07/24 by Hamkins, Joel David, Leibman, George, Löwe, Benedikt · 1 citation
#03B45 #03E57 #FOS: Mathematics #Logic (math.LO)
- Bounded forcing axioms and Baumgartner's conjecture
2011/02/11 by David Asperó, Sy‐David Friedman, Aspero, David +5 · 1 citation
Computer Science · Mathematics · #03E40 #03E57 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Limits and Structures in Graph Theory #Logic (math.LO)