Logic & foundations
515 studies29 in 7 days207 in 30 days
Filters
Latest
515 studies
- Revisiting the Transfinite Christensen-Pedersen Argument
- n-Scrambled Cantor sets
- Existence of a Model Companion for Groups of Exponent 3
- Two applications of the point-free coderivative
- Compactness beyond choice and HOD
- An exponential Lojasiewicz inequality for semi-Pfaffian sets
- Combinatorics of Schur ultrafilters
- σ-hereditarily closure-preserving ℐ-sn-networks, ℐ-sn-metrizability, and local HCP-finiteness
- Combinatorics of translations of meager and closed measure zero sets
- Vaught's Conjecture for Sums of Products of Rooted Trees
- A Randomness Test Formalism for Neutral Measures and Beyond
- Definability and undecidability via the torsion subgroup of units
- Compactness via Consistency Properties
- A translation of Maehara's "Eine Darstellung der Intuitionistischen Logik in der Klassischen"
- Bisoluble and Binilpotent Skew Braces of Finite Morley Rank
- Asymptotic dimension of commutative monoid actions
- An Infinitary and a Cyclic Sequent Calculus for Non-Monotone Inductive Definitions
- Trace-Tree Magmas: Proof-Producing Infinite Countermodels and 28 New Order-Five Austin Classifications
- A counterexample to Enochs' conjecture under V=L
- On the measure of definable sets in profinite groups
- From foundations to applications: reverse mathematics and philosophy
- Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint)
- Finite Spectra of Syllogistic Logic with Cardinality Comparisons
- Infinitary provability logic
- The theory of nonabelian free groups has no model companion