Related papers: *-Continuous Kleene $\omega$-Algebras

Five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or Noetherity, L\"ob's formula, absence of infinite iteration, absence of divergence and normalisation. The study is based on modal semirings,…

We show how concurrent quantales and concurrent Kleene algebras arise as convolution algebras $Q^X$ of functions from structures $X$ with two ternary relations that satisfy relational interchange laws into concurrent quantales or Kleene…

We consider C*-algebras associated with stable and unstable equivalence in hyperbolic dynamical systems known as Smale spaces. These systems include shifts of finite type, in which case these C*-algebras are both AF-algebras. These algebras…

In this paper we present a detailed proof of an important result of algebraic logic: namely that the free commutative Kleene algebra is the space of semilinear sets. The first proof of this result was proposed by Redko in 1964, and…

We demonstrate that pure C*-algebras form a robust class by proving that pureness follows from very weak comparison and divisibility properties. Using this, we show that every simple, non-elementary C*-algebra with a unique quasitrace and…

We present a $C^*$-algebra which is naturally associated to the $ax+b$-semigroup over $\mathbb N$. It is simple and purely infinite and can be obtained from the algebra considered by Bost and Connes by adding one unitary generator which…

We consider three notions of divisibility in the Cuntz semigroup of a C*-algebra, and show how they reflect properties of the C*-algebra. We develop methods to construct (simple and non-simple) C*-algebras with specific divisibility…

Let $\gamma = (\gamma_1,...,\gamma_N)$, $N \geq 2$, be a system of proper contractions on a complete metric space. Then there exists a unique self-similar non-empty compact subset $K$. We consider the union ${\mathcal G} = \cup_{i=1}^N…

We prove a number of results having to do with equipping type-I $\mathrm{C}^*$-algebras with compact quantum group structures, the two main ones being that such a compact quantum group is necessarily co-amenable, and that if the…

Certain $*$-semigroups are associated with the universal $C^*$-algebra generated by a partial isometry, which is itself the universal $C^*$-algebra of a $*$-semigroup. A fundamental role for a $*$-structure on a semigroup is emphasized, and…

We investigate ideal-semisimple and congruence-semisimple semirings. We give several new characterizations of such semirings using e-projective and e-injective semimodules. We extend several characterizations of semisimple rings to (not…

We review the recent construction of semifinite spectral triples for graph C^*-algebras. These examples have inspired many other developments and we review some of these such as the relation between the semifinite index and the Kasparov…

Let B be a sigma-unital C*-algebra. We show that every strongly continuous E_0-semigroup on the algebra of adjointable operators on a full Hilbert B-module E gives rise to a full continuous product system of correspondences over B. We show…

We give a new definition of the semigroup C*-algebra of a left cancellative semigroup, which resolves problems of the construction by X. Li. Namely, the new construction is functorial, and the independence of ideals in the semigroup does…

In this paper, we investigate *-homomorphisms between C*-algebras associated to \'etale groupoids. First, we prove that such a *-homomorphism can be described by closed invariant subsets, groupoid homomorphisms and cocycles under some…

We provide a framework for studying concrete C*-algebras associated with algebraic actions of semigroups: Given such an action, we construct an inverse semigroup, and we introduce conditions for algebraic actions that characterize…

We define the local multiplier module of a Hilbert module in analogy to the local multiplier algebra for $C^*$-algebras. We use properties of the local multiplier module to lift non-closed actions on $C^*$-algebras by Hilbert bimodules to…

For a number of properties of C*-algebras, including real rank zero, stable rank one, pure infiniteness, residual hereditary infiniteness, the combination of pure infiniteness and the ideal property, the property of being an AT algebra with…

We study observables on monotone $\sigma$-complete effect algebras. We find conditions when a spectral resolution implies existence of the corresponding observable. The set of sharp elements of a monotone $\sigma$-complete homogeneous…

The well-behaved representations of the coordinate algebra of a 2-dimensional quantum complex plane are classified and a C*-algebra is defined which can be viewed as the algebra of continuous functions on the 2-dimensional quantum complex…