- Twist-Valued Models for Three-valued Paraconsistent Set Theory
2019/11/26 by Carnielli, Walter, Coniglio, Marcelo E. · 1 citation
#03E40 #03E70 #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)
- The Approachability Ideal Without a Maximal Set
2016/07/16 by Krueger, John · 1 citation
#03E40 #FOS: Mathematics #Logic (math.LO) #Primary 03E35 #Secondary 03E05
- 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, Hamkins, Joel David, Daniel Evan Seabold +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
- 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)
- The modal logic of forcing
2005/09/27 by Joel David Hamkins, Benedikt Loewe, Hamkins, Joel David +1 · 1 citation
Mathematics · #03B45 #03E40 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03B45 #msc:03E40
- 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
- The Necessary Maximality Principle for c.c.c. forcing is equiconsistent with a weakly compact cardinal
2004/03/09 by Joel David Hamkins, W. Hugh Woodin, Hamkins, Joel David +1 · 1 citation
Mathematics · #03E40 #03E55 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03E40 #msc:03E55
- Gap Forcing
1998/08/04 by Joel David Hamkins, Hamkins, Joel David · 1 citation
Mathematics · #03E40 #03E55 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03E40 #msc:03E55