| 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 |
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 |
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 |
| 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 |
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 |
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 |
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 |
| 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 |
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 |
The fundamental group of a locally finite graph with ends–-a hyperfinite approach
Fundamenta Mathematicae | 2015-10-21 | Paper |
Games and elementary equivalence of \(\mathrm{II}_1\)-factors
Pacific Journal of Mathematics | 2015-10-07 | Paper |
Pseudofinite and pseudocompact metric structures
Notre Dame Journal of Formal Logic | 2015-09-29 | Paper |
On a sumset conjecture of Erdős
Canadian Journal of Mathematics | 2015-07-27 | Paper |
On Kirchberg's embedding problem
Journal of Functional Analysis | 2015-05-18 | Paper |
High density piecewise syndeticity of sumsets
Advances in Mathematics | 2015-05-06 | Paper |
Definable closure in randomizations
Annals of Pure and Applied Logic | 2015-01-23 | Paper |
| Independence relations in randomizations | 2014-09-04 | Paper |
An approximate logic for measures
Israel Journal of Mathematics | 2014-06-25 | Paper |
Transseries and Todorov-Vernaeve's asymptotic fields
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 |
Definable functions in Urysohn's metric space
Illinois Journal of Mathematics | 2013-08-09 | Paper |
Definable functions in Urysohn's metric space
Illinois Journal of Mathematics | 2013-08-09 | Paper |
Nonstandard hulls of locally uniform groups
Fundamenta Mathematicae | 2013-03-18 | Paper |
| Amalgamating R^\omega-embeddable von Neumann algebras | 2013-01-28 | Paper |
Nonstandard hulls of locally exponential Lie algebras
Journal of Logic and Analysis | 2012-12-17 | Paper |
Ends of groups: a nonstandard perspective.
Journal of Logic and Analysis | 2012-12-17 | Paper |
Definable operators on Hilbert spaces
Notre Dame Journal of Formal Logic | 2012-07-11 | Paper |
Definable operators on Hilbert spaces
Notre Dame Journal of Formal Logic | 2012-07-11 | Paper |
Erratum to ``Globalizing locally compact local groups''
Journal of Lie Theory | 2012-06-25 | Paper |
An approximate Herbrand's theorem and definable functions in metric structures
Mathematical Logic Quarterly (MLQ) | 2012-06-01 | Paper |
Hilbert's fifth problem for local groups
Annals of Mathematics. Second Series | 2010-10-29 | Paper |
Globalizing locally compact local groups
(available as arXiv preprint) | 2010-09-28 | Paper |
| Globalizing locally compact local groups | 2010-09-28 | Paper |
Locally compact contractive local groups
(available as arXiv preprint) | 2010-02-25 | Paper |
| Locally compact contractive local groups | 2010-02-25 | Paper |
Bezout Domains and Elliptic Curves
Communications in Algebra | 2009-01-20 | Paper |
