Related papers: Quantifier elimination on some pseudo-algebraicall…
We develop an $L^p(\mathbb{R}^n)$-functional calculus appropriated for interpreting "non-classical symbols" of the form $a(-\Delta)$, and for proving existence in $L^q(\mathbb{R}^n)$, some $q > p$, of solutions to nonlinear…
Non-archimedean fields with restricted analytic functions may not support a full exponential function, but they always have partial exponentials defined in convex subrings. On face of this, we study the first order theory of the class of…
In this paper, we develop an explicit method to express finite algebraic numbers (in particular, certain idempotents among them) in terms of linear recurrent sequences, and give applications to the characterization of the splitting primes…
The aim of this paper is to give an algebraic characterization of the rings $C(X,\mathbb{Q}_p)$ of all continuous $\mathbb{Q}_p$-valued functions on a compact space $X$. The characterization is similar to that of M. Stone from 1940 for the…
New splitting theorems in a semi-Riemannian manifold which admits an irrotational vector field (not necessarily a gradient) with some suitable properties are obtained. According to the extras hypothesis assumed on the vector field, we can…
We discuss definability in the language of rings without parameters of the unique canonical henselian valuation of a field. We show that in most cases where the canonical henselian valuation is definable, it is already definable by a…
This paper seeks to extend the theory of composition operators on analytic functional Hilbert spaces from analytic symbols to quasiconformal ones. The focus is the boundedness but operator-theoretic questions are discussed as well. In…
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…
This article discusses a way for uniquely setting up the valuations for the minimal generators of the maximal ideal of a one dimensional complete reduced and irreducible local algebra over an algebraically closed field, when treated as a…
Pseudo-differential operator equations with parameter are studied. Uniform separability properties and resolvent estimates are obtained in terms of fractional derivatives. Moreover, maximal regularity properties of the pseudo-differential…
Quantifier elimination over the reals is a central problem in computational real algebraic geometry, polynomial system solving and symbolic computation. Given a semi-algebraic formula (whose atoms are polynomial constraints) with…
It is shown that the non-associative operators in a non-associative quantum theory are unobservables. The observable quantity may be presented only by the elements of some associative subalgebra. It is shown that the elements of the…
We discuss issues of problem formulation for algorithms in real algebraic geometry, focussing on quantifier elimination by cylindrical algebraic decomposition. We recall how the variable ordering used can have a profound effect on both…
We provide axiomatization and relative quantifier elimination for valued fields equipped with an automorphism, in residue characteristic zero. Similar results are known under strong assumptions on the interaction between the automorphism…
We study the structure of an algebraically closed field with extra function resembling the classical exponentiation on complex numbers.
Let L/K be a finite Galois extension of number fields with Galois group G. Let p be a rational prime and let r be a non-positive integer. By examining the structure of the p-adic group ring Z_p[G], we prove many new cases of the p-part of…
We develop the basic theory of geometrically closed rings as a generalisation of algebraically closed fields, on the grounds of notions coming from positive model theory and affine algebraic geometry. For this purpose we consider several…
We survey current term-wise techniques for quadratizing high-degree pseudo-Boolean functions and introduce a new one, which allows multiple splits of terms. We also introduce the first aggregative approach, which splits a collection of…
Quantum Field Theory with fields as Operator Valued Distributions with adequate test functions, -the basis of Epstein-Glaser approach known now as Causal Perturbation Theory-, is recalled. Its recent revival is due to new developments in…
This article contains ideas and their elaboration for quantifiers, which appeared after checking in practice the experimental language of the formal knowledge representation YAFOLL [1]: - looking at for_all and exists quantifiers as…