Logic & foundations
515 studies34 in 7 days214 in 30 days
Filters
Latest
515 studies
- Properties of theories whose algebras are free
- Searching for the power rangers
- There is no universal Fσ equivalence relation
- Set-theoretic inevitability
- Analytification and tropicalization via hyperfields and definable types
- Non-aware computable presentations of randomizations
- Computable presentations of separable Lebesgue spaces
- Logics vs doctrines, a mirror symmetry
- The Limits of Arithmetical Pluralism: Incompleteness, Large Cardinals, and Graded Non-Pluralism
- Losing Anchor: al-Samarqandī on Misconsidering Predication and Mistaking the Essential for the Accidental
- A Study in Solution Models for SAT using the PBNF-transform
- Reflections on Trusting Lean
- Choice principles in countable partition models
- On the gradient conjecture at infinity: Finite spherical length for gradient trajectories of definable potentials
- General Criterion for a Poset to Admit a Partition Into ω-Chains
- On stable semilinear sets in ordered vector spaces
- Classification of bipartite observables III: simplicity, mixtures and quantum error correction
- Counting Bessel zeros and applications
- Linear Axiomatization of Linear Differential Equations
- Closed maximal eventually different families for Σ03 and weakly Farah ideals
- There can be equitable social welfare orders but no fair voting system
- SEAC from EAC modulo Schanuel: reduction to algebraic exponentials
- Hyperwellfoundedness and Eventual Domination
- Big Ramsey degrees and structures in relational languages
- Functional Projection and Complexity Reduction