Logic & foundations
515 studies34 in 7 days214 in 30 days
Filters
Latest
515 studies
- Dependent choice and iterated beta_n-model reflection
- A Fibrational Framework For Multi-Conclusion Logics
- On various notions of universally Baire sets and reflection of non-Baire property in Cantor sets
- Demodalising Gödel's God? Ultrafilters, Rigidity and Modal Collapse Revisited
- The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation
- Modular Existential Closedness
- Comparisons of benchmark equivalence relations
- On the structure of certain valued fields II
- Bistationary Traces, Wide Levels, and Branch-Cover Rigidity for an Unrestricted Typed Variant of the Hayut-Magidor Forcing
- Inductive Grounded Arithmetic: Goodstein, the Hydra, and Γ0
- A Lambda Calculus Based on Quantum Logic
- Jónsson cardinals, Magidor cardinals, and the number of omitted colors
- Internal Reasoning and Consistency in Reflective Grounded Arithmetic
- A case for clubs
- The measure equivalence classification of Baumslag-Solitar groups
- On tame amenable flows and generalized Newelski's conjecture
- Spectral embedding through weak* limit of finite-dimensional approximations
- Duality theory for categorical theories
- On the complexity of Medvedev reducibility
- Interpolation in the Inquisitive Hierarchy
- Amenable subrelations of treeable equivalence relations and applications to anti-treeability
- The universal measure of nonstochastic objects
- Commutative coherent rings with 𝒢𝒫not⊆𝒢ℱ
- The computable functional calculus
- Groups satisfying the minimal condition on centralizers are complete co-analytic