2609.19612R·math.LO18 de set. de 2026Every countable meet-continuous lattice is Scott sober Xiaoquan Xu , Wei Ji
2609.20140R·math.LO18 de set. de 2026Existence of bases implies the axiom of choice, a foundation-free proof Gabriel Fernandes , Renan Maneli Mezabarba , Vinicius de Oliveira Rodrigues
2609.20311R·math.LO18 de set. de 2026Human and AI-generated texts between modal logic and statistics Simone Cuconato , Donato Ferrari
2609.20378R·math.LO18 de set. de 2026From raw Solvability Complexity Index proofs to Weihrauch degrees Christopher Sorg
2609.19651R·math.RA18 de set. de 2026Locally finite Schreier Varieties Keith A. Kearnes , Andrew Moorhead , Agnes Szendrei
2609.20184R·math.LO18 de set. de 2026Model Theory of Generic Vector Space Endomorphisms V: The o-Minimal Case Leon Chini