Related papers: An approximate Herbrand's theorem and definable fu…
Infinite-dimensional manifolds modelled on arbitrary Hilbert spaces of functions are considered. It is shown that changes in model rather than changes of charts within the same model make coordinate formalisms on finite and…
The concept of complementability is extended from bounded operators to densely defined operators on Hilbert spaces. By introducing appropriate projections and decomposition techniques, a framework is developed for analyzing…
This paper begins the study of infinite-dimensional modules defined on bicomplex numbers. It generalizes a number of results obtained with finite-dimensional bicomplex modules. The central concept introduced is the one of a bicomplex…
Let G be a countable group. We proof that there is a model companion for the approximate theory of a Hilbert space with a group G of automorphisms. We show that G is amenable if and only if the structure induced by countable copies of the…
A finite number of rational functions are compatible if they satisfy the compatibility conditions of a first-order linear functional system involving differential, shift and q-shift operators. We present a theorem that describes the…
This paper presents a bicomplex version of the Spectral Decomposition Theorem on infinite dimensional bicomplex Hilbert spaces. In the process, the ideas of bounded linear operators, orthogonal complements and compact operators on bicomplex…
The basic ingredients of the consistent histories approach to quantum mechanics are the space of histories and the space of decoherence functionals. In this work we extend the classification theorem for decoherence functionals proven by…
We introduce a notion of generalized modular functors with Hilbert spaces of infinite dimension in general, and show that a generalized modular functor with data of conformal dimensions determines uniquely wave functions as its flat…
We extend Hadamard's Lemma to the setting of a separable Hilbert space.
This paper is concerned with a certain aspect of the spectral theory of unitary operators in a Hilbert space and its aim is to give an explicit construction of continuous functions of unitary operators. Starting from a given unitary…
We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a…
We prove that any given function can be smoothly approximated by functions lying in the kernel of a linear operator involving at least one fractional component. The setting in which we work is very general, since it takes into account…
In this work, we consider the problem of learning nonlinear operators that correspond to discrete-time nonlinear dynamical systems with inputs. Given an initial state and a finite input trajectory, such operators yield a finite output…
In this article, we construct operator models for meromorphic functions of bounded type on Krein spaces. This construction is based on certain reproducing kernel Hilbert spaces which are closely related to model spaces. Specifically, we…
I study definable sets in affine continuous logic. Let $T$ be an affine theory. After giving some general results, it is proved that if $T$ has a first order model, its extremal theory is a complete first order theory and first order…
We prove a Hopf bifurcation theorem in Hilbert spaces for abstract semilinear equations, which improves a classical result by Crandall and Rabinowitz in the case where basic spaces are Hilbert spaces. Actually, our theorem does not need any…
The purpose of this paper is to study some new concrete approximation processes for continuous vector-valued mappings defined on the infinite dimensional cube or on a subset of a real Hilbert space. In both cases these operators are…
If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to…
Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.
We extend the classical Mercer theorem to reproducing kernel Hilbert spaces whose elements are functions from a measurable space $X$into $\mathbb C^n$. Given a finite measure $\mu$ on $X$, we represent the reproducing kernel $K$ as…