Logic & foundations
515 studies34 in 7 days214 in 30 days
Filters
Latest
515 studies
- Duality Theory for Sequent Algebras
- Radon measures in the Berkovich space and generically stable measures in ACVF
- Proofs Without Nominals: Gödel's Ontological Argument, its Shallow Embedding, and the Open Questions of the Monatshefte Notes
- Stoic Logic and Natural Term Logic
- A Reflection Calculus for Bar Induction and the Linearity of Consistency Strength Ordering
- A Non-Dichotomy for CSPs of Stable ω-Categorical Structures
- The regular inverse Galois problem over fields avoiding a curve
- Bluebirds and mockingbirds cannot produce a fixed-point combinator
- Constructive equivalence between Brouwer's fixed-point theorem and weak König's lemma
- Measures in Nairian models, I
- Solution to Dixmier's Problem about spectra of C*-algebras
- On separable pairs of fields and beautiful pairs of separably closed valued fields
- Chain Continuity and Scott-Closed Interpolation
- High-Arity Rademacher Complexity and Uniform Laws of Large Numbers
- Ramsey properties of trees and C-relations via the partite construction
- Finite-on-Top-of-Temporal CSPs in Fixed-Point Logic
- Fragments of SRP, the nonstationary ideal, and diagonal reflection
- Closure Semantics for Weak Modal Logics: Completeness and Representations
- Beth companions of finitary essentially algebraic theories
- Model theory of quasitracial AW*-algebras and the absoluteness of monotone completeness
- Linear Logic via algebra I: Girard algebras
- Proper varieties of distributive l-pregroups are periodic
- Tight σ-filtrations and the BFPP of C(ω*)
- Remarks on ultrafilters exponentiation
- A characterization of the finite model property for ω-categorical theories