Related papers: Quantifier elimination on some pseudo-algebraicall…
Studies of geometrical theories suggest that fundmental problems of quantization arise from the disparate usage of displacement operators. These may be the source of a concealed inconsistency in the accepted formalism of quantum physics.…
We present a theory for splitting algebras of monic polynomials over rings, and apply the results to symmetric functions, and Galois theory. Our main result is that the ring of invariants of a splitting algebra under the symmetric group…
How to handle division in systems that compute with logical formulas involving what would otherwise be polynomial constraints over the real numbers is a surprisingly difficult question. This paper argues that existing approaches from both…
We establish arithmetic duality theorems for short complexes associated to reductive groups over $p$-adic function fields. Using dualities, we deduce obstructions to weak approximation for certain reductive groups (especially quasi-split…
Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfield has a (unique up to isomorphism) strong algebraic…
We characterize symbolic powers of prime ideals in polynomial rings over any field in terms of $\mathbb{Z}$-linear differential operators, and of prime ideals in polynomial rings over complete discrete valuation rings with a $p$-derivation…
Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…
Our aim in this thesis is to use the language of deformation-quantization to understand certain quantized algebras by looking at properties of the corresponding commutative ones, and conversely to obtain results about the commutative…
In this paper we study possibilities of interpolation and symbol elimination in extensions of a theory $\mathcal{T}_0$ with additional function symbols whose properties are axiomatised using a set of clauses. We analyze situations in which…
In this note we relate the valuations of the algebras appearing in the non-commutative geometry of quantized algebras to properties of sub-lattices in some vector spaces. We consider the case of algebras with $PBW$-bases and prove that…
We look at value functions of primes in simple Artinian rings and associate arithmetical pseudo-valuations to Dubrovin valuation rings which, in the Noetherian case, are $\mathbb{Z}$-valued. This allows a divisor theory for bounded Krull…
We describe a new quantifier elimination algorithm for real closed fields based on Thom encoding and sign determination. The complexity of this algorithm is elementary recursive and its proof of correctness is completely algebraic. In…
We compute the Galois cohomology of any $p$-adic valuation field extension of a pre-perfectoid field. Moreover, we obtain a generalization and also a new proof of the classical results of Tate and Hyodo on discrete valuation fields, without…
Motivated by the problem of determining the structure of integral points on subvarieties of semiabelian varieties defined over finite fields, we prove a quantifier elimination result for certain modules over finite simple extensions of the…
The Lie algebra of planar vector fields with coefficients from the field of rational functions over an algebraically closed field of characteristic zero is considered. We find all finite-dimensional Lie algebras that can be realized as…
Chevalley's theorem on the images of morphisms of schemes and the principle of quantifier elimination for the theory of algebraically closed fields are widely understood to be two perspectives on the same theorem. In this paper, we…
We study the model theory of the ring of adeles of a number field. We obtain quantifier elimination results in the language of rings and some enrichments. We given consequences for definable subsets of the adeles, and their measures.
We study the common splitting fields of symbol algebras of degree $p^m$ over fields $F$ of $\operatorname{char}(F)=p$. We first show that if any finite number of such algebras share a degree $p^m$ simple purely inseparable splitting field,…
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 work with semi-algebraic functions on arbitrary real closed fields. We generalize the notion of critical values and prove a Sard type theorem in our framework.