- Failure of Approachability at the Successor of the first Singular for any Cofinality
2025/03/24 by Jakob, Hannes, Levine, Maxwell · 3 citations
#03E04 #03E05 #03E35 #03E55 #FOS: Mathematics #Logic (math.LO)
- Monotonicity of the ultrafilter number function
2025/01/24 by Usuba, Toshimichi · 2 citations
#03E10 #03E35 #03E55 #FOS: Mathematics #Logic (math.LO)
- A model for global compactness
2024/12/18 by Jirattikansakul, Sittinon, Oren, Inbar, Rinot, Assaf · 1 citation
#03E55 #FOS: Mathematics #Logic (math.LO) #Primary 03E35 #Secondary 05C63
- The first measurable can be the first inaccessible cardinal
2024/01/05 by Gitik, Moti, Hayut, Yair, Karagila, Asaf · 1 citation
#03E45 #03E55 #FOS: Mathematics #Logic (math.LO) #Primary 03E25 #Secondary 03E35
- Classical Namba forcing can have the weak countable approximation property
2023/12/21 by Levine, Maxwell · 1 citation
#03E35 #03E55 #FOS: Mathematics #Logic (math.LO)
- Descriptive properties of I2-embeddings
2023/11/01 by Vincenzo Dimonte, Dimonte, Vincenzo, Martina Iannella +3 · 1 citation
Computer Science · Mathematics · #03E35 #03E45 #03E47 #03E55 #Advanced Topology and Set Theory #Benford’s Law and Fraud Detection #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)
- Guessing models, trees, and cardinal arithmetic
2023/03/02 by Chris Lambie‐Hanson, Šárka Stejskalová, Lambie-Hanson, Chris +1 · 1 citation
Computer Science · Mathematics · #03E35 #03E55 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge
- Two-cardinal ideal operators and indescribability
2022/06/13 by Cody, Brent, White, Philip · 1 citation
#03E35 #03E55 #FOS: Mathematics #Logic (math.LO)
- On resolvability of products
2022/05/30 by Juhász, István, Soukup, Lajos, Szentmiklóssy, Zoltán · 1 citation
#03E35 #03E55 #54A25 #54A35 #FOS: Mathematics #General Topology (math.GN)
- Steel's Programme: Evidential Framework, the Core and Ultimate-L
2020/11/30 by Bagaria, Joan, Ternullo, Claudio · 1 citation
#03E30 #03E45 #03E55 #FOS: Mathematics #History and Overview (math.HO) #Logic (math.LO)
- Extenders under ZF and constructibility of rank-to-rank embeddings
2020/06/17 by Farmer Schlutzenberg, Schlutzenberg, Farmer · 1 citation
Mathematics · #03E25 #03E45 #03E55 #Advanced Topology and Set Theory #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Rings, Modules, and Algebras
- Guessing models and the approachability ideal
2018/02/27 by Mohammadpour, Rahman, Velickovic, Boban · 2 citations
#03E05 #03E35 #03E55 #FOS: Mathematics #Logic (math.LO)
- The downward directed grounds hypothesis and very large cardinals
2017/07/17 by Usuba, Toshimichi · 1 citation
#03E40 #03E45 #03E55 #FOS: Mathematics #Logic (math.LO)
- Supercompact Extender Based Magidor-Radin Forcing
2016/08/01 by Merimovich, Carmi · 1 citation
#03E35 #03E55 #FOS: Mathematics #Logic (math.LO)
- Some applications of Supercompact Extender Based Forcings to HOD
2016/08/01 by Gitik, Moti, Merimovich, Carmi · 1 citation
#03E35 #03E55 #FOS: Mathematics #Logic (math.LO)
- PFA(S)[S] and countably compact spaces
2016/07/15 by Dow, Alan, Tall, Franklin D. · 1 citation
#03E55 #03E65 #03E75 #03e35 #54A20 #54A35 #54D15 #54D20 #54D45 #54D55 #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)
- Diagonal supercompact Radin forcing
2016/04/06 by Ben-Neria, Omer, Lambie-Hanson, Chris, Unger, Spencer · 1 citation
#03E04 #03E05 #03E35 #03E55 #FOS: Mathematics #Logic (math.LO)
- Simultaneous stationary reflection and square sequences
2016/03/17 by Hayut, Yair, Lambie-Hanson, Chris · 1 citation
#03E05 #03E35 #03E55 #FOS: Mathematics #Logic (math.LO)
- Cardinal characteristics at κ in a small u(κ) model
2015/11/09 by Brooke-Taylor, A. D., Fischer, V., Friedman, S. D. +1 · 1 citation
#03E17 #03E35 #03E55 #FOS: Mathematics #Logic (math.LO)
- On the Splitting Number at Regular Cardinals
2014/08/12 by Ben-Neria, Omer, Gitik, Moti · 1 citation
#03E10 #03E17 #03E35 #03E55 #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)
- Superstrong and other large cardinals are never Laver indestructible
2013/07/12 by Bagaria, Joan, Hamkins, Joel David, Tsaprounis, Konstantinos +1 · 1 citation
#03E40 #03E55 #FOS: Mathematics #Logic (math.LO)
- Well-founded Boolean ultrapowers as large cardinal embeddings
2012/06/26 by Joel David Hamkins, Daniel Evan Seabold, Hamkins, Joel David +1 · 1 citation
Computer Science · Mathematics · #03E40 #03E55 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras
- Generalizations of the Kunen Inconsistency
2011/06/10 by Hamkins, Joel David, Kirmayer, Greg, Perlmutter, Norman Lewis · 1 citation
#03E55 #FOS: Mathematics #Logic (math.LO)
- Definable orthogonality classes in accessible categories are small
2011/01/14 by Bagaria, Joan, Casacuberta, Carles, Mathias, A. R. D. +1 · 1 citation
#03C55 #03E55 #18A40 #18C35 #55P60 #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)
- Lindelof indestructibility, topological games and selection principles
2009/02/11 by Scheepers, Marion, Tall, Franklin D. · 1 citation
#03E35 #03E55 #54D20 #91A44 #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO)
- Some consequences of reflection on the approachability ideal
2008/04/04 by Sharon, Assaf, Viale, Matteo · 2 citations
#03E04 #03E55 #Commutative Algebra (math.AC) #FOS: Mathematics #Logic (math.LO)
- Consistency Strengths of Modified Maximality Principles
2004/06/03 by George Leibman, Leibman, George · 1 citation
Mathematics · #03E40 #03E45 #03E55 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03E40 #msc:03E45 #msc:03E55
more