9 citations · 18 across the 11 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2022
Presenting with Quantitative Inequational Theories
Todd Schmid
It came to the attention of myself and the coauthors of (S., Rozowski, Silva, Rot, 2022) that a number of process calculi can be obtained by algebraically presenting the branching…
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…