Millhouse, Schembecker: Coanalytic families of functions arxiv.org/abs/2510.07222 arxiv.org/pdf/2510.07222 arxiv.org/html/2510.07222

[2025-10-10 Fri (UTC), 6 new articles found for mathLO Logic]

Nik Weaver: A formal system for reasoning about assertibility, truth, and meaningfulness arxiv.org/abs/2510.07641 arxiv.org/pdf/2510.07641 arxiv.org/html/2510.07641

Tom Benhamou, Ben-Zion Weltsch: Supercompact Measures and the Galvin Property arxiv.org/abs/2510.07669 arxiv.org/pdf/2510.07669 arxiv.org/html/2510.07669

Corey Bacal Switzer: Variants of Baumgartner's Axiom for Lipschitz Functions on Baire and Cantor Space arxiv.org/abs/2510.07917 arxiv.org/pdf/2510.07917 arxiv.org/html/2510.07917

Elchanan Mossel, Amnon Schrieber: Two Agents, One Prompt, and Your Weight arxiv.org/abs/2510.08232 arxiv.org/pdf/2510.08232 arxiv.org/html/2510.08232

James Freitag: When any four solutions are independent arxiv.org/abs/2510.08387 arxiv.org/pdf/2510.08387 arxiv.org/html/2510.08387

Vojt\v{e}ch \v{S}t\v{e}pan\v{c}\'ik: Formalizing the zigzag construction of path spaces of pushouts arxiv.org/abs/2510.08452 arxiv.org/pdf/2510.08452 arxiv.org/html/2510.08452

[2025-10-13 Mon (UTC), 3 new articles found for mathLO Logic]

Fanxin Wu: Two-cardinal Kurepa Hypotheses arxiv.org/abs/2510.08860 arxiv.org/pdf/2510.08860 arxiv.org/html/2510.08860

Milan Rosko: The Fractal Logic of $\Phi$-adic Recursion arxiv.org/abs/2510.08934 arxiv.org/pdf/2510.08934 arxiv.org/html/2510.08934

Ivo D\"untsch, Wojciech Dzik: On the preservation of unification type of Heyting algebras and interior algebras arxiv.org/abs/2510.09455 arxiv.org/pdf/2510.09455 arxiv.org/html/2510.09455

[2025-10-14 Tue (UTC), 3 new articles found for mathLO Logic]

Brattka, Rauzy: Computable Bases arxiv.org/abs/2510.09850 arxiv.org/pdf/2510.09850 arxiv.org/html/2510.09850

Ikegami, Woodin: The Axiom of Real Determinacy and the Axiom of Real Blackwell ... arxiv.org/abs/2510.11034 arxiv.org/pdf/2510.11034 arxiv.org/html/2510.11034

Corey Bacal Switzer: A note on adding isomorphisms and the pseudointersection number arxiv.org/abs/2510.11155 arxiv.org/pdf/2510.11155 arxiv.org/html/2510.11155

[2025-10-15 Wed (UTC), 3 new articles found for mathLO Logic]

Anderson, Bejarano: Metric Linear Orders and O-Minimality arxiv.org/abs/2510.11857 arxiv.org/pdf/2510.11857 arxiv.org/html/2510.11857

: General real-valued theories with the Schr\"oder-Bernstein pro... arxiv.org/abs/2510.11858 arxiv.org/pdf/2510.11858 arxiv.org/html/2510.11858

Aguilera, Kouptchinsky: Binary Choice Games and Arithmetical Comprehension arxiv.org/abs/2510.12612 arxiv.org/pdf/2510.12612 arxiv.org/html/2510.12612