Omar León Sánchez

12 papers B 1Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
The theory DCF A exists for p > 0.
Ann. Pure Appl. Log.
Kai Ino, Omar León Sánchez
2024 J jnl
More on Galois Cohomology, Definability, and differential Algebraic Groups.
J. Symb. Log.
Omar León Sánchez, David Meretzky, Anand Pillay
2022 J jnl
Model theory of differential fields with finite group actions.
J. Math. Log.
Daniel Max Hoffmann, Omar León Sánchez
2021 J jnl
On Coincidence of Dimensions in Closed Ordered Differential Fields.
Notre Dame J. Formal Log.
Pantelis E. Eleftheriou, Omar León Sánchez, Nathalie Regnault
2021 B conf
On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry.
CASC
François Boulier, Sebastian Falkensteiner, Marc Paul Noordman, Omar León Sánchez
2019 J jnl
Estimates for the coefficients of differential dimension polynomials.
Math. Comput.
Omar León Sánchez
2018 J jnl
Effective bounds for the consistency of differential equations.
J. Symb. Comput.
Richard Gustavson, Omar León Sánchez
2017 J jnl
An upper bound for the order of a differential algebraic variety.
ACM Commun. Comput. Algebra
Omar León Sánchez
2017 J jnl
Some Definable Galois Theory and Examples.
Bull. Symb. Log.
Omar León Sánchez, Anand Pillay
2016 J jnl
The Model Companion of differential Fields with Free operators.
J. Symb. Log.
Omar León Sánchez, Rahim Moosa
2015 — conf
A New Bound for the Existence of Differential Field Extensions.
MACIS
Richard Gustavson, Omar León Sánchez
2015 J jnl
Parametrized logarithmic equations and their Galois theory.
ACM Commun. Comput. Algebra
Omar León Sánchez