2 papers
cs.LO2021
How to write a coequation
Fredrik Dahlqvist, Todd Schmid
There is a large amount of literature on the topic of covarieties, coequations and coequational specifications, dating back to the early seventies. Nevertheless, coequations have n…
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…