Bagaria, Joan
- 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)
- 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)
- 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)
- Intrinsic Justification for Large Cardinals and Structural Reflection
2023/10/09 by Bagaria, Joan, Ternullo, Claudio · 1 citation
#FOS: Mathematics #Logic (math.LO)