Logic & foundations
515 studies29 in 7 days207 in 30 days
Filters
Latest
515 studies
- Independence of premise for intuitionistic Zermelo-Fraenkel set theory
- A Universal Quasi-Polish Space
- Uniform small cancellation in torsion-free hyperbolic groups
- Condensed Whitehead Problem
- Points and their multiples on curves in powers of simple abelian varieties
- Kaplansky decompositions of Polish modules
- Maximal Order Type and Width of the h-Preorder on Finite Labeled Trees
- On omega-powers of infinite difference rank
- On Integer-Division Bases for the Kalmár Elementary Functions
- From Cell Decomposition to Motivic Integration, Hensel Minimality, and Point Counting
- The Type ω-Vaught's Conjecture for ω-stable Theories
- The additivity of a certain Hausdorff measure can differ from that of the Lebesgue measure
- The generalized continuum hypothesis above a strongly compact cardinal
- Amenable C-sequences and ineffability in L
- Essence and accident modalities meet Belnapian truth values
- On Three-Valued Dependence-Like Logics
- Representation theorems for four classes of uninorms on bounded trellises
- Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
- An entire function that violates quasiminimality
- Hedetniemi's Conjecture for Uncountable Complementary Graphs
- From Zero-Dimensional to Continuous Dualities: A Double-Categorical Account
- Stationary common-neighborhood properties and partition hypotheses
- Classification complexity of homeomorphism group actions
- Rank-two recurrence results for polynomials and questions of dynamical Mordell--Lang type
- The set-theorist's real numbers