Buchumschlag

Generic derivations, differential largeness, and NTP$_2$

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kaplan, Elliot, Kesting, Christoph
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A dichotomy for $T$-convex fields with a monomial group
von: Kaplan, Elliot, et al.
Veröffentlicht: (2023)

Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section
von: Kesting, Christoph
Veröffentlicht: (2024)

The Klein j-Function is not Pfaffian over the Real Exponential Field
von: Kesting, Christoph
Veröffentlicht: (2023)

Monotone $T$-convex $T$-differential fields
von: Kaplan, Elliot, et al.
Veröffentlicht: (2023)

Some NIP-like phenomena in NTP$_{2}$
von: Kaplan, Itay, et al.
Veröffentlicht: (2017)

Generic derivations on o-minimal structures
von: Fornasiero, Antongiulio, et al.
Veröffentlicht: (2019)

On groups and fields interpretable in $\mathrm{NTP_2}$ fields
von: Wang, Paul Z.
Veröffentlicht: (2024)

NTP2 topological structures
von: Guerrero, Pablo Andújar
Veröffentlicht: (2026)

Dimension theory for the asymptotic couple of the field of logarithmic transseries
von: Gehret, Allen, et al.
Veröffentlicht: (2025)

The number of measures on very large measurable cardinals
von: Apter, Arthur W., et al.
Veröffentlicht: (2026)

Global choice is not conservative over local choice for Zermelo set theory
von: Glazer, Elliot
Veröffentlicht: (2023)

A note on the Ketonen order and Lipschitz reducibility between ultrafilters
von: Kaplan, Eyal
Veröffentlicht: (2025)

The number of normal measures, revisited
von: Kaplan, Eyal
Veröffentlicht: (2025)

On large externally definable sets in NIP
von: Bays, Martin, et al.
Veröffentlicht: (2022)

Constant power maps on Hardy fields and transseries
von: Kaplan, Elliot
Veröffentlicht: (2024)

Reflection Principles in ZFU
von: Glazer, Elliot, et al.
Veröffentlicht: (2026)

Fractional Helly property and combinatorics of forking in NTP$_2$ theories
von: Chernikov, Artem, et al.
Veröffentlicht: (2026)

On fresh sets in iterations of Prikry type forcing notions
von: Gitik, Moti, et al.
Veröffentlicht: (2024)

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

Infinite Cliques in Simple and Stable Graphs
von: Halevi, Yatir, et al.
Veröffentlicht: (2024)

Separably differentially closed fields
von: Ino, Kai, et al.
Veröffentlicht: (2023)

Generating Theorems by Generating Proof Structures
von: Wernhard, Christoph
Veröffentlicht: (2026)

Parameterized D-torsors in differential Galois theory
von: Sánchez, Omar León, et al.
Veröffentlicht: (2026)

Additivity of derived limits in the Cohen model
von: Bannister, Nathaniel
Veröffentlicht: (2023)

On groups definable in geometric fields with generic derivations
von: Pillay, Anand, et al.
Veröffentlicht: (2025)

Boolean basis, formula size, and number of modal operators
von: Berkholz, Christoph, et al.
Veröffentlicht: (2024)

Hilbert polynomials for finitary matroids
von: Fornasiero, Antongiulio, et al.
Veröffentlicht: (2022)

Chang models over derived models with supercompact measures
von: Gappo, Takehiko, et al.
Veröffentlicht: (2023)

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
von: Shamkanov, Daniyar
Veröffentlicht: (2025)

An observer-based approach to the sorites paradox and the logic derived from that
von: Tzouvaras, Athanassios
Veröffentlicht: (2026)

On the strength of ultrafilters above choiceless large cardinals and their Prikry forcings
von: Adkisson, William, et al.
Veröffentlicht: (2025)

On structural proof theory of the modal logic K+ extended with infinitary derivations
von: Shamkanov, Daniyar
Veröffentlicht: (2023)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
von: Pinsker, Michael, et al.
Veröffentlicht: (2025)

A coherent differential PCF
von: Ehrhard, Thomas
Veröffentlicht: (2022)

Generalized Decidability via Brouwer Trees
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Higher order differential calculus in mathlib
von: Gouëzel, Sébastien
Veröffentlicht: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
von: Ding, Yifeng, et al.
Veröffentlicht: (2024)

A Universe with large Continuum, global $Σ$-Uniformization and a projective Well-Order of its Reals
von: Hoffelner, Stefan
Veröffentlicht: (2025)

Compositional Taylor expansion in cartesian differential categories
von: Walch, Aymeric
Veröffentlicht: (2025)