Victoria University

output

19992026

most citedCP2K: An Electronic Structure and Molecular Dynamics Software Package -- Quickstep: Efficient and Accurate Electronic Structure Calculations

4.5k citations

Showing 2015 · math.LOShow all

2 papers · 2 filters

math.LO2015

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 $L_{ω_{1}, ω}$ for metric structures. We give an example showing that one of these infini…

math.LO2015★ 9 cited

Quantifier elimination in C*-algebras

Christopher J. Eagle, Ilijas Farah, Eberhard Kirchberg +1

The only C*-algebras that admit elimination of quantifiers in continuous logic are $C, C^{2}$ , $C ($ Cantor space $)$ and $M_{2} (C)$ . We also prove that the the…