-
5Compact Structures in Descriptive Classification TheoryBulletin of Symbolic Logic 24 (4): 458-459. 2018.
-
11Compact Metrizable Structures and Classification ProblemsJournal of Symbolic Logic 83 (1): 165-186. 2018.We introduce and study the framework of compact metric structures and their associated notions of isomorphisms such as homeomorphic and bi-Lipschitz isomorphism. This is subsequently applied to model various classification problems in analysis such as isomorphism ofC*-algebras and affine homeomorphism of Choquet simplices, where among other things we provide a simple proof of the completeness of the isomorphism relation of separable, simple, nuclearC*-algebras recently established by M. Sabok.
-
7An automorphism group of an ω-stable structure that is not locallyMathematical Logic Quarterly 62 (6): 547-551. 2016.
De Pere, Wisconsin, United States of America