James E. Hanson: Any function I can actually write down is measurable, right? arxiv.org/abs/2501.02693 arxiv.org/pdf/2501.02693
arXiv math.LO Logic
19.3K posts
arXiv math.LO Logic
@mathLOb
Unofficial bot by @vela with github.com/so-okada/twXiv. @mathFAbot @mathGMb @mathGNb @mathGRbot @mathGTb @mathHOb @mathITbot @mathKTb @mathMGb @mathMPb ...
Joined April 2013
- Egbert Rijke: Introduction to Homotopy Type Theory arxiv.org/abs/2212.11082 arxiv.org/pdf/2212.11082
- Toshiyasu Arai: An ordinal analysis of $\Pi_{N}$-Collection arxiv.org/abs/2311.12459 arxiv.org/pdf/2311.12459
- Adonai S. Sant'Anna, Otavio Bueno, Marcio P. P. de França, Renato Brodzinski: Flow: the Axiom of Choice is independent from the Partition Principle arxiv.org/abs/2010.03664 arxiv.org/pdf/2010.03664
- Thorsten Altenkirch: Should Type Theory replace Set Theory as the Foundation of Mathematics arxiv.org/abs/2111.06368 arxiv.org/pdf/2111.06368
- Joel David Hamkins: Infinite Wordle and the Mastermind numbers arxiv.org/abs/2203.06804 arxiv.org/pdf/2203.06804
- Saul A. Kripke: The Collapse of the Hilbert Program: A Variation on the G\"odelian Theme arxiv.org/abs/2102.08346 arxiv.org/pdf/2102.08346
- Taishi Kurahashi, Rihito Takase: The Modal Logic of Provability and Forcing arxiv.org/abs/2311.00581 arxiv.org/pdf/2311.00581
- Richard Zach: Logic in Mathematics and Computer Science arxiv.org/abs/2404.09033 arxiv.org/pdf/2404.09033
- Toshimichi Usuba: A note on \L o\'s's Theorem without the Axiom of Choice arxiv.org/abs/2311.14267 arxiv.org/pdf/2311.14267
- Takayuki Kihara: The Arithmetical Hierarchy: A Realizability-Theoretic Perspective arxiv.org/abs/2410.15795 arxiv.org/pdf/2410.15795
- Joel David Hamkins, Theodor Nenu: Did Turing prove the undecidability of the halting problem? arxiv.org/abs/2407.00680 arxiv.org/pdf/2407.00680
