activity
20172021
most citedOmitting Types and the Baire Category Theorem

3 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

math.LO2019

Concrete Barriers to Quantifier Elimination in Finite-Dimensional C*-algebras

Christopher J. Eagle, Todd Schmid

Work of Eagle, Farah, Goldbring, Kirchberg, and Vignati shows that the only separable C*-algebras that admit quantifier elimination in continuous logic are $\mathbb{C…