Related papers: Generic absoluteness and boolean names for element…
We provide a comprehensive development of the basics of descriptive set theory for non-separable complete metric spaces whose weight is a singular cardinal $\lambda$ of countable confinality. Somewhat unexpectedly, the resulting theory is…
We present an explicit formula for the $K$-theory of the $C^*$-algebra associated with a relative generalized Boolean dynamical system $(\CB, \CL, \theta, \CI_\af; \CJ)$. In particular, we find concrete generators for the $K_1$-group of…
Enveloping $C^*$-algebras for some finitely generated $*$-algebras are considered. It is shown that all of the considered algebras are identically defined by their dual spaces. The description in terms of matrix-functions is given. Keywords…
We investigate relations on elements in C*-algebras, including *-polynomial relations, order relations and all relations that correspond to universal C*-algebras. We call these C*-relations and define them axiomatically. Within these are…
We prove that the isomorphism relation for separable C$^*$-algebras, and also the relations of complete and $n$-isometry for operator spaces and systems, are Borel reducible to the orbit equivalence relation of a Polish group action on a…
In first order logic, it is known that you can define a topology so that the countable models of some theory $T$ form a Polish Space (i.e. completely metrizable second countable space). In this paper we use the Baldwin- Boney Relational…
This paper considers "definable cardinalities" arising from Polish group actions. The first part of the paper answers a question of Becker-Kechris by showing that under suitable determinacy assumptions in ZF+DC, every action by a Polish…
In a recent paper of the first author and Kashyap, a new class of modules over dual operator algebras is introduced. These generalize the W*-modules (that is, Hilbert C*-modules over a von Neumann algebra which satisfy an analogue of the…
We describe right-hand skew Boolean algebras in terms of a class of presheaves of sets over Boolean algebras called Boolean sets, and prove a duality theorem between Boolean sets and etale spaces over Boolean spaces.
We introduce and study Polish topologies on various spaces of countable enumerated groups, where an enumerated group is simply a group whose underlying set is the set of natural numbers. Using elementary tools and well known examples from…
The goal of these notes is to present the C*-algebra $C^*(B,L,\theta)$ of a Boolean dynamical system $(B,L,\theta)$, that generalizes the $C^*$-algebra associated to Labelled graphs introduced by Bates and Pask, and to determine its…
We study the generalized double $\beta$-Grothendieck polynomials for all types. We study the Cauchy formulas for them. Using this, we deduce the K-theoretic version of the comodule structure map $\alpha^*: K(G/B)\to K(G)\otimes K(G/B)$…
Given Polish space ${\bf Y}$ and continuous language $L$ we study the corresponding logic $\mathsf{Iso}({\bf Y})$-space ${\bf Y}_L$. We build a framework of generalized model theory towards analysis of Borel/algorithmic complexity of…
We study the relationship between operator algebras, $C^*$ and von Neumann, acting on a Hilbert space and unitary representations of topological groups on the same space. We obtain certain correspondences between both these families of…
We determine the exact complexity of classifying compact metric spaces up to homeomorphism. More precisely, the homeomorphism relation on compact metric spaces is Borel bi-reducible with the complete orbit equivalence relation of Polish…
Let $A$ and $B$ be $C^*$-algebras with $A\subseteq M(B)$. Exploiting the duality between sober spaces and spatial locales, and the adjunction between restriction and induction for ideals in $A$ and $B$, we identify conditions that allow to…
We study an algebraic analog of a C*-algebra associated to a generalized Boolean dynamical system which parallels the relation between graph C*-algebras and Leavitt path algebras. We prove that such algebras are Cuntz-Pimsner algebras and…
We introduce and study locally AW*-algebras (Baer locally C*-algebras) as a locally multiplicatively-convex generalization of AW*-algebras of Kaplansky. Among other basic properties of these algebras, it is established that: {\bullet} A…
In this paper we prove, as conjectured by B.Banachewski and C.J.Mulvey, that the constructive Gelfand duality can be extended into a duality between compact regular locales and unital abelian localic C*-algebras. In order to do so we…
We investigate what would be a correct definition of categorical completeness for C*-categories and propose several variants of such a definition that make the category of Hilbert modules over a C*-algebra a free (co)completion. We extend…