| Publication | Date of Publication | Type |
|---|
| The universal theory of the hyperfinite \(\mathrm{II}_1\) factor is not computable | 2024-11-12 | Paper |
| Locally universal C*-algebras with computable presentations | 2024-11-06 | Paper |
| An introduction to continuous model theory | 2023-10-27 | Paper |
| A survey on the model theory of tracial von Neumann algebras | 2023-10-27 | Paper |
| On Tsirelson pairs of C*-algebras | 2023-09-27 | Paper |
| The almost sure theory of finite metric spaces | 2023-08-17 | Paper |
| Locally universal C*-algebras with computable presentations | 2023-03-03 | Paper |
| Approximate traces on groups and the quantum complexity class $\operatorname{MIP}^{co,s}$ | 2022-09-16 | Paper |
| The undecidability of having the QWEP | 2022-05-14 | Paper |
| Model theory of đ¶*-algebras | 2021-09-29 | Paper |
| A quantum complexity approach to the Kirchberg Embedding Problem | 2021-07-27 | Paper |
| Properties expressible in small fragments of the theory of the hyperfinite \(\mathrm{II}_1\) factor | 2021-04-28 | Paper |
| Operator algebras with hyperarithmetic theory | 2021-04-09 | Paper |
| The Universal Theory Of The Hyperfinite II$_1$ Factor Is Not Computable | 2020-06-09 | Paper |
| UNIVERSAL COVERS OF COMMUTATIVE FINITE MORLEY RANK GROUPS | 2020-05-21 | Paper |
| On the Theories of McDuffâs II$_1$ Factors | 2019-01-22 | Paper |
| Explicit sentences distinguishing McDuff's \(\mathrm{II}_1\) factors | 2018-11-13 | Paper |
| Correspondences, Ultraproducts and Model Theory | 2018-08-31 | Paper |
| The Urysohn sphere is pseudofinite | 2017-08-17 | Paper |
| COMPUTABILITY AND THE CONNES EMBEDDING PROBLEM | 2017-05-26 | Paper |
| Relative commutants of strongly self-absorbing \(\mathrm{C}^\ast\)-algebras | 2017-02-07 | Paper |
| FRAĂSSĂ LIMITS OF C*-ALGEBRAS | 2016-08-19 | Paper |
| Metric logical categories and conceptual completeness for first order continuous logic | 2016-07-11 | Paper |
| Existentially closed \(\mathrm{ II}_1\) factors | 2016-04-28 | Paper |
| Book review of: K. Tent and M. Ziegler, A course in model theory | 2016-03-21 | Paper |
| Model theory of operator algebras. II: Model theory | 2014-10-24 | Paper |
| Countable saturation of corona algebras | 2014-06-24 | Paper |
| Model theory of operator algebras III: elementary equivalence and II1factors | 2014-06-06 | Paper |
| Quasiminimal structures and excellence | 2014-03-14 | Paper |
| Omitting types and AF algebras | 2014-02-25 | Paper |
| The theory of tracial von Neumann algebras does not have a model companion | 2014-01-07 | Paper |
| A computability-theoretic reformulation of the Connes Embedding Problem | 2013-08-12 | Paper |
| Model theory of operator algebras I: stability | 2013-07-31 | Paper |
| Amalgamating R^\omega-embeddable von Neumann algebras | 2013-01-28 | Paper |
| On the type-definability of the binding group in simple theories | 2006-01-16 | Paper |
| Unique decomposition in classifiable theories | 2003-07-05 | Paper |
| AFFINE COVERS OF LIE GEOMETRIES AND THE AMALGAMATION PROPERTY | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513934 | 2001-07-26 | Paper |
| The uncountable spectra of countable theories | 2001-02-25 | Paper |
| Coordinatisation and canonical bases in simple theories | 2000-10-08 | Paper |
| A Note on a-Prime Models | 2000-06-07 | Paper |
| An unclassifiable unidimensional theory without OTOP | 1998-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4355931 | 1997-12-11 | Paper |
| \(1\)-based theories -- the main gap for \(a\)-models | 1996-11-04 | Paper |
| Superstable quasi-varieties | 1995-05-16 | Paper |
| Vaught's Conjecture for Varieties | 1995-01-03 | Paper |
| Addendum to âA structure theorem for strongly abelian varietiesâ | 1994-08-28 | Paper |
| Models with second order properties. V: A general principle | 1994-06-05 | Paper |
| Triviality, NDOP and stable varieties | 1993-11-28 | Paper |
| A Structure Theorem for Strongly Abelian Varieties with Few Models | 1992-06-27 | Paper |
| Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\) | 1990-01-01 | Paper |
| A proof of morley's conjecture | 1989-01-01 | Paper |
| The classification of excellent classes | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789535 | 1987-01-01 | Paper |
| Non-locally modular regular types in classifiable theories | N/A | Paper |
