Logic & foundations
485 studies42 in 7 days229 in 30 days
Filters
Latest
485 studies
- 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
- 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
- A note on ultrahomogeneous unary algebras
- Loose Inductive Set Theories
- A conjecture on Galois groups and large fields
- Strongly stable fields
- On Local Finiteness of Modal K4 Algebras