Related papers: Separably differentially closed fields
We consider valued fields with a distinguished contractive map as valued modules over the Ore ring of difference operators. We prove quantifier elimination for separably closed valued fields with the Frobenius map, in the pure module…
A geometric first-order axiomatization of differentially closed fields of characteristic zero with several commuting derivations, in the spirit of Pierce-Pillay, is formulated in terms of a relative notion of prolongation for Kolchin-closed…
We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and…
Let $\mathcal{F}=(F;+,\cdot,0,1,D)$ be a differentially closed field. We consider the question of definability of the derivation $D$ in reducts of $\mathcal{F}$ of the form $\mathcal{F}_{R}=(F;+,\cdot,0,1,P)_{P \in R}$ where $R$ is a…
Recently, a new fractional derivative called the conformable fractional derivative is given on based basic limit definition derivative in [4]. Then, the fractional versions of chain rules, exponential functions, Gronwalls inequality,…
Let K be a subfield of the real field, D be a discrete subset of K and f : D^n -> K be a function such that f(D^n) is somewhere dense. Then (K,f) defines the set of integers. We present several applications of this result. We show that K…
We present an application of elimination theory to the study of singularities over arbitrary fields, particularly to the open problem of resolution. A partial extension of a function, defining resolution of singularities over fields of…
A differential-algebraic geometric analogue of the Dixmier-Moeglin equivalence is articulated, and proven to hold for $D$-groups over the constants. The model theory of differentially closed fields of characteristic zero, in particular the…
In this paper, we prove a similar result to the fundamental theorem of regular surfaces in classical differential geometry, which extends the classical theorem to the entire class of singular surfaces in Euclidean 3-space known as frontals.…
An abstract theory of ultradifferentiable sheafs is developed. Moreover, various applications to the theory of linear partial differential equations, differential geometry and, in particular, CR geometry are discussed.
We introduce the theory $\mathrm{PF}^{+,\times}$ of pseudofinite fields with generic additive and multiplicative character added as continuous logic predicates. Using the Weil bounds on character sums over finite fields as well as the…
We classify, up to a natural equivalence relation, vector fields of the plane which belong to the kernel of a 1--form. This form can be closed, in which case the vector fields are integrable, or not, in which case the differential of the…
In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…
We prove that for p-optimal fields (a very large subclass of p-minimal fields containing all the known examples) a cell decomposition theorem follows from methods going back to Denef's paper [Invent. Math, 77 (1984)]. We derive from it the…
We give a proof, based on the rigidity of tilting complexes, that the class of self-injective finite-dimensional algebras over an algebraically closed field is closed under derived equivalence.
Let $F$ be a field of characteristic $p$ and let $\Omega^n(F)$ be the $F$-vector space of $n$-differential forms. In this work, we will study the annihilator of differential forms, give specific descriptions for special cases and show a…
The paper introduces and studies differentially positive systems, that is, systems whose linearization along an arbitrary trajectory is positive. A generalization of Perron Frobenius theory is developed in this differential framework to…
In this paper, using definability of types over indiscernible sequences as a template, we study a property of formulas and theories called "uniform definability of types over finite sets" (UDTFS). We explore UDTFS and show how it relates to…
We introduce the formalism of differential conformal superalgebras, which we show leads to the "correct" automorphism group functor and accompanying descent theory in the conformal setting. As an application, we classify forms of N=2 and…
If ${\cal D}$ is a definable category then it may contain no nonzero finitely presented modules but, by a result of Makkai, there is a $\varinjlim$-generating set of strictly ${\cal D}$-atomic modules. These modules share some key…