29 citations · 141 across the 33 of their papers we have counts for
Showing 2015 · math.LOShow all
2 papers · 2 filters
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 , for 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 , Cantor space and . We also prove that the the…