| Publication | Date of Publication | Type |
|---|
Approximate traces on groups and the quantum complexity class \(\mathrm{MIP}^{co,s}\)
Revista Colombiana de Matemáticas | 2025-10-08 | Paper |
The universal theory of the hyperfinite \(\mathrm{II}_1\) factor is not computable
The Bulletin of Symbolic Logic | 2024-11-12 | Paper |
Locally universal C*-algebras with computable presentations
Journal of Functional Analysis | 2024-11-06 | Paper |
An introduction to continuous model theory
Model Theory of Operator Algebras | 2023-10-27 | Paper |
A survey on the model theory of tracial von Neumann algebras
Model Theory of Operator Algebras | 2023-10-27 | Paper |
On Tsirelson pairs of C*-algebras
Reviews in Mathematical Physics | 2023-09-27 | Paper |
The almost sure theory of finite metric spaces
Bulletin of the London Mathematical Society | 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 \(C^*\)-algebras
Memoirs of the American Mathematical Society | 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
Confluentes Mathematici | 2021-04-28 | Paper |
Operator algebras with hyperarithmetic theory
Journal Of Logic And Computation | 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
Journal of the Institute of Mathematics of Jussieu | 2020-05-21 | Paper |
On the theories of McDuff's II\(_1\) factors
IMRN. International Mathematics Research Notices | 2019-01-22 | Paper |
Explicit sentences distinguishing McDuff's \(\mathrm{II}_1\) factors
Israel Journal of Mathematics | 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
The Bulletin of Symbolic Logic | 2017-05-26 | Paper |
Relative commutants of strongly self-absorbing \(\mathrm{C}^\ast\)-algebras
Selecta Mathematica. New Series | 2017-02-07 | Paper |
Fraïssé limits of \(C^*\)-algebras
Journal of Symbolic Logic | 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
Fundamenta Mathematicae | 2016-04-28 | Paper |
Book review of: K. Tent and M. Ziegler, A course in model theory
The Bulletin of Symbolic Logic | 2016-03-21 | Paper |
Model theory of operator algebras. II: Model theory
Israel Journal of Mathematics | 2014-10-24 | Paper |
Countable saturation of corona algebras
(available as arXiv preprint) | 2014-06-24 | Paper |
Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
Bulletin of the London Mathematical Society | 2014-06-06 | Paper |
Quasiminimal structures and excellence
Bulletin of the London Mathematical Society | 2014-03-14 | Paper |
Quasiminimal structures and excellence
Bulletin of the London Mathematical Society | 2014-03-14 | Paper |
Omitting types and AF algebras
Archive for Mathematical Logic | 2014-02-25 | Paper |
The theory of tracial von Neumann algebras does not have a model companion
The Journal of Symbolic Logic | 2014-01-07 | Paper |
The theory of tracial von Neumann algebras does not have a model companion
The Journal of Symbolic Logic | 2014-01-07 | Paper |
| A computability-theoretic reformulation of the Connes Embedding Problem | 2013-08-12 | Paper |
Model theory of operator algebras. I: Stability
Bulletin of the London Mathematical Society | 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
Journal of Symbolic Logic | 2006-01-16 | Paper |
Unique decomposition in classifiable theories
Journal of Symbolic Logic | 2003-07-05 | Paper |
AFFINE COVERS OF LIE GEOMETRIES AND THE AMALGAMATION PROPERTY
Proceedings of the London Mathematical Society | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1531892 (Why is no real title available?) | 2001-07-26 | Paper |
The uncountable spectra of countable theories
Annals of Mathematics. Second Series | 2001-02-25 | Paper |
The uncountable spectra of countable theories
Annals of Mathematics. Second Series | 2001-02-25 | Paper |
The uncountable spectra of countable theories
Annals of Mathematics. Second Series | 2001-02-25 | Paper |
Coordinatisation and canonical bases in simple theories
Journal of Symbolic Logic | 2000-10-08 | Paper |
A Note on <i>a</i>-Prime Models
Journal of Symbolic Logic | 2000-06-07 | Paper |
An unclassifiable unidimensional theory without OTOP
Notre Dame Journal of Formal Logic | 1998-06-28 | Paper |
| scientific article; zbMATH DE number 1064600 (Why is no real title available?) | 1997-12-11 | Paper |
\(1\)-based theories -- the main gap for \(a\)-models
Archive for Mathematical Logic | 1996-11-04 | Paper |
Superstable quasi-varieties
Annals of Pure and Applied Logic | 1995-05-16 | Paper |
Vaught's Conjecture for Varieties
Transactions of the American Mathematical Society | 1995-01-03 | Paper |
Addendum to “A structure theorem for strongly abelian varieties”
Journal of Symbolic Logic | 1994-08-28 | Paper |
Models with second order properties. V: A general principle
Annals of Pure and Applied Logic | 1994-06-05 | Paper |
Triviality, NDOP and stable varieties
Annals of Pure and Applied Logic | 1993-11-28 | Paper |
A Structure Theorem for Strongly Abelian Varieties with Few Models
Journal of Symbolic Logic | 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}\)
Israel Journal of Mathematics | 1990-01-01 | Paper |
A proof of morley's conjecture
Journal of Symbolic Logic | 1989-01-01 | Paper |
The classification of excellent classes
Journal of Symbolic Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4053583 (Why is no real title available?) | 1987-01-01 | Paper |
Non-locally modular regular types in classifiable theories
(available as arXiv preprint) | N/A | Paper |
