Logic & foundations
515 studies29 in 7 days207 in 30 days
Filters
Latest
515 studies
- A note on the Kővári--Sós--Turán theorem for stable hypergraphs
- A nonmicroscopic Gδ set with only microscopic compact subsets
- Non-dyadic Laver algebras
- Computable presentations of reduced group C*-algebras of groups with the rapid decay property
- Computable presentations of reduced group C*-algebras of hyperbolic groups
- On the foundations of logic and probability, I. Modal sentential calculi
- Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents
- Quotient structure of ultrafilters
- 𝒞m solutions of semialgebraic equations on curves
- Recovering a structure from its tree of tuples
- Countryman basis and club-isomorphisms under MA(ω1)
- Forcing axioms and the structure theory of Aronszajn trees
- On the Borel completeness of torsion-free abelian groups and a Slaman-Wehner degree spectrum
- A Logic for Minor-Free Graph Classes: Model Checking, Dependence, and Combinatorial Reconfiguration
- Extension properties for partial permutations
- A small Banach space C(K) without nice renormings
- A Dubnov-Ivanov-Nagata-Higman Theorem for NIP nilrings
- On differentiability in weakly o-minimal expansions of fields
- Scott products and sobriety of countable meet-continuous dcpos
- On a slight weakening of Kripke-Platek Set Theory
- Uniform Computability of Isotypic Block Diagonalization for Finite-Group Representations
- Van Douwen Families, Productivity and Ultrafilter Maximality
- Cone Avoidance and the No-Least-Join Theorem
- Non-separable combinatorial Banach spaces
- Tense Logic via Truth Degrees: An Algebraic Completeness Result for Kashima's Calculus