Related papers: A simple algebraic characterization of nonstandard…
We give complete, finite quasiequational axiomatisations for algebras of unary partial functions under the operations of composition, domain, antidomain, range and intersection. This completes the extensive programme of classifying algebras…
In classical model theory, the Keisler--Shelah theorem establishes a fundamental connection between the elementary equivalence of structures and the isomorphism of their ultrapowers. Motivated by this, one may ask whether an analogous…
We consider characterisations of unitary dilations and approximations of irreversible classical dynamical systems on a Hilbert space. In the commutative case, building on the work in [9], one can express well known approximants (e.g. Hille-…
A further significant extension is presented of the infinitely large class of differential algebras of generalized functions which are the basic structures in the nonlinear algebraic theory listed under 46F30 in the AMS Mathematical Subject…
A natural connection between rational functions of several real or complex variables, and subspace collections is explored. A new class of function, superfunctions, are introduced which are the counterpart to functions at the level of…
We employ the theory of canonical extensions to study residuation algebras whose associated relational structures are functional, i.e., for which the ternary relations associated to the expanded operations admit an interpretation as…
Motivated by works on extension sets in standard domains we introduce a notion of the Carath\'eodory set that seems better suited for the methods used in proofs of results on characterization of extension sets. A special stress is put on a…
We generalize to the setting of Arveson's maximal subdiagonal subalgebras of finite von Neumann algebras, the Szeg\"o $L^p$-distance estimate, and classical theorems of F. and M. Riesz, Gleason and Whitney, and Kolmogorov. In so doing, we…
The Bessel-Neumann expansion (of integer order) of a function $g:\mathbb{C}\rightarrow\mathbb{C}$ corresponds to representing $g$ as a linear combination of basis functions $\phi_0,\phi_1,\ldots$, i.e., $g(z)=\sum_{\ell = 0}^\infty w_\ell…
Interpretation of a structure $\mathbb A$ in $\mathbb B$ allows to produce structures elementarily equivalent to $\mathbb A$ given those elementarily equivalent to $\mathbb B$. In particular, interpretation of the free group in $\mathbb N$…
We review and extend the description of ultradifferentiable functions by their almost analytic extensions, i.e., extensions to the complex domain with specific vanishing rate of the $\bar \partial$-derivative near the real domain. We work…
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…
We provide a concrete example of a normal basis for a finite Galois extension which is not abelian. More precisely, let $\mathbb{C}(X(N))$ be the field of meromorphic functions on the modular curve $X(N)$ of level $N$. We construct a…
We consider Hilbert-type functions associated with difference (not necessarily inversive) field extensions and systems of algebraic difference equations in the case when the translations are assigned some integer weights. We will show that…
We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization…
Given a symmetric linear transformation on a Hilbert space, a natural problem to consider is the characterization of its set of symmetric extensions. This problem is equivalent to the study of the partial isometric extensions of a fixed…
We develop a nonlinear theory for infrahyperfunctions (also referred to as quasianalytic (ultra)distributions by L. H\"{o}rmander). In the hyperfunction case our work can be summarized as follows. We construct a differential algebra that…
Let $L_0$ be a densely defined minimal linear operator in a Hilbert space $H$. We prove theorem that if there exists at least one correct extension $L_S$ of $L_0$ with the property $D(L_S)=D(L_S^*)$, then we can describe all correct…
Algebras of ultradifferentiable generalized functions are introduced. We give a microlocal analysis within these algebras related to the regularity type and the ultradifferentiable property.
Starting from a description of various generalized function algebras based on sequence spaces, we develop the general framework for considering linear problems with singular coefficients or non linear problems. Therefore, we prove…