相关论文: Eliminating Field Quantifiers in Strongly Dependen…
For the Kirillov-Poisson structure on the vector space $\g^*$, where $\g$ is a finite-dimensional Lie algebra, it is known at least two canonical deformations quantization of this structure: they are the M. Kontsevich universal formula [K],…
In this paper, we undertake a systematic model and valuation theoretic study of the class of ordered fields which are dense in their real closure. We apply this study to determine definable henselian valuations on ordered fields, in the…
In this paper, we characterize NIP henselian valued fields modulo the theory of their residue field, both in an algebraic and in a model-theoretic way. Assuming the conjecture that every infinite NIP field is either separably closed, real…
We consider four properties of a field $K$ related to the existence of (definable) henselian valuations on $K$ and on elementarily equivalent fields, and study the implications between them. Surprisingly, the full pictures look very…
The epicenter of this paper concerns Pfister quadratic forms over a field $F$ with a Henselian discrete valuation. All characteristics are considered but we focus on the most complicated case where the residue field has characteristic 2 but…
We prove an explicit upper bound on the number of real quadratic fields that admit a universal quadratic form of a given rank, thus establishing a density zero statement. More generally, we obtain such a result for totally positive definite…
We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindstr\"om, in logics whose semantics is based on teams instead of assignments, e.g., IF-logic and Dependence logic. Both the monotone and the…
We explore a framework for complex classical fields, appropriate for describing quantum field theories. Our fields are linear transformations on a Hilbert space, so they are more general than random variables for a probability measure. Our…
Standard quantization using, for example, path integration of field theory models, includes paths of momentum and field reach infinity in the Hamiltonian density, while the Hamiltonian itself remains finite. That fact causes considerable…
We study when the property that a field is dense in its real and p-adic closures is elementary in the language of rings and deduce that all models of the theory of algebraic fields have this property.
Let p be prime number, K be a p-adically closed field, X $\subseteq$ K^m a semi-algebraic set defined over K and L(X) the lattice of semi-algebraic subsets of X which are closed in X. We prove that the complete theory of L(X) eliminates the…
In this paper, we prove weak elimination of imaginaries for perfect bounded pseudo-algebraically closed fields equipped with finitely many independent valuations. Our approach combines an extension result for types to invariant types with…
We develop the method of the hamiltonian reduction of affine Lie superalgebras to obtain explicit and general expressions both for the classical and the quantum extended superconformal algebras. By performing the gauge transformation which…
In this paper, for a henselian valued field $(K, v)$ of arbitrary rank and an extension $w$ of $v$ to $K(X),$ we use abstract key polynomials for $w$ to give a connection between complete sets, saturated distinguished chains and Okutsu…
We extend our recently-proposed formalism for calculating anomalies of global and gauge symmetries using the Covariant Derivative Expansion to include a general class of operators that can appear in relativistic Effective Field Theories…
Dependence logic provides an elegant approach for introducing dependencies between variables into the object language of first-order logic. In [1] generalized quantifiers were introduced in this context. However, a satisfactory account was…
For important cases of algebraic extensions of valued fields, we develop presentations of the associated K\"ahler differentials of the extensions of their valuation rings. We compute their annihilators as well as the associated Dedekind…
We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…
The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a…
We compare a relativistic and a nonrelativistic version of Ostrogradsky's method for higher-time derivative theories extended to scalar field theories and consider as an alternative a multi-field variant. We apply the schemes to space-time…