Christopher J. Eagle

activity

20132021

most citedSaturation and elementary equivalence of C*-algebras

29 citations · 91 across the 10 of their papers we have counts for

collaborators

Showing 2015 · math.LOShow all

3 papers · 2 filters

math.LO2015

Expressive power of infinitary [0, 1]-valued logics

Christopher J. Eagle

We consider model-theoretic properties related to the expressive power of three analogues of $L_{ω_{1}, ω}$ for metric structures. We give an example showing that one of these infini…

math.LO2015★ 19 cited

The pseudoarc is a co-existentially closed continuum

Christopher J. Eagle, Isaac Goldbring, Alessandro Vignati

Answering a question of P. Bankston, we show that the pseudoarc is a co-existentially closed continuum. We also show that $C (X)$ , for $X$ a nondegenerate continuum, can never have…

math.LO2015★ 9 cited

Quantifier elimination in C*-algebras

Christopher J. Eagle, Ilijas Farah, Eberhard Kirchberg +1

The only C*-algebras that admit elimination of quantifiers in continuous logic are $C, C^{2}$ , $C ($ Cantor space $)$ and $M_{2} (C)$ . We also prove that the the…