Isaac Goldbring

According to our database, Isaac Goldbring authored at least 24 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2024

Undecidability and incompleteness in quantum information theory and operator algebras.

Isaac Goldbring

CoRR, 2024

The Universal Theory of the Hyperfinite II $_1$ factor is not Computable.

Isaac Goldbring, Bradd Hart

Bull. Symb. Log., 2024

2023

On the complexity of the theory of a computably presented metric structure.

Caleb Camrud, Isaac Goldbring, Timothy H. McNicholl

Arch. Math. Log., November, 2023

Locally universal C*-algebras with computable presentations.

Alec Fox, Isaac Goldbring, Bradd Hart

CoRR, 2023

2022

Continuous Sentences Preserved under Reduced Products.

Isaac Goldbring, H. Jerome Keisler

J. Symb. Log., 2022

On Tsirelson pairs of C*-algebras.

Isaac Goldbring, Bradd Hart

CoRR, 2022

Approximate traces on groups and the quantum complexity class MIP^{co, s}.

Isaac Goldbring, Bradd Hart

CoRR, 2022

2021

Operator algebras with hyperarithmetic theory.

Isaac Goldbring, Bradd Hart

J. Log. Comput., 2021

The Connes Embedding Problem: A guided tour.

Isaac Goldbring

CoRR, 2021

2020

Scattered sentences have few separable randomizations.

Uri Andrews, Isaac Goldbring, Sherwood Hachtman, H. Jerome Keisler, David Marker

Arch. Math. Log., 2020

2019

Independence in randomizations.

Uri Andrews, Isaac Goldbring, H. Jerome Keisler

J. Math. Log., 2019

2016

High density piecewise Syndeticity of Product Sets in Amenable Groups.

Mauro Di Nasso, Isaac Goldbring, Renling Jin, Steven Leth, Martino Lupini, Karl Mahlburg

J. Symb. Log., 2016

Approximate Polynomial Structure in Additively Large Sets.

Mauro Di Nasso, Isaac Goldbring, Renling Jin, Steven Leth, Martino Lupini, Karl Mahlburg

Integers, 2016

Computability and the Connes Embedding Problem.

Isaac Goldbring, Bradd Hart

Bull. Symb. Log., 2016

2015

Pseudofinite and Pseudocompact Metric Structures.

Isaac Goldbring, Vinicius Cifú Lopes

Notre Dame J. Formal Log., 2015

Definable closure in randomizations.

Uri Andrews, Isaac Goldbring, H. Jerome Keisler

Ann. Pure Appl. Log., 2015

Dividing and weak quasi-dimensions in arbitrary theories.

Isaac Goldbring, Henry Towsner

Arch. Math. Log., 2015

2014

Transseries and Todorov-Vernaeve's asymptotic fields.

Matthias Aschenbrenner, Isaac Goldbring

Arch. Math. Log., 2014

2013

The theory of tracial von Neumann algebras does not have a model companion.

Isaac Goldbring, Bradd Hart, Thomas Sinclair

J. Symb. Log., 2013

2012

Definable Operators on Hilbert Spaces.

Isaac Goldbring

Notre Dame J. Formal Log., 2012

An approximate Herbrand's theorem and definable functions in metric structures.

Isaac Goldbring

Math. Log. Q., 2012

Thorn-forking in continuous logic.

Clifton F. Ealy, Isaac Goldbring

J. Symb. Log., 2012

2011

Ends of groups: a nonstandard perspective.

Isaac Goldbring

J. Log. Anal., 2011

2009

Nonstandard hulls of locally exponential Lie algebras.

Isaac Goldbring

J. Log. Anal., 2009