1. Effect algebras and unsharp quantum logics;Bennett;Found. Phys.,1994
2. Model theory for metric structures;Ben Yaacov,2008
3. Inductive limits of finite dimensional C∗-algebras;Bratteli;Trans. Amer. Math. Soc.,1972
4. Structure spaces of approximately finite-dimensional C∗-algebras;Bratteli;J. Funct. Anal.,1974
5. Continuous Model Theory;Chang,1966