Logic & foundations
515 studies34 in 7 days214 in 30 days
Filters
Latest
515 studies
- On the foundations of logic and probability, II. Modal probability spaces
- Classification of bipartite observables I: stable and uniformly stable observables
- Computable Quantification in Reflective Grounded Arithmetic
- Counterexamples to the Monotone Completeness Conjecture
- A counterexample to the stable forking conjecture
- Dilator-based analysis of KP
- 86 unknowns for Hilbert's tenth problem over the rationals
- Sublinear Michaux-Villemaire over (ℕ, +, kN)
- Well-ordering principles over recursive comprehension
- Ramsey expansions of S-metric spaces
- Jumps and Iterated Jumps of Perfect Subtrees of Positive Trees
- Elementary modal logics and circuit complexity
- The first-order part of the Ordered Variable Word theorem
- Two Generalizations of the G_0 Dichotomy
- Studying proof data with proof theory: the case of AI-generated mathematics
- Identity crisis on tightly C(2)-compact cardinals
- A sound pure type system with ranks as sorts and Type-in-Type
- Equivalence of Restricted and Full Division
- Forcing in bounded arithmetic and set theory: analogies and differences
- Well-Defined but Not Predetermined Persistent Mathematical Objects, Embedded Observers, and the Provability of P = N P
- The failure of stable composition for equivalence relations in simple theories
- A direct proof of Infinity in NF-0
- The pattern of consistency strength for membership in a computably enumerable set
- Model Theory of Products of Chains
- Short proof that Vopěnka's Principle is symmetrically stable