vix.ing · top · new · best · stats · spec

1. 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
2. Descriptive properties of I2-embeddings
   2023/11/01 by Vincenzo Dimonte, Martina Iannella, Dimonte, Vincenzo +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)
3. On minimal non-σ-scattered linear orders
   2023/04/06 by Eisworth, Todd, Cummings, James, Moore, Justin Tatch · 2 citations
   #03E04 #03E35 #03E45 #06A05 #FOS: Mathematics #Logic (math.LO)
4. Condensation for Mouse Pairs
   2022/07/07 by Steel, John, Trang, Nam · 1 citation
   #03E15 #03E45 #03E60 #FOS: Mathematics #Logic (math.LO)
5. 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)
6. Inner Models from Extended Logics: Part 2
   2020/07/21 by Kennedy, Juliette, Magidor, Menachem, Väänänen, Jouko · 2 citations
   #03E45 #FOS: Mathematics #Logic (math.LO)
7. Inner Models from Extended Logics: Part 1
   2020/07/21 by Juliette Kennedy, Kennedy, Juliette, Menachem Magidor +3 · 3 citations
   Computer Science · Mathematics · #03E45 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis
8. 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
9. 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)
10. Souslin quasi-orders and bi-embeddability of uncountable structures
    2016/09/29 by Alessandro Andretta, Andretta, Alessandro, Luca Motto Ros +1 · 1 citation
    Computer Science · Mathematics · #03E10 #03E15 #03E45 #03E47 #03E60 #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras
11. The HOD Dichotomy
    2016/05/02 by Woodin, Hugh, Davis, Jacob, Rodriguez, Daniel · 1 citation
    #03E45 #03E55 #03E57 #FOS: Mathematics #Logic (math.LO)
12. Definability and almost disjoint families
    2015/03/25 by Tornquist, Asger · 4 citations
    #03E05 #03E15 #03E35 #03E45 #03E50 #FOS: Mathematics #Logic (math.LO)
13. 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