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

We study properties of C*-algebras obtained from the nonstandard hull construction (a generalization of the ultraproduct of C*-algebras). Among others, we prove that the properties of being an infinite and a properly infinite C*-algebra are…

We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various…

We introduce {\it covariant structures} $\left\{(\A,\k),(\a,\aa),\(\ha,\haa\)\right\}$ formed of a separable $C^*$-algebra $\A$, a measurable twisted action $(\a,\aa)$ of the second-countable locally compact group $\G$\,, a measurable…

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…

For $C^*$-algebras $A$ and $B$, we study the bi-continuity of the canonical embedding of $A^{**}\ot_{\gamma} B^{**}$ ($A^{**}\hat{\ot} B^{**}$) into $(A \ot_{\gamma} B)^{**}$ (resp. $(A \hat{\ot} B)^{**}$), and its isomorphism. Ideal…

We give an example of iteration of length omega of (<kappa)-complete kappa^+-cc forcing notions with the limit collapsing kappa^+. The construction is decoded from the proof of Shelah [Proper and Improper Forcing, Appendix, Theorem 3.6(1)].

We investigate, in ZFC, the behavior of abstract elementary classes (AECs) categorical in many successive small cardinals. We prove for example that a universal $\mathbb{L}_{\omega_1, \omega}$ sentence categorical on an end segment of…

We construct the first example of a $C^*$-algebra $A$ with the properties in the title. This gives a new example of non-nuclear $A$ for which there is a unique $C^*$-norm on $A \otimes A^{op}$. This example is of particular interest in…

A C*-algebra is determined to a great extent by the partial order of its commutative C*-algebras. We study order-theoretic properties of this dcpo. Many properties coincide: the dcpo is, equivalently, algebraic, continuous, meet-continuous,…

We study C*-algebras generated by left regular representations of right LCM one-relator monoids and Artin-Tits monoids of finite type. We obtain structural results concerning nuclearity, ideal structure and pure infiniteness. Moreover, we…

We show that group C*-algebras of finitely generated, nilpotent groups have finite nuclear dimension. It then follows, from a string of deep results, that the C*-algebra $A$ generated by an irreducible representation of such a group has…

Logical frameworks are successful in modeling proof systems. Recently, CoLF extended the logical framework LF to support higher-order rational terms that enable adequate encoding of circular objects and derivations. In this paper, we…

This paper is inspired by the paper of Leonetti, Russo and Somaglia [\textit{Dense lineability and spaceability in certain subsets of $\ell_\infty$.} Bull. London Math. Soc., 55: 2283--2303 (2023)] and the lineability problems raised…

We review Kajiwara and Watatani's construction of a C*-algebra from an iterated function system (IFS). If the IFS satisfies the finite branch condition or the open set condition, we build an injective homomorphism from Kajiwara-Watatani…

We prove that Kellendonk's $C^*$-algebra of an aperiodic and repetitive tiling with finite local complexity is classifiable by the Elliott invariant. Our result follows from showing that tiling $C^*$-algebras are $\mathcal{Z}$-stable, and…

We prove the uniqueness of high cofinality limit models in stable abstract elementary classes (AECs) with amalgamation, assuming the existence of a rather weak independence relation. $\textbf{Theorem.}$ Suppose $\mathbf{K}$ is a…

In 2014, we determine the precise form of a continuous orthogonal form on a commutative real C$^*$-algebra. We also describe the general form of a (not-necessarily continuous) orthogonality preserving linear map between commutative unital…

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…

We study the structure of an idempotent matrix $F$ over a commutative ring. We make explicit the fundamental system of orthogonal idempotents, hidden in this matrix, for each of which the matrix has a well-defined rank. Similarly we find a…

We show that if A is a separable, nuclear, O_infty-absorbing (or strongly purely infinite) C*-algebra, which is homotopic to zero in an ideal-system preserving way, then A is the inductive limit of C*-algebras of the form M_k(C_0(G,v)),…