| Publication | Date of Publication | Type |
|---|
Computable Gelfand Duality
(available as arXiv preprint) | N/A | Paper |
Back-and-forth equivalent group von Neumann algebras
(available as arXiv preprint) | N/A | Paper |
Computable \(K\)-theory for \(\text{C}^*\)-algebras: UHF algebras
Transactions of the American Mathematical Society | 2026-08-19 | Paper |
Everettian mechanics with hyperfinitely many worlds
Erkenntnis | 2026-04-13 | Paper |
General real-valued theories with the Schröder-Bernstein property are stable
Annals of Pure and Applied Logic | 2026-03-12 | Paper |
Undecidability and incompleteness in quantum information theory and operator algebras
Monatshefte für Mathematik | 2026-01-02 | Paper |
Non-computability of K-theory for computably presented C*-algebras
(available as arXiv preprint) | 2026-01-01 | Paper |
Computable K-theory for C*-algebras II: AF algebras
(available as arXiv preprint) | 2026-01-01 | Paper |
Model theory and Connes' bicentralizer problem
(available as arXiv preprint) | 2026-01-01 | Paper |
Ultrapowers of spectral subspaces
(available as arXiv preprint) | 2026-01-01 | Paper |
Computable presentations of reduced group C*-algebras of hyperbolic groups
(available as arXiv preprint) | 2026-01-01 | Paper |
Computable presentations of reduced group C*-algebras of groups with the rapid decay property
(available as arXiv preprint) | 2026-01-01 | Paper |
Computably strongly self-absorbing \(\mathrm{C}^*\)-algebras
Theoretical Computer Science | 2025-12-15 | Paper |
On the first-order free group factor elementary equivalence
Journal of Operator Theory | 2025-10-09 | Paper |
Approximate traces on groups and the quantum complexity class \(\mathrm{MIP}^{co,s}\)
Revista Colombiana de Matemáticas | 2025-10-08 | Paper |
Uniformly super McDuff \(\mathrm{II}_1\) factors
Mathematische Annalen | 2025-01-23 | Paper |
Computable $K$-theory for $\mathrm{C}^*$-algebras: UHF algebras
(available as arXiv preprint) | 2025-01-01 | Paper |
Totally Bounded Elements in W*-probability Spaces
(available as arXiv preprint) | 2025-01-01 | Paper |
The Schröder-Bernstein property for operators on Hilbert spaces
(available as arXiv preprint) | 2025-01-01 | Paper |
Computable presentations of randomizations
(available as arXiv preprint) | 2025-01-01 | Paper |
Existentially closed measure-preserving actions of approximately treeable groups
(available as arXiv preprint) | 2025-01-01 | Paper |
Model theory of Hilbert spaces expanded by normal operators
(available as arXiv preprint) | 2025-01-01 | Paper |
On definability of C*-tensor norms
(available as arXiv preprint) | 2025-01-01 | Paper |
A nonstandard approach to the direct integral version of the Spectral Theorem
(available as arXiv preprint) | 2025-01-01 | 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 |
Spectral gap and definability
Beyond First Order Model Theory, Volume II | 2024-01-12 | Paper |
Undecidability and incompleteness in quantum information theory and operator algebras
(available as arXiv preprint) | 2024-01-01 | Paper |
Effective subfactor theory
(available as arXiv preprint) | 2024-01-01 | Paper |
Computably strongly self-absorbing C*-algebras
(available as arXiv preprint) | 2024-01-01 | Paper |
| A non-uniformly inner amenable group | 2023-11-26 | Paper |
Subsets of virtually nilpotent groups with the SBM property
Journal of Algebraic Combinatorics | 2023-10-31 | Paper |
A survey on the model theory of tracial von Neumann algebras
Model Theory of Operator Algebras | 2023-10-27 | Paper |
Model theory and ultrapower embedding problems in operator algebras
Model Theory of Operator Algebras | 2023-10-27 | Paper |
On Tsirelson pairs of C*-algebras
Reviews in Mathematical Physics | 2023-09-27 | Paper |
Generic algebraic properties in spaces of enumerated groups
Transactions of the American Mathematical Society | 2023-08-28 | Paper |
The almost sure theory of finite metric spaces
Bulletin of the London Mathematical Society | 2023-08-17 | Paper |
Unitary representations of locally compact groups as metric structures
Notre Dame Journal of Formal Logic | 2023-07-28 | Paper |
Non-embeddable \(\mathrm{II}_1\) factors resembling the hyperfinite \(\mathrm{II}_1\) factor
Journal of Noncommutative Geometry | 2023-05-23 | Paper |
| On the First-Order Free Group Factor Alternative | 2023-05-14 | Paper |
| A Nonstandard Formulation of Bohmian Mechanics | 2023-03-13 | Paper |
| Uniformly Super McDuff II₁ Factors | 2023-03-05 | Paper |
| Locally universal C*-algebras with computable presentations | 2023-03-03 | Paper |
A Nonstandard Formulation of Bohmian Mechanics
(available as arXiv preprint) | 2023-01-01 | Paper |
Book review of: T. Tao, Hilbert's fifth problem and related topics
Notre Dame Journal of Formal Logic | 2022-12-19 | Paper |
The Connes embedding problem: a guided tour
Bulletin of the American Mathematical Society | 2022-09-21 | Paper |
| Approximate traces on groups and the quantum complexity class $\operatorname{MIP}^{co,s}$ | 2022-09-16 | Paper |
Existentially closed \(\mathrm{W}^*\)-probability spaces
Mathematische Zeitschrift | 2022-07-11 | Paper |
CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS
Journal of Symbolic Logic | 2022-06-15 | Paper |
| The undecidability of having the QWEP | 2022-05-14 | Paper |
Ultrafilters Throughout Mathematics
Graduate Studies in Mathematics | 2022-05-03 | Paper |
Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors
Advances in Mathematics | 2022-01-28 | Paper |
A nonstandard proof of the spectral theorem for unbounded self-adjoint operators
Expositiones Mathematicae | 2021-11-23 | Paper |
Oracle computability of conditional expectations onto subfactors
The New York Journal of Mathematics | 2021-08-16 | Paper |
Oracle computability of conditional expectations onto subfactors
The New York Journal of Mathematics | 2021-08-16 | Paper |
| A quantum complexity approach to the Kirchberg Embedding Problem | 2021-07-27 | Paper |
| Everettian mechanics with hyperfinitely many worlds | 2021-06-08 | 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 |
A nonstandard proof of the spectral theorem for unbounded self-adjoint operators
(available as arXiv preprint) | 2021-04-05 | Paper |
Enforceable operator algebras
Journal of the Institute of Mathematics of Jussieu | 2021-01-27 | Paper |
Everettian mechanics with hyperfinitely many worlds
(available as arXiv preprint) | 2021-01-01 | Paper |
WITHDRAWN: A quantum complexity approach to the Kirchberg Embedding Problem
(available as arXiv preprint) | 2021-01-01 | Paper |
On Popa's factorial commutant embedding problem
Proceedings of the American Mathematical Society | 2020-09-03 | Paper |
Scattered sentences have few separable randomizations
Archive for Mathematical Logic | 2020-07-17 | Paper |
On supra-SIM sets of natural numbers
Combinatorial and Additive Number Theory III | 2020-07-03 | Paper |
| The Universal Theory Of The Hyperfinite II₁ Factor Is Not Computable | 2020-06-09 | Paper |
Oracle computability of conditional expectations onto subfactors
(available as arXiv preprint) | 2020-02-06 | Paper |
Boundary amenability of groups via ultrapowers
(available as arXiv preprint) | 2019-12-18 | Paper |
The Mathematics of Quantum-Enabled Applications on the D-Wave Quantum Computer
Notices of the American Mathematical Society | 2019-10-28 | Paper |
ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS
Glasgow Mathematical Journal | 2019-08-13 | Paper |
Independence in randomizations
Journal of Mathematical Logic | 2019-07-08 | Paper |
Continuous Sentences Preserved Under Reduced Products
(available as arXiv preprint) | 2019-05-25 | Paper |
Nonstandard methods in Ramsey theory and combinatorial number theory
Lecture Notes in Mathematics | 2019-05-20 | Paper |
Nonstandard methods in Ramsey theory and combinatorial number theory
Lecture Notes in Mathematics | 2019-05-20 | Paper |
On the theories of McDuff's II\(_1\) factors
IMRN. International Mathematics Research Notices | 2019-01-22 | Paper |
Definable sets containing productsets in expansions of groups
Journal of Group Theory | 2019-01-09 | Paper |
| On the nonexistence of F{\o}lner sets | 2019-01-08 | Paper |
On the nonexistence of Følner sets
(available as arXiv preprint) | 2019-01-01 | Paper |
Hindman's theorem and idempotent types
Semigroup Forum | 2018-12-21 | Paper |
| A nonstandard take on central sets | 2018-12-20 | Paper |
Explicit sentences distinguishing McDuff's \(\mathrm{II}_1\) factors
Israel Journal of Mathematics | 2018-11-13 | Paper |
Model-theoretic aspects of the Gurarij operator system
Israel Journal of Mathematics | 2018-09-05 | Paper |
Model-theoretic aspects of the Gurarij operator system
Israel Journal of Mathematics | 2018-09-05 | Paper |
| Correspondences, Ultraproducts and Model Theory | 2018-08-31 | Paper |
Correspondences, Ultraproducts and Model Theory
(available as arXiv preprint) | 2018-01-01 | Paper |
A nonstandard take on central sets
(available as arXiv preprint) | 2018-01-01 | Paper |
| The Urysohn sphere is pseudofinite | 2017-08-17 | Paper |
Omitting types in operator systems
Indiana University Mathematics Journal | 2017-08-03 | Paper |
Omitting types in operator systems
Indiana University Mathematics Journal | 2017-08-03 | Paper |
Further thoughts on definability in the Urysohn sphere
Proceedings of the 12th Asian Logic Conference | 2017-05-31 | Paper |
Computability and the Connes embedding problem
The Bulletin of Symbolic Logic | 2017-05-26 | Paper |
High density piecewise syndeticity of product sets in amenable groups
Journal of Symbolic Logic | 2017-04-28 | Paper |
High density piecewise syndeticity of product sets in amenable groups
Journal of Symbolic Logic | 2017-04-28 | Paper |
Robinson forcing and the quasidiagonality problem
International Journal of Mathematics | 2017-04-06 | Paper |
| Algebraic Independence Relations in Randomizations | 2017-03-31 | Paper |
Algebraic Independence Relations in Randomizations
(available as arXiv preprint) | 2017-01-01 | Paper |
WITHDRAWN: The Urysohn sphere is pseudofinite
(available as arXiv preprint) | 2017-01-01 | Paper |
Approximate polynomial structure in additively large sets
Integers | 2016-10-28 | Paper |
Approximate polynomial structure in additively large sets
Integers | 2016-10-28 | Paper |
A monad measure space for logarithmic density
Monatshefte für Mathematik | 2016-10-26 | Paper |
A monad measure space for logarithmic density
Monatshefte für Mathematik | 2016-10-26 | Paper |
Model theory and the QWEP conjecture
Illinois Journal of Mathematics | 2016-10-19 | Paper |
Model theory and the QWEP conjecture
Illinois Journal of Mathematics | 2016-10-19 | Paper |
The pseudoarc is a co-existentially closed continuum
Topology and its Applications | 2016-05-18 | Paper |
Existentially closed \(\mathrm{ II}_1\) factors
Fundamenta Mathematicae | 2016-04-28 | Paper |
Hilbert's 5th problem
L'Enseignement Mathématique. 2e Série | 2016-02-25 | Paper |
Dividing and weak quasi-dimensions in arbitrary theories
Archive for Mathematical Logic | 2015-11-18 | Paper |
