Logic & foundations
515 studies34 in 7 days214 in 30 days
Filters
Latest
515 studies
- Baire measurable functions and automorphisms of the truth-table degrees
- The Higher Closed Null Ideal(s)
- Uniform generalization of Goodstein's theorem and Cichon's independence proof
- Asymptotic classes via definable quotients
- Translational tilings by axis-parallel polygonal sets
- Teams, Truthmakers, Translations
- Optimizing Proof-Search via Linearization for Gödel-Löb Logic with Tree-Hypersequents
- A counterexample to Vaught's Conjecture for Lω1,ω
- Internal Languages for Thin Epsilon-Hyperdoctrines: Soundness, Completeness, and Rocq Formalization
- Nonstandard combinatorial ultrafilters and a new local witness model
- A Countable Three-Generated Orthomodular Lattice with No σ-Complete Embedding
- Order-preserving maps of the Turing degrees: regularity and consistency strength
- A Nullstellensatz for the field of complex Laurent series
- Robust order properties in the HLM construction
- Controlling The Skips of Arithmetic Sets
- Pseudofinite abelian groups and asymptotic classes of finite abelian groups
- Spectral Theory and Descriptive Combinatorics for Non-Regular Borel pmp Graphs
- The strength of the minimum principle in constructive reverse mathematics
- Intuitionistic and Constructive Modal Logics for Classical Modal Logicians
- Forcing and cardinal invariants of universally null sets
- Some complete ω-powers of a one-counter language in the difference hierarchy
- Ultrafilter characters and local π-bases
- Vopěnka's Principle without Choice: Preservation under Symmetric Extensions
- Global asymptotic stability of homogeneous polynomial vector fields is undecidable
- A Computationally-Efficient Closed-Form Cs,1-Extension Formula