Logic & foundations
515 studies29 in 7 days207 in 30 days
Filters
Latest
515 studies
- Establishing the Polynomial Wolff Axioms for δ-Separated δ-Tubes With #o-minimality
- Eventual and Strong Eventual Notions in Public Announcements
- The Boolean Prime Ideal Theorem and Vitali Sets
- Approximation by simple structures
- A Computably Enumerable tt-Degree Without Computably Enumerable Irreducible m-Degrees
- Ramsey theory and topological dynamics of 0-dimensional flows
- Forking and invariant types in monadic NIP theories
- Stable Regularity Lemmas: Efficient Algorithms and Essentially Tight Littlestone Bounds
- Contributions to the hierarchy of probabilistic languages
- Types of well-founded trees and the homomorphism order
- CIC + EM ⊢ Con(ZF): the consistency of ZF in type theory with excluded middle and no choice
- Hyperfiniteness of boundary actions via tree decompositions
- Logics of Filter Bubbles
- Idealistic equivalence relations and the Lusin derivative
- Randomized Borel (2d+1)-coloring of digraphs
- Scott topologies on meet-continuous domains
- Forking in monadically NIP theories
- Atomic toposes, choice spectra and model-theoretic stability
- Switching Categoricity Behavior with a Given Degree
- From raw Solvability Complexity Index proofs to Weihrauch degrees
- Almost-Uniform Bayesian Convergence to the Truth Is Not Characterized by Countable Additivity on Conditional Hitting Times
- Logarithmic--exponential preparation in sharply o-minimal structures
- Cocompactness and Presentability
- Locally finite Schreier Varieties
- Every countable meet-continuous lattice is Scott sober