Related papers: Analytic computable structure theory and $L^p$ spa…

Conformal mapping may be the best-known topic in complex analysis. Any simply connected nonempty domain $\Omega$ in the complex plane ${{\mathbb{C}}}$ (assuming $\Omega\ne {{\mathbb{C}}}$) can be mapped bijectively to the unit disk by an…

Answering some of the main questions from [MR13], we show that whenever $\kappa$ is a cardinal satisfying $\kappa^{< \kappa} = \kappa > \omega$, then the embeddability relation between $\kappa$-sized structures is strongly invariantly…

Suppose $\Omega, A \subseteq \RR\setminus\Set{0}$ are two sets, both of mixed sign, that $\Omega$ is Lebesgue measurable and $A$ is a discrete set. We study the problem of when $A \cdot \Omega$ is a (multiplicative) tiling of the real line,…

Almost all representations considered in computable analysis are partial. We provide arguments in favor of total representations (by elements of the Baire space). Total representations make the well known analogy between numberings and…

A relatively new topic in computability theory is the study of notions of computation that are robust against mistakes on some kind of small set. However, despite the recent popularity of this topic relatively foundational questions about…

A set $X \subseteq 2^\omega$ with positive measure contains a perfect subset. We study such perfect subsets from the viewpoint of computability and prove that these sets can have weak computational strength. Then we connect the existence of…

We investigate the complexity of isomorphisms of computable structures on cones in the Turing degrees. We show that, on a cone, every structure has a strong degree of categoricity, and that degree of categoricity is $\bf{0^{(\alpha)}}$ for…

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 construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S,…

We illustrate an isomorphic representation of the observable algebra for quantum mechanics in terms of the functions on the projective Hilbert space, and its Hilbert space analog, with a noncommutative product in terms of explicit…

We prove that the automorphisms of any separable C*-algebra that does not have continuous trace are not classifiable by countable structures up to unitary equivalence. This implies a dichotomy for the Borel complexity of the relation of…

We describe absolutely ordered $p$-normed spaces, for $1 \le p \le \infty$ which presents a model for "non-commutative" vector lattices and includes order theoretic orthogonality. To demonstrate its relevance, we introduce the notion of…

We continue our investigation of contractive projections on noncommutative $\mathrm{L}^p$-spaces where $1 < p < \infty$ started in \cite{ArR19}. We improve the results of \cite{ArR19} and we characterize precisely the positive contractive…

Given an arbitrary countable ordinal $\alpha $, we introduce the notion of type $I_{\alpha }$ C*-algebra and $\alpha $-subhomogeneous C*-algebra. When $\alpha =0$, these recover the notions of Fell C*-algebra and of commutative C*-algebra,…

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

We study the degree spectra and reverse-mathematical applications of computably enumerable and co-computably enumerable partial orders. We formulate versions of the chain/antichain principle and ascending/descending sequence principle for…

It is shown that a trace invariant projection map, i.e. a positive unital idempotent map, of a finite dimensional C*-algebra into itself is non-decomposable if and only if it is atomic, or equivalently not the sum of a 2-positive and a…

A topological group $G$ is called extremely amenable if every continuous action of $G$ on a compact space has a fixed point. This concept is linked with geometry of high dimensions (concentration of measure). We show that a von Neumann…

In a previous paper, we introduced L^p UHF algebras for p in [1, \infty). We concentrated on the spatial L^p UHF algebras, which are classified up to isometric isomorphism by p and the scaled ordered K_0-group. In this paper, we concentrate…

Let $(X,\mathcal{B},\mu)$ be a measure space and $A$ be a norm closed subalgebra of $\mathcal{B}(L^p(X,\mu))$, where $p\in [1,\infty)$. Let $(G,A,\alpha)$ be an $L^p$-operator algebra dynamical system, where $G$ is a countable discrete…