Related papers: Evaluative presentations

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras.

We investigate computable metrizability of Polish spaces up to homeomorphism. In this paper we focus on Stone spaces. We use Stone duality to construct the first known example of a computable topological Polish space not homeomorphic to any…

We show that a representation of a Banach algebra $A$ on a Banach space $X$ can be extended to a canonical representation of $A^{**}$ on $X$ if and only if certain orbit maps $A\to X$ are weakly compact. When this is the case, we show that…

Strongly continuous one-parameter representations on C*-algebras and their extension to the multiplier algebra are investigated. We give also a proof of the Stone theorem on Hilbert C*-modules and look into some related problems.

We prove a commutative Gelfand--Naimark type theorem, by showing that the set $C_s(X)$ of continuous bounded (real or complex valued) functions with separable support on a locally separable metrizable space $X$ (provided with the supremum…

We initiate the study of the effective content of $K$-theory for $\mathrm{C}^*$-algebras. We prove that there are computable functors which associate, to a computably enumerable presentation of a $\mathrm{C}^*$-algebra $\boldA$, computably…

Let X be a path connected, compact metric space and let A be a unital separable simple nuclear Z-stable real rank zero C*-algebra. We classify all the unital *-embeddings (up to approximate unitary equivalence) of C(X) into A. Specifically,…

The following topics are presented in these notes: Elements of Banach algebras, Banach algebras of the form $L^1(G)$, where $G$ is a locally compact group, spectrum of elements of Banach algebras, the spectral theory of compact operators on…

We begin the systematic study of decision problems for finitely generated groups given by a solution to their word problem. We relate this to the study of computable analysis on the space of marked groups. We point out that several distinct…

In this paper, we extend the Banach-Stone theorem to the non commutative case, i.e, we prove that the structure of the liminal $C^{*}$-algebras $\cal A$ determines the topology of its primitive ideal space.

In this work, I develop a new view of presentation theory for C*-algebras, both unital and non-unital, heavily grounded in classical notions from algebra. In particular, I introduce Tietze transformations for these presentations, which lead…

We give an example of a unital C*-algebra $\mathbf{A}$ with a computable presentation and for which neither $K_0(\mathbf{A})$ nor $K_1(\mathbf{A})$ has a computable presentation.

We introduce C*-algebras over C_{\infty}(Q,C) as Banach-Kantorovich *-algebras over the algebra C_{\infty}(Q,C) of extended continuous complex-valued functions, defined on comeager subsets of Stonean compact Q, whose norm satisfies…

For a space $X$ denote by $C_b(X)$ the Banach algebra of all continuous bounded scalar-valued functions on $X$ and denote by $C_0(X)$ the set of all elements in $C_b(X)$ which vanish at infinity. We prove that certain Banach subalgebras $H$…

We define E-theory for separable C*-algebras over second countable topological spaces and establish its basic properties. This includes an approximation theorem that relates the E-theory over a general space to the E-theories over finite…

We introduce the notion of weakly (strongly) infinite real rank for unital $C^{\ast}$-algebras. It is shown that a compact space $X$ is weakly (strongly) infine-dimensional if and only if $C(X)$ has weakly (strongly) infinite real rank.…

We show that a unital involutive Banach algebra, with identity of norm one and continuous involution, is a C*-algebra, with the given involution and norm, if every continuous linear functional attaining its norm at the identity is positive.

Let $X$ be a locally compact Hausdorff space, and $A$ be a commutative semisimple Banach algebra over the scalar field $\mathbb{C}$. The correlation between different types of BSE- Banach algebras $A$, and the Banach algebra $C_{0}(X, A)$…

We prove that the forgetful functors from the categories of $C^*$- and $W^*$-algebras to Banach $*$-algebras, Banach algebras or Banach spaces are all monadic, answering a question of J.Rosick\'{y}, and that the categories of unital…