3 citations · 3 across the 3 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2021
Model theoretic properties of dynamics on the Cantor set
Christopher J. Eagle, Alan Getz
We examine topological dynamical systems on the Cantor set from the point of view of the continuous model theory of commutative C*-algebras. After some general remarks we focus our…
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…
math.LO2017★ 3 cited
Omitting Types and the Baire Category Theorem
Christopher J. Eagle, Franklin D. Tall
The Omitting Types Theorem in model theory and the Baire Category Theorem in topology are known to be closely linked. We examine the precise relation between these two theorems. Wo…