29 citations · 91 across the 10 of their papers we have counts for
10 papers · 1 filter
An undecidable extension of Morley's theorem on the number of countable models
Christopher J. Eagle, Clovis Hamel, Sandra Müller +1
We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More general…
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…
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…
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…
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 for metric structures. We give an example showing that one of these infini…
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…