- Ray and end spaces: characterizations and classification up to homeomorphism
2026/07/13 by Matheus Duzi, Gabriel Fernandes, Paulo Magalhães Júnior · 1 voice
#math.GN #math.CO #math.LO
- Inexpressibility in Exp-Minus-Log
2026/05/02 by Mark Carney · 3 voices
#math.LO #cs.LO
- Determination of the fifth Busy Beaver value
2025/09/15 by The bbchallenge Collaboration, Justin Blanchard, Daniel Briggs +33 · 20 voices · 2 citations
#cs.LO #cs.FL #math.LO
- Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
2025/09/07 by Faruk Alpay, Hamdi Alakkad, Alpay, Faruk +1 · 1 voice · 1 citation
Arts and Humanities · #Epistemology, Ethics, and Metaphysics #cs.GT #math.LO
- A Gentle Introduction to the Axiom of Choice
2025/09/01 by Andreas Blass, Blass, Andreas, Dhruv Kulshreshtha +1 · 1 voice
Mathematics · #03-01 #03E25 #FOS: Mathematics #Logic (math.LO) #math.LO
- Algebraic Type Theory, Part 1: Martin-Löf algebras
2025/05/16 by Steve Awodey, Awodey, Steve · 2 voices · 1 citation
Mathematics · #03B38 #18C40 #18C50 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #math.CT #math.LO
- On cohomology of locally profinite sets
2024/11/08 by Ko Aoki, Aoki, Ko · 1 citation
#math.LO #math.AC #math.AT #math.GN
- The Countable Reals
2024/04/01 by Andrej Bauer, Bauer, Andrej, James E. Hanson +1 · 3 voices
Mathematics · #03B99 #03F55 #FOS: Mathematics #Logic (math.LO) #math.LO
- The Optimal Choice of Hypothesis Is the Weakest, Not the Shortest
2023/01/30 by Michael Timothy Bennett · 1 voice · 1 citation
#cs.AI #cs.LG #math.LO
- Stochastic Mathematical Systems
2022/09/01 by David H. Wolpert, David B. Kinney, Wolpert, David H. +1 · 1 voice
Arts and Humanities · Computer Science · Mathematics · Physics and Astronomy · #Bayesian Modeling and Causal Inference #Epistemology, Ethics, and Metaphysics #FOS: Mathematics #FOS: Physical sciences #History and Philosophy of Physics (physics.hist-ph) #Logic (math.LO) #Philosophy and History of Science #math.LO #physics.hist-ph
- Boolean valued models, presheaves, and étalé spaces
2020/06/26 by Moreno Pierobon, Pierobon, Moreno, Matteo Viale +1 · 1 citation
Computer Science · Mathematics · #Advanced Topology and Set Theory #Homotopy and Cohomology in Algebraic Topology #Topological and Geometric Data Analysis #math.CT #math.LO
- A proof of P!=NP
2020/05/19 by Rupert McCallum, McCallum, Rupert · 1 voice
#math.LO #cs.CC
- The lean mathematical library
2019/10/21 by The mathlib Community · 1 voice · 19 citations
Computer Science · #Advanced Software Engineering Methodologies #Logic, programming, and type systems #Software Engineering Research #cs.LO #math.LO
- Affine logic for constructive mathematics
2018/05/19 by Michael Shulman · 2 voices · 1 citation
Mathematics · #math.LO
- On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures
2018/02/19 by Koen Lefever, Lefever, Koen, Gergely Székely +1 · 3 citations
Computer Science · Mathematics · #math.LO
- A new foundational crisis in mathematics, is it really happening?
2018/02/17 by Mirna Džamonja, Džamonja, Mirna · 2 voices
Mathematics · Psychology · #FOS: Mathematics #History and Theory of Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis #Philosophy and Theoretical Science #math.LO
- Learning Explanatory Rules from Noisy Data
2017/11/13 by Richard Evans, Evans, Richard, Edward Grefenstette +1 · 2 voices · 17 citations
#cs.NE #math.LO
- Temporal Type Theory: A topos-theoretic approach to systems and behavior
2017/10/27 by Patrick Schultz, David I. Spivak, Schultz, Patrick +1 · 3 voices · 1 citation
Computer Science · #math.CT #math.LO
- Basic Category Theory
2016/12/30 by Tom Leinster, Leinster, Tom · 9 voices · 9 citations
#math.CT #math.AT #math.LO
- Borel circle squaring
2016/12/17 by Andrew S. Marks, Spencer T. Unger · 1 voice · 1 citation
Mathematics · #Advanced Topology and Set Theory #Mathematical Dynamics and Fractals #Point processes and geometric inequalities #math.CO #math.DS #math.LO #math.MG
- Algebraic Presentations of Dependent Type Theories
2016/02/26 by Valery Isaev, Isaev, Valery · 1 voice
Computer Science · Mathematics · #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO #math.CT #math.LO
- A Type Theory for Probabilistic and Bayesian Reasoning
2015/11/30 by Robin Adams, Bart Jacobs · 1 voice
Computer Science · Mathematics · #cs.LO #math.LO #math.PR
- Rethinking set theory
2012/12/28 by Tom Leinster · 2 voices
Mathematics · #math.LO #math.CT
- An informal introduction to topos theory
2010/12/27 by Tom Leinster, Leinster, Tom · 1 voice · 1 citation
Computer Science · Mathematics · #Advanced Topology and Set Theory #Algebraic Geometry (math.AG) #Category Theory (math.CT) #Constraint Satisfaction and Optimization #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #math.AG #math.CT #math.LO
- Set theory for category theory
2008/10/07 by Michael A. Shulman, Shulman, Michael A. · 1 voice · 2 citations
Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #math.CT #math.LO
- A beginner's guide to forcing
2007/12/09 by Timothy Y. Chow, Chow, Timothy Y. · 2 voices
#math.LO #math.HO
- Division by three
2006/05/31 by Peter G. Doyle, John Horton Conway, John H. Conway +2 · 4 voices · 1 citation
Mathematics · #Mathematics and Applications #math.CO #math.LO
- Logic for Everyone
2006/01/29 by Robert A. Herrmann, Herrmann, Robert A. · 1 voice
Mathematics · #00-02 #03-02 #FOS: Mathematics #General Mathematics (math.GM) #Logic (math.LO) #math.GM #math.LO
- A topological version of the Bergman property
2005/09/28 by Christian Rosendal, Rosendal, Christian · 2 citations
Mathematics · #Advanced Topics in Algebra #Algebraic and Geometric Analysis #FOS: Mathematics #Group Theory (math.GR) #Holomorphic and Operator Theory #Logic (math.LO) #math.GR #math.LO
- The modal logic of forcing
2005/09/27 by Joel David Hamkins, Hamkins, Joel David, Benedikt Loewe +1 · 1 citation
Mathematics · #03B45 #03E40 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03B45 #msc:03E40
more