Omitting types and AF algebras

Kevin Carlson; Enoch Cheung; Ilijas Farah; Alexander Gerhardt-Bourke; Bradd Hart; Leanne Mezuman; Nigel Sequeira; Alexander Sherman

doi:10.1007/s00153-013-0360-9

Omitting types and AF algebras

Kevin Carlson
, Enoch Cheung
, Ilijas Farah
, Alexander Gerhardt-Bourke
, Bradd Hart
, Leanne Mezuman
, Nigel Sequeira
, Alexander Sherman

Research output: Contribution to journal › Article › peer-review

21 Scopus citations

Abstract

We prove that the classes of UHF algebras and AF algebras, while not axiomatizable, can be characterized as those C*-algebras that omit certain types in the logic of metric structures.

Original language	English
Pages (from-to)	157-169
Number of pages	13
Journal	Archive for Mathematical Logic
Volume	53
Issue number	1-2
DOIs	https://doi.org/10.1007/s00153-013-0360-9
State	Published - 1 Feb 2014
Externally published	Yes

Keywords

AF algebras
Omitting types
UHF algebras

ASJC Scopus subject areas

Philosophy
Logic

Access to Document

10.1007/s00153-013-0360-9

Cite this

@article{a733c2583c804f67b1f82cc9d7e003f6,

title = "Omitting types and AF algebras",

abstract = "We prove that the classes of UHF algebras and AF algebras, while not axiomatizable, can be characterized as those C*-algebras that omit certain types in the logic of metric structures.",

keywords = "AF algebras, Omitting types, UHF algebras",

author = "Kevin Carlson and Enoch Cheung and Ilijas Farah and Alexander Gerhardt-Bourke and Bradd Hart and Leanne Mezuman and Nigel Sequeira and Alexander Sherman",

year = "2014",

month = feb,

day = "1",

doi = "10.1007/s00153-013-0360-9",

language = "English",

volume = "53",

pages = "157--169",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "1-2",

}

TY - JOUR

T1 - Omitting types and AF algebras

AU - Carlson, Kevin

AU - Cheung, Enoch

AU - Farah, Ilijas

AU - Gerhardt-Bourke, Alexander

AU - Hart, Bradd

AU - Mezuman, Leanne

AU - Sequeira, Nigel

AU - Sherman, Alexander

PY - 2014/2/1

Y1 - 2014/2/1

N2 - We prove that the classes of UHF algebras and AF algebras, while not axiomatizable, can be characterized as those C*-algebras that omit certain types in the logic of metric structures.

AB - We prove that the classes of UHF algebras and AF algebras, while not axiomatizable, can be characterized as those C*-algebras that omit certain types in the logic of metric structures.

KW - AF algebras

KW - Omitting types

KW - UHF algebras

UR - https://www.scopus.com/pages/publications/84892557922

U2 - 10.1007/s00153-013-0360-9

DO - 10.1007/s00153-013-0360-9

M3 - Article

AN - SCOPUS:84892557922

SN - 0933-5846

VL - 53

SP - 157

EP - 169

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 1-2

ER -

Omitting types and AF algebras

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this