Logic & foundations
515 studies29 in 7 days207 in 30 days
Filters
Latest
515 studies
- Representing a ring as the endomorphism ring of an abelian group
- Determining the Rearrangement Number
- A Lean 4 Formalization of Scott's Continuous Lattices (1972)
- A new characterization of arithmetical categories and Pixley's theorem
- Shirshov's amalgamated free product and generic nilpotent groups
- Evidential-Based Higher-Order Set Argumentation Framework
- Almost-linear Zarankiewicz bounds in $1$-semi-equational theories
- A counterexample to Petrykowski's conjecture
- The Additive Arithmetic of Linear Orders
- Endogenies and linearization in the non-virtually connected case
- Uncountably many maximally consistent neighborhood complete congruential modal logics
- Medvedev degrees of SFTs on cocompact Fuchsian groups
- Turing universality, computability, and incompleteness in hypergraph Turán theory
- A choice-free proof of the Erdős--Dushnik--Miller theorem
- Failure of Higher-Order Truth within Intuitionistic Propositional Logic
- Univalence without function extensionality
- Nonvanishing derived limits from clubsuit-type principles
- A SAT Attack on Tarski's High School Algebra Problem
- Ampleness in the Farey graph
- The Borovik-Cherlin conjecture holds in ACF
- Baumslag-Solitar Subgroups Obstruct Model Companions for Fields with Group Actions
- Ten unknowns for Hilbert's tenth problem over the integers
- Cardinality Bounds for Hausdorff SDL Spaces
- The δ-calculus: from distinction to arithmetic
- Localic Relations with Open Cones