1,342 research outputs found
Logic and operator algebras
The most recent wave of applications of logic to operator algebras is a young
and rapidly developing field. This is a snapshot of the current state of the
art.Comment: A minor chang
On Kirchberg's Embedding Problem
Kirchberg's Embedding Problem (KEP) asks whether every separable C
algebra embeds into an ultrapower of the Cuntz algebra . In this
paper, we use model theory to show that this conjecture is equivalent to a
local approximate nuclearity condition that we call the existence of good
nuclear witnesses. In order to prove this result, we study general properties
of existentially closed C algebras. Along the way, we establish a
connection between existentially closed C algebras, the weak expectation
property of Lance, and the local lifting property of Kirchberg. The paper
concludes with a discussion of the model theory of . Several
results in this last section are proven using some technical results concerning
tubular embeddings, a notion first introduced by Jung for studying embeddings
of tracial von Neumann algebras into the ultrapower of the hyperfinite II
factor.Comment: 42 pages; final version to appear in the Journal of Functional
Analysi
Functional programming with bananas, lenses, envelopes and barbed wire
We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs. We shall show that all example functions in Bird and Wadler's Introduction to Functional Programming can be expressed using these operators
- β¦