:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sánchez, Omar León, Meretzky, David
Format:	Preprint
Publié:	2026
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2603.03658
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The short exact sequence in definable Galois cohomology
par: Meretzky, David
Publié: (2024)

Galois theory, automorphism groups of prime models, and the Picard-Vessiot closure
par: Meretzky, David, et autres
Publié: (2026)

Separably differentially closed fields
par: Ino, Kai, et autres
Publié: (2023)

Splitting differential equations using Galois theory
par: Eagles, Christine, et autres
Publié: (2024)

On ordinary differentially large fields
par: Sánchez, Omar León, et autres
Publié: (2023)

Neostability transfers in derivation-like theories
par: Sanchez, Omar Leon, et autres
Publié: (2024)

Explicit Morphisms in the Galois-Tukey Category
par: Philips, David
Publié: (2025)

The theory DCF$_p$A exists for $p>0$
par: Ino, Kai, et autres
Publié: (2024)

Forking independence in differentially closed fields of positive characteristic
par: Kowalski, Piotr, et autres
Publié: (2025)

Relativized Galois groups of first order theories over a hyperimaginary
par: Lee, Hyoyoon, et autres
Publié: (2024)

Ultra-Galois theory and an analogue of the Kronecker--Weber theorem for rational function fields over ultra-finite fields
par: Nguyen, Dong Quan Ngoc
Publié: (2024)

Combining fixpoint and differentiation theory
par: Galal, Zeinab, et autres
Publié: (2024)

Zilber dichotomy for $DCF_{0,m}$
par: Sanchez, Omar Leon
Publié: (2024)

Definable Galois theory for bimeromorphic geometry
par: Moosa, Rahim, et autres
Publié: (2025)

Model theory of differential-henselian pre-$H$-fields
par: Pynn-Coates, Nigel
Publié: (2019)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
par: de Jong, Tom
Publié: (2024)

Parameterized Infinite-State Reactive Synthesis
par: Maderbacher, Benedikt, et autres
Publié: (2025)

Gradualist descriptionalist set theory
par: Simmons, David
Publié: (2026)

Parameterized complexity of n-dense modal logics
par: Gasquet, Olivier
Publié: (2026)

Symmetric Proofs of Parameterized Programs
par: Cheng, Ruotong, et autres
Publié: (2026)

The Parameterized Complexity of Learning Monadic Second-Order Logic
par: van Bergerem, Steffen, et autres
Publié: (2023)

Fields with Lie-commuting and iterative operators
par: Dobrowolski, Jan, et autres
Publié: (2025)

Bringing closure to theory combination properties
par: Toledo, Guilherme V., et autres
Publié: (2026)

Undecidability of theories of semirings with fixed points
par: Das, Anupam, et autres
Publié: (2025)

On A Parameterized Theory of Dynamic Logic for Operationally-based Programs
par: Zhang, Yuanrui
Publié: (2026)

Strong negation in the theory of computable functionals TCF
par: Köpp, Nils, et autres
Publié: (2022)

On proving consistency of equational theories in Bounded Arithmetic
par: Beckmann, Arnold, et autres
Publié: (2022)

Uniformity within Parameterized Circuit Classes
par: Hegeman, Steef, et autres
Publié: (2025)

Enriched Categories for Parameterized Circuit Semantics
par: Wesley, Scott
Publié: (2025)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
par: de Jong, Tom, et autres
Publié: (2026)

Monotone $T$-convex $T$-differential fields
par: Kaplan, Elliot, et autres
Publié: (2023)

Being polite is not enough (and other limits of theory combination)
par: Toledo, Guilherme V., et autres
Publié: (2025)

Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
par: Aminof, Benjamin, et autres
Publié: (2023)

The proof theory and semantics of second-order (intuitionistic) tense logic
par: Becker, Justus, et autres
Publié: (2026)

Formal Verification of Parameterized Systems based on Induction
par: Xiu, Jiaqi, et autres
Publié: (2025)

Wider systems for linear logic with fixed points: proof theory and complexity
par: Das, Anupam, et autres
Publié: (2026)

Class choice and the surprising weakness of Kelley-Morse set theory
par: Gitman, Victoria, et autres
Publié: (2026)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
par: Hamkins, Joel David
Publié: (2022)

Antichains for Concurrent Parameterized Games
par: Bertrand, Nathalie, et autres
Publié: (2025)

Generic derivations, differential largeness, and NTP$_2$
par: Kaplan, Elliot, et autres
Publié: (2025)