Cover Image

Parameterized D-torsors in differential Galois theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sánchez, Omar León, Meretzky, David
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The short exact sequence in definable Galois cohomology
by: Meretzky, David
Published: (2024)

Galois theory, automorphism groups of prime models, and the Picard-Vessiot closure
by: Meretzky, David, et al.
Published: (2026)

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

Explicit Morphisms in the Galois-Tukey Category
by: Philips, David
Published: (2025)

Splitting differential equations using Galois theory
by: Eagles, Christine, et al.
Published: (2024)

Neostability transfers in derivation-like theories
by: Sanchez, Omar Leon, et al.
Published: (2024)

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

Relativized Galois groups of first order theories over a hyperimaginary
by: Lee, Hyoyoon, et al.
Published: (2024)

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

The theory DCF$_p$A exists for $p>0$
by: Ino, Kai, et al.
Published: (2024)

Model theory of differential-henselian pre-$H$-fields
by: Pynn-Coates, Nigel
Published: (2019)

Combining fixpoint and differentiation theory
by: Galal, Zeinab, et al.
Published: (2024)

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

Forking independence in differentially closed fields of positive characteristic
by: Kowalski, Piotr, et al.
Published: (2025)

Gradualist descriptionalist set theory
by: Simmons, David
Published: (2026)

Parameterized Infinite-State Reactive Synthesis
by: Maderbacher, Benedikt, et al.
Published: (2025)

Definable Galois theory for bimeromorphic geometry
by: Moosa, Rahim, et al.
Published: (2025)

Parameterized complexity of n-dense modal logics
by: Gasquet, Olivier
Published: (2026)

The Parameterized Complexity of Learning Monadic Second-Order Logic
by: van Bergerem, Steffen, et al.
Published: (2023)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)

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

Strong negation in the theory of computable functionals TCF
by: Köpp, Nils, et al.
Published: (2022)

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)

Symmetric Proofs of Parameterized Programs
by: Cheng, Ruotong, et al.
Published: (2026)

On A Parameterized Theory of Dynamic Logic for Operationally-based Programs
by: Zhang, Yuanrui
Published: (2026)

Being polite is not enough (and other limits of theory combination)
by: Toledo, Guilherme V., et al.
Published: (2025)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
by: Aminof, Benjamin, et al.
Published: (2023)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

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

Class choice and the surprising weakness of Kelley-Morse set theory
by: Gitman, Victoria, et al.
Published: (2026)

Generic derivations, differential largeness, and NTP$_2$
by: Kaplan, Elliot, et al.
Published: (2025)

Uniformity within Parameterized Circuit Classes
by: Hegeman, Steef, et al.
Published: (2025)

Enriched Categories for Parameterized Circuit Semantics
by: Wesley, Scott
Published: (2025)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

Tarskian truth theories over set theory
by: Enayat, Ali
Published: (2026)

Zilber dichotomy for $DCF_{0,m}$
by: Sanchez, Omar Leon
Published: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

Formal Verification of Parameterized Systems based on Induction
by: Xiu, Jiaqi, et al.
Published: (2025)