Related papers: $C_p$-Theory for Model Theorists
Let $X$ and $Y$ be compact Hausdorff spaces and suppose that there exists a linear continuous surjection $T:C_{p}(X) \to C_{p}(Y)$, where $C_{p}(X)$ denotes the space of all real-valued continuous functions on $X$ endowed with the pointwise…
We study the functional calculus properties of generators of $C_{0}$-groups under type and cotype assumptions on the underlying Banach space. In particular, we show the following. Let $-iA$ generate a $C_{0}$-group on a Banach space $X$…
The famous Rosenthal-Lacey theorem asserts that for each infinite compact set $K$ the Banach space $C(K)$ admits a quotient which is either a copy of $c$ or $\ell_{2}$. What is the case when the uniform topology of $C(K)$ is replaced by the…
We present an introduction to modern continuous model theory with an emphasis on its interactions with topics covered in this volume such as $C^*$-algebras and von Neumann algebras. The role of ultraproducts is highlighted and expositions…
For any Tychonoff space $X$ let $C_p(X)$ (resp., $C^*_p(X)$) be the set of all continuous (resp., and bounded) functions on $X$ with the pointwise convergence topology. Given Tychonoff spaces $X$ and $Y$, Uspenskij \cite{us} proved that if…
The famous Rosenthal-Lacey theorem asserts that for each infinite compact space $K$ the Banach space $C(K)$ admits a quotient which is either a copy of $c_{0}$ or $\ell_{2}$. The aim of the paper is to study a natural variant of this result…
We give an exposition of Natural Topology (NToP), which highlights its advantages for exact computation. The NToP-definition of the real numbers (and continuous real functions) matches recent expert recommendations for exact real…
This paper addresses the Asplund property for the space of continuous functions $C_k(X)$ equipped with the compact-open topology, when $X$ is an arbitrary Tychonoff space. Motivated by inconsistent definitions in prior literature extending…
We investigate Banach space automorphisms $T:\ell_\infty/c_0\rightarrow\ell_\infty/c_0 $ focusing on the possibility of representing their fragments of the form $$T_{B,A}:\ell_\infty(A)/c_0(A)\rightarrow \ell_\infty(B)/c_0(B)$$ for $A,…
In this article we discuss the solvability of some class of fully nonlinear equations, and equations with p-Laplacian in more general conditions by using a new approach given in [1] for studying the nonlinear continuous operator. Moreover…
For a Tychonoff space $X$, we denote by $C_p(X)$ the space of all real-valued continuous functions on $X$ with the topology of pointwise convergence. We give the functional characterization of the covering property of Hurewicz.
Based on the concept and properties of $C^{*}$-algebras, the paper introduces a concept of $C_{*}$-class functions. Then by using these functions in $C^{*}$-algebra- valued modular metric spaces of moeini et al. [14], some common fixed…
We study the complexity of the space $C^*_p(X)$ of bounded continuous functions with the topology of pointwise convergence. We are allowed to use descriptive set theoretical methods, since for a separable metrizable space $X$, the…
A continuous frame is a family of vectors in a Hilbert space which allows reproductions of arbitrary elements by continuous superpositions. Associated to a given continuous frame we construct certain Banach spaces. Many classical function…
In this paper, we establish a suitable version of the Hahn-Banach theorem within the framework of Colombeau spaces, a class of spaces used to model generalized functions. Our approach addresses the case where maps are defined…
An old question of A.V. Arhangel'skii asks if the Menger property of a Tychonoff space $X$ is preserved by homeomorphisms of its function space $C_p(X)$. We provide affirmative answer in the case of linear homeomorphisms. To this end, we…
The universal scalability law of computational capacity is a rational function C_p = P(p)/Q(p) with P(p) a linear polynomial and Q(p) a second-degree polynomial in the number of physical processors p, that has been long used for statistical…
The ultraproduct construction is generalized to $p$-ultramean constructions ($1\leqslant p<\infty$) by replacing ultrafilters with finitely additive measures. These constructions correspond to the linear fragments $\mathscr L^p$ of…
This survey paper contains a detailed self-contained introduction to Korovkin-type theorems and to some of their applications concerning the approximation of continuous functions as well as of L^p-functions, by means of positive linear…
This article reformulates the theory of computable physical models, previously introduced by the author, as a branch of applied model theory in first-order logic. It provides a semantic approach to the philosophy of science that…