Logic & foundations
515 studies34 in 7 days214 in 30 days
Filters
Latest
515 studies
- 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
- On Star operation and some ideals on the Baire space
- The complexity of tilting
- Quantitative sub-ballisticity of self-avoiding walk on ℤd
- Ergodicity as an obstruction to classification by higher-rank invariants
- Ergodic treeable equivalence relations are richly ergodic
- Model Theory of Johnson Graphs
- Step Recursion: Exact Membership Spectra, Mixed Strides, and Collapse
- EPPA for Reducts of the Random Graph
- Step Recursion: Rational Strides and Exact Inclusion Orders over the Reals
- Martin-Löf randomness and rK-reducibility
- Cardinality of the K-cones below a non infinitely often K-trivial
- Deciding two-variable logic with global and local Presburger quantification
- Stationary Limits of the Point Spectrum
- Invariant means, coset correct means and the Hahn-Banach Theorem
- Connecting Base-Extension Semantics, Beth Semantics, and Ecumenical Logic
- Forcing square with small conditions
- Coanalytic subfields and bases of prescribed dimension
- Finite algebras whose equational probability spectrum contains a big gap
- Relative distality and incidence bounds in positive characteristic
- Finite BM-algebras and fixed-point combinators