Related papers: Iterating the cofinality-$\omega$ constructible mo…

The countable condensation on a linear order $L$ is the equivalence relation $\sim_\omega$ defined by declaring $x \sim_\omega y$ when the set of points between $x$ and $y$ is countable. We characterize the linear orders $L$ that condense…

A C*-algebra $A$ is said to be stable if it is isomorphic to $A \otimes K(\ell_2)$. Hjelmborg and R\o rdam have shown that countable inductive limits of separable stable C*-algebras are stable. We show that this is no longer true in the…

We classify all essential extensions of the form $$0 \rightarrow \W \rightarrow \D \rightarrow A \rightarrow 0$$ where $\W$ is the unique separable simple C*-algebra with a unique tracial state, with finite nuclear dimension and with…

We explore various limit constructions for C*-algebras, such as composition series and inverse limits, in relation to the notions of real rank, stable rank, and extremal richness. We also consider extensions and pullbacks. We identify some…

We construct in this note a unital properly infinite C*-algebra which is not K$_1$-injective.

We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a…

We investigate when the categories of all rational $A$-modules and of finite dimensional rational modules are closed under extensions inside the category of $C^*$-modules, where $C^*$ is the cofinite topological completion of $A$. We give a…

We show that for a Suslin ccc forcing notion $\mathbb Q$ adding a Hechler real, ``$\text{ZF}+\text{DC}_{\omega_1}+$all sets of reals are $I_{\mathbb Q,\aleph_0}$-measurable'' implies the existence of an inner model with a measurable…

While maximal independent families can be constructed from ZFC via Zorn's lemma, the presence of a maximal $\sigma$-independent family already gives an inner model with a measurable cardinal, and Kunen has shown that from a measurable…

We study semiprojective, subhomogeneous C*-algebras and give a detailed description of their structure. In particular, we find two characterizations of semiprojectivity for subhomogeneous C*-algebras: one in terms of their primitive ideal…

If T has only countably many complete types, yet has a type of infinite multiplicity then there is a ccc forcing notion Q such that, in any Q --generic extension of the universe, there are non-isomorphic models M_1 and M_2 of T that can be…

Motivated by deformation quantization, we introduced in an earlier work the notion of formal Morita equivalence in the category of $^*$-algebras over a ring $\ring C$ which is the quadratic extension by $\im$ of an ordered ring $\ring R$.…

We obtained a "decomposition scheme" of C*-algebras. We show that the classes of discrete C*-algebras (as defined by Peligard and Zsido), type II C*-algebras and type III C*-algebras (both defined by Cuntz and Pedersen) form a good…

Let $R$ be a rational function of degree at least two, let $J_R$ be the Julia set of $R$ and let $\mu^L$ be the Lyubich measure of $R$. We study the C$^*$-algebra $\mathcal{MC}_R$ generated by all multiplication operators by continuous…

We prove that any countable support iteration formed with posets with $\omega_2$-p.i.c.\ has $\omega_2$-c.c., assuming CH in the ground model and assuming also that $\omega_1$ is not collapsed. This improves earlier results of Shelah by…

Let $(G, \Lambda)$ be a self-similar $k$-graph with a possibly infinite vertex set $\Lambda^0$. We associate a universal C*-algebra $\mathcal{O}_{G,\Lambda}$ to $(G,\Lambda)$. The main purpose of this paper is to investigate the ideal…

We initiate the study of compact group actions on C*-algebras from the perspective of model theory, and present several applications to C*-dynamics. Firstly, we prove that the continuous part of the central sequence algebra of a strongly…

From many supercompact cardinals, we show that it is consistent for the tree property to hold at many small successors of singular cardinals, each with a different cofinality. In particular, we construct a model in which the tree property…

We discuss some highlights of our computer-verified proof of the construction, given a countable transitive set-model $M$ of $\mathit{ZFC}$, of generic extensions satisfying $\mathit{ZFC}+\neg\mathit{CH}$ and $\mathit{ZFC}+\mathit{CH}$.…

We consider two saturated Fell bundles over a countable discrete group, whose unit fibers are $\sigma$-unital $C^*$-algebras. Then by taking the reduced cross-sectional $C^*$-algebras, we get two inclusions of $C^*$-algebras. We suppose…