Related papers: Quantifier elimination on some pseudo-algebraicall…
The paper concerns a certain subcategory of the category of representations for a semisimple algebraic group $G$ in characteristic $p$, which arise from the semisimple modules for the corresponding quantum group at a $p$-th root of unity.…
The notion of a real-valued function is central to mathematics, computer science, and many other scientific fields. Despite this importance, there are hardly any positive results on decision procedures for predicate logical theories that…
The well-known difficulties arising in a classification which is not set-theoretically trivial---involving what is sometimes called a non-smooth quotient---have been overcome in a striking way in the theory of operator algebras by the use…
Quantum fields are generally taken to be operator-valued distributions, linear functionals of test functions into an algebra of operators; here the effective dynamics of an interacting quantum field is taken to be nonlinearly modified by…
Quantifier elimination (QE) is an important problem that has numerous applications. Unfortunately, QE is computationally very hard. Earlier we introduced a generalization of QE called $\mathit{partial}$ QE (or PQE for short). PQE allows to…
The main scope of this paper is to introduce valuation semirings in general and discrete valuation semirings in particular. In order to do that, first we define valuation maps and investigate them. Then we define valuation semirings with…
We contribute to the refined understanding of the language-logic-algebra interplay in the context of first-order properties of countable words. We establish decidable algebraic characterizations of one variable fragment of FO as well as…
A semialgebraic bijection from the field of p-adic numbers to itself minus one point is constructed. Semialgebraic p-adic sets are classified up to semialgebraic bijection. A cell decomposition theorem for restricted analytic p-adic maps is…
We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several…
In this paper we will give a scheme-theoretic discussion on the unramified extensions of an arithmetic function field in several variables. The notion of unramified discussed here is parallel to that in algebraic number theory and for the…
In this paper, we prove the existence of a first-order definition of the polynomial ring over a nonprincipal ultraproduct of finite fields of unbounded cardinalities in its fraction field by a universal-existential formula in the language…
Assume that $\Phi:\mathbb{M}_{n}(\mathbb{C})\rightarrow\mathbb{M}_{n}(\mathbb{C})$ is a superoperator which preserves hermiticity. We give an algorithm determining whether $\Phi$ preserves semipositivity (we call $\Phi$ positive in this…
A new tool for the model theory of differentially closed fields and of compact complex manifolds is here developed. In such settings, it is shown that a type internal to the field of constants (resp. to the projective line) admits a maximal…
Let n be an odd number and F an imaginary quadratic field with odd discriminant. We show that there exists infinitely many cubic fields K such that the class number of K is divisible by n and the Galois closure of K contains F.
We develop the notion of deformations using a valuation ring as ring of coefficients. This permits to consider in particular the classical Gerstenhaber deformations of associative or Lie algebras as infinitesimal deformations and to solve…
A finite group $G$ is said to be admissible over a field $F$ if there exists a division algebra $D$ central over $F$ with a maximal subfield $L$ such that $L/F$ is Galois with group $G$. In this paper we give a complete characterization of…
The importance of the theory of pseudo-differential operators in the study of non linear integrable systems is point out. Principally, the algebra $\Xi $ of nonlinear (local and nonlocal) differential operators, acting on the ring of…
Fix a language L extending the language of real closed fields by at least one new predicate or function symbol. Call an L-structure R pseudo-o-minimal if it is (elementarily equivalent to) an ultraproduct of o-minimal structures. We show…
In this paper, a new criterion is given to determine the $p-$rationality of some complex cubic number fields in terms of $ p-$divisibility of certain terms of a third-order recurrence sequence, several illustrated examples are…
In this paper, we present first results of our investigation regarding symbolic pseudo-differential calculi on nilpotent Lie groups. On any graded Lie group, we define classes of symbols using difference operators. The operators are…