Buchumschlag

Separably differentially closed fields

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ino, Kai, Sanchez, Omar Leon
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The theory DCF$_p$A exists for $p>0$
von: Ino, Kai, et al.
Veröffentlicht: (2024)

Forking independence in differentially closed fields of positive characteristic
von: Kowalski, Piotr, et al.
Veröffentlicht: (2025)

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

On ordinary differentially large fields
von: Sánchez, Omar León, et al.
Veröffentlicht: (2023)

Pseudo T-closed fields
von: Montenegro, Samaria, et al.
Veröffentlicht: (2023)

Almost real closed fields with real analytic structure
von: Nguyen, Kien Huu, et al.
Veröffentlicht: (2024)

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

Strongly minimal group relics of algebraically closed valued fields
von: Onshuus, Alf, et al.
Veröffentlicht: (2024)

Models of true arithmetic are integer parts of nice real closed fields
von: Carl, Merlin
Veröffentlicht: (2013)

Imaginaries in perfect bounded pseudo algebraically closed fields with finitely many independent valuations
von: Leandro, Bryan González
Veröffentlicht: (2026)

Expansions of real closed fields with the Banach fixed point property
von: Athipat Thamrongthanyalak
Veröffentlicht: (2024)

On effective constructions of existentially closed groups
von: Scott, I
Veröffentlicht: (2024)

Model theory of differential-henselian pre-$H$-fields
von: Pynn-Coates, Nigel
Veröffentlicht: (2019)

One dimensional commutative groups definable in algebraically closed valued fields and in the pseudo-local fields
von: Acosta, Juan Pablo, et al.
Veröffentlicht: (2021)

Reasoning about Weak Isolation Levels in Separation Logic
von: Mathiasen, Anders Alnor, et al.
Veröffentlicht: (2025)

Separating Subversion Forcing Axioms
von: Sakai, Hiroshi, et al.
Veröffentlicht: (2023)

Separation of congruence intervals and implications
von: Bulatov, Andrei A.
Veröffentlicht: (2020)

Separability Properties of Monadically Dependent Graph Classes
von: Bonnet, Édouard, et al.
Veröffentlicht: (2025)

Relative differential closure in Hardy fields
von: Aschenbrenner, Matthias, et al.
Veröffentlicht: (2024)

Revisiting second-order linear differential equations over Hardy fields
von: Aschenbrenner, Matthias, et al.
Veröffentlicht: (2026)

Separating Many Localisation Cardinals on the Generalised Baire Space
von: van der Vlugt, Tristan
Veröffentlicht: (2022)

Generic derivations, differential largeness, and NTP$_2$
von: Kaplan, Elliot, et al.
Veröffentlicht: (2025)

Zilber dichotomy for $DCF_{0,m}$
von: Sanchez, Omar Leon
Veröffentlicht: (2024)

Positively closed $Sh(B)$-valued models
von: Kanalas, Kristóf
Veröffentlicht: (2024)

A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space
von: Cole, Joshua
Veröffentlicht: (2024)

$\mathsf{MA} (\mathcal{I}$) and a Failure of Separation on the third Level
von: Hoffelner, Stefan
Veröffentlicht: (2025)

Neostability transfers in derivation-like theories
von: Sanchez, Omar Leon, et al.
Veröffentlicht: (2024)

Dynamic Separation Logic
von: de Boer, Frank S., et al.
Veröffentlicht: (2023)

Around definable types in $p$-adically closed fields
von: Guerrero, Pablo Andujar, et al.
Veröffentlicht: (2022)

Existentially closed measure-preserving actions of approximately treeable groups
von: Goldbring, Isaac, et al.
Veröffentlicht: (2025)

Systematic Design of Separation Logics
von: Bruni, Roberto, et al.
Veröffentlicht: (2026)

The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation
von: Tzouvaras, Athanassios
Veröffentlicht: (2026)

Bifurcation Logic: Separation Through Ordering
von: Galmiche, Didier, et al.
Veröffentlicht: (2025)

Relative Completeness of Incorrectness Separation Logic
von: Lee, Yeonseok, et al.
Veröffentlicht: (2025)

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

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
von: Timany, Amin, et al.
Veröffentlicht: (2021)

Valued fields, Metastable groups
von: Hrushovski, Ehud, et al.
Veröffentlicht: (2017)

Characterizing NIP henselian fields
von: Anscombe, Sylvy, et al.
Veröffentlicht: (2019)

Globally valued fields: foundations
von: Yaacov, Itaï Ben, et al.
Veröffentlicht: (2024)

Incorrectness Separation Logic with Arrays and Pointer Arithmetic
von: Lee, Yeonseok, et al.
Veröffentlicht: (2025)