Logic & foundations
515 studies34 in 7 days214 in 30 days
Filters
Latest
515 studies
- Iterating logarithms and well-foundedness
- Hereditarily Lindelöf and hereditarily separable subspaces of function spaces
- A Side Condition Principle With Applications
- Friedman--Stanley cofinality without Borel completeness
- On Farah ideals and beyond
- The 1-2-3 Conjecture for Borel Combinatorics
- Propositional Dynamic Logic with Program Costs
- Extension of kappa-additive measures
- No Borel upper bound for the Fσ equivalence relations
- Equational theories of min-plus semirings
- Omitting Types for Infinitary Real-Valued Logic: A Topological Perspective
- 1-Genericity Is Not Weihrauch Reducible to the Finite Intersection Principle
- RCA0 Proves the Collapse of the Intersection Principles Hierarchy
- Order-Invariant CFO Contains Local-Order-Invariant FO
- Effective Hausdorff dimension one is cofinal in the K-degrees
- Some variants of function domination
- Modular proof analysis and cut elimination for the Reflection Calculi RC1 and QRC1
- On the growth of weak regular partitions in k-uniform hypergraphs
- Cartesian closedness of lax comma categories
- A localized packing lemma for sets of bounded VC2-dimension
- Well begun is half done: the computation of Eulerian paths
- Coinduction in Grounded Arithmetic
- Classical and Quantum Logics with Multiple Non-Equivalent and Non-Isomorphic Models
- Polyteam logics for quantum contextuality
- Polish spaces of separable Banach lattices