:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kaplan, Elliot, Kesting, Christoph
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2508.13919
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A dichotomy for $T$-convex fields with a monomial group
by: Kaplan, Elliot, et al.
Published: (2023)

Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section
by: Kesting, Christoph
Published: (2024)

The Klein j-Function is not Pfaffian over the Real Exponential Field
by: Kesting, Christoph
Published: (2023)

Some NIP-like phenomena in NTP$_{2}$
by: Kaplan, Itay, et al.
Published: (2017)

Monotone $T$-convex $T$-differential fields
by: Kaplan, Elliot, et al.
Published: (2023)

Generic derivations on o-minimal structures
by: Fornasiero, Antongiulio, et al.
Published: (2019)

On groups and fields interpretable in $\mathrm{NTP_2}$ fields
by: Wang, Paul Z.
Published: (2024)

NTP2 topological structures
by: Guerrero, Pablo Andújar
Published: (2026)

Dimension theory for the asymptotic couple of the field of logarithmic transseries
by: Gehret, Allen, et al.
Published: (2025)

The number of measures on very large measurable cardinals
by: Apter, Arthur W., et al.
Published: (2026)

Constant power maps on Hardy fields and transseries
by: Kaplan, Elliot
Published: (2024)

Fractional Helly property and combinatorics of forking in NTP$_2$ theories
by: Chernikov, Artem, et al.
Published: (2026)

On large externally definable sets in NIP
by: Bays, Martin, et al.
Published: (2022)

Global choice is not conservative over local choice for Zermelo set theory
by: Glazer, Elliot
Published: (2023)

A note on the Ketonen order and Lipschitz reducibility between ultrafilters
by: Kaplan, Eyal
Published: (2025)

The number of normal measures, revisited
by: Kaplan, Eyal
Published: (2025)

Reflection Principles in ZFU
by: Glazer, Elliot, et al.
Published: (2026)

On fresh sets in iterations of Prikry type forcing notions
by: Gitik, Moti, et al.
Published: (2024)

A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis
by: Ben-Neria, Omer, et al.
Published: (2024)

Hilbert polynomials for finitary matroids
by: Fornasiero, Antongiulio, et al.
Published: (2022)

Infinite Cliques in Simple and Stable Graphs
by: Halevi, Yatir, et al.
Published: (2024)

Separably differentially closed fields
by: Ino, Kai, et al.
Published: (2023)

Generating Theorems by Generating Proof Structures
by: Wernhard, Christoph
Published: (2026)

Decomposing the automorphism group of the surreal numbers
by: Kaplan, Elliot, et al.
Published: (2025)

Parameterized D-torsors in differential Galois theory
by: Sánchez, Omar León, et al.
Published: (2026)

Boolean basis, formula size, and number of modal operators
by: Berkholz, Christoph, et al.
Published: (2024)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
by: Bobrow, Elliot, et al.
Published: (2025)

Additivity of derived limits in the Cohen model
by: Bannister, Nathaniel
Published: (2023)

On ordinary differentially large fields
by: Sánchez, Omar León, et al.
Published: (2023)

On groups definable in geometric fields with generic derivations
by: Pillay, Anand, et al.
Published: (2025)

Chang models over derived models with supercompact measures
by: Gappo, Takehiko, et al.
Published: (2023)

A coherent differential PCF
by: Ehrhard, Thomas
Published: (2022)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
by: Pinsker, Michael, et al.
Published: (2025)

On the strength of ultrafilters above choiceless large cardinals and their Prikry forcings
by: Adkisson, William, et al.
Published: (2025)

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
by: Shamkanov, Daniyar
Published: (2025)

An observer-based approach to the sorites paradox and the logic derived from that
by: Tzouvaras, Athanassios
Published: (2026)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

Higher order differential calculus in mathlib
by: Gouëzel, Sébastien
Published: (2025)

On structural proof theory of the modal logic K+ extended with infinitary derivations
by: Shamkanov, Daniyar
Published: (2023)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
by: Blanc, Manon, et al.
Published: (2023)