Showing 1–2 of 2 results for author: Keimel, K

The Cuntz semigroup and domain theory

Authors: Klaus Keimel

Abstract: Domain theory has its origins in Mathematics and Theoretical Computer Science. Mathematically it combines order and topology. Its central concepts have their origin in the idea of approximating ideal objects by their relatively finite or, more generally, relatively compact parts. The development of domain theory in recent years was mainly motivated by question in denotational semantics and the t… ▽ More Domain theory has its origins in Mathematics and Theoretical Computer Science. Mathematically it combines order and topology. Its central concepts have their origin in the idea of approximating ideal objects by their relatively finite or, more generally, relatively compact parts. The development of domain theory in recent years was mainly motivated by question in denotational semantics and the theory of computation. But since 2008, domain theoretical notions and methods are used in the theory of C*-algebras in connection with the Cuntz semigroup. This paper is largely expository. It presents those notions of domain theory that seem to be relevant for the theory of Cuntz semigroups and have sometimes been developed independently in both communities. It also contains a new aspect in presenting results of Elliott, Ivanescu and Santiago on the cone of traces of a C*-algebra as a particular case of the dual of a Cuntz semigroup. △ Less

Submitted 24 May, 2016; originally announced May 2016.

Sheaf Representations for Algebraic Systems. A personal historical account

Authors: Klaus Keimel

Abstract: From personal experience, I report about the development of sheaf representations for algebraic structures between the years 1966 and 1976. Starting with rings, lattice-ordered groups and rings it turns to general algebraic structures. From personal experience, I report about the development of sheaf representations for algebraic structures between the years 1966 and 1976. Starting with rings, lattice-ordered groups and rings it turns to general algebraic structures. △ Less

Submitted 28 August, 2013; originally announced August 2013.

Comments: 10 pages