Related papers: A pseudoexponentiation-like structure on the algeb…
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…
This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic…
This is a synopsis and extension of Phys.~Rev.~{\em D49} 5408 (1994). The Pseudodual Chiral Model illustrates 2-dimensional field theories which possess an infinite number of conservation laws but also allow particle production, at variance…
Chevalley's theorem states that every smooth connected algebraic group over a perfect field is an extension of an abelian variety by a smooth connected affine group. That fails when the base field is not perfect. We define a pseudo-abelian…
This article initiates the study of topological transcendental fields $\FF$ which are subfields of the topological field $\CC$ of all complex numbers such that $\FF$ consists of only rational numbers and a nonempty set of transcendental…
Assuming Schanuel's conjecture, we prove that the complete theory $T_{\exp}$ of the real exponential field is axiomatized by the axioms of definably complete exponential fields satisfying $\exp' = \exp$. This implies the result of Macintyre…
We show that any Appell sequence can be written in closed form as a forward difference transformation of the identity. Such transformations are actually multipliers in the abelian group of the Appell polynomials endowed with the operation…
We study the phenomena that arise when we combine the standard pseudodifferential operators with those operators that appear in the study of some sub-elliptic estimates, and on strongly pseudoconvex domains. The algebra of operators we…
In this paper we provide purely model-theoretic (algebraic) characterisations for classes definable in second-order logic and for pseudo-elementary classes (including PC and PC_{\Delta} classes). Classical results of this flavour include…
According to the algebraic approach to spacetime, a thoroughgoing dynamicism, physical fields exist without an underlying manifold. This view is usually implemented by postulating an algebraic structure (e.g., commutative ring) of…
We introduce and study the notion of pseudo-Frobenius graded algebra with enough idempotents, showing that it follows the pattern of the classical concept of pseudo-Frobenius (PF) and Quasi-Frobenius (QF) rings, in particular finite…
We introduce one- and two-dimensional `exponential shapelets': orthonormal basis functions that efficiently model isolated features in data. They are built from eigenfunctions of the quantum mechanical hydrogen atom, and inherit mathematics…
Hypercomplex numbers are unital algebras over the real numbers. We offer a short demonstration of the practical value of hypercomplex analytic functions in the field of partial differential equations.
It will be shown that the polynomial time computable numbers form a field, and especially an algebraically closed field.
We present general exact solutions for two classes of exponential potentials in scalar field models for quintessence. The coupling is minimal and we consider only dust and scalar field. To some extent, it is possible to reproduce…
We present an accurate investigation of the algebraic conditions that the symbols of a convergent, univariate, binary, non-stationary subdivision scheme should fulfill in order to reproduce spaces of exponential polynomials. A subdivision…
We explicitly present expansions of the complex field which are models of the theories of green points in the multiplicative group case and in the case of an elliptic curve without complex multiplication defined over $\mathbb{R}$. In fact,…
Let P be an elementary closed semi-algebraic set in R^d, i.e., there exist real polynomials p_1,...,p_s such that P= \{x \in R^d : p_1(x) \ge 0, >..., p_s(x) \ge 0 \}; in this case p_1,...,p_s are said to represent P. Denote by $n$ the…
We study subfields of large fields which are generated by infinite existentially definable subsets. We say that such subfields are existentially generated. Let $L$ be a large field of characteristic exponent $p$, and let $E\subseteq L$ be…
The notions of module pseudo-amenable and module pseudo-contractible Banach algebras are introduced. For a Banach algebra with bounded approximate identity, module pseudo-amenability and module approximate amenability are the same…