Nonstandard hulls of locally exponential Lie algebras. - Isaac Goldbring (J. Log. Anal., 2009)

Ends of groups: a nonstandard perspective. - Isaac Goldbring (J. Log. Anal., 2011)

Thorn-forking in continuous logic. - Clifton F. Ealy; Isaac Goldbring (J. Symb. Log., 2012)

An approximate Herbrand's theorem and definable functions in metric structures. - Isaac Goldbring (Math. Log. Q., 2012)

Definable Operators on Hilbert Spaces. - Isaac Goldbring (Notre Dame J. Formal Log., 2012)

The theory of tracial von Neumann algebras does not have a model companion. - Isaac Goldbring; Bradd Hart; Thomas Sinclair (J. Symb. Log., 2013)

Transseries and Todorov-Vernaeve's asymptotic fields. - Matthias Aschenbrenner; Isaac Goldbring (Arch. Math. Log., 2014)

Dividing and weak quasi-dimensions in arbitrary theories. - Isaac Goldbring; Henry Towsner (Arch. Math. Log., 2015)

Definable closure in randomizations. - Uri Andrews; Isaac Goldbring; H. Jerome Keisler (Ann. Pure Appl. Log., 2015)

Pseudofinite and Pseudocompact Metric Structures. - Isaac Goldbring; Vinicius Cifú Lopes (Notre Dame J. Formal Log., 2015)

Computability and the Connes Embedding Problem. - Isaac Goldbring; Bradd Hart (Bull. 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)

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)

Independence in randomizations. - Uri Andrews; Isaac Goldbring; H. Jerome Keisler (J. Math. Log., 2019)

Scattered sentences have few separable randomizations. - Uri Andrews; Isaac Goldbring; Sherwood Hachtman; H. Jerome Keisler; David Marker (Arch. Math. Log., 2020)

The Connes Embedding Problem: A guided tour. - Isaac Goldbring (CoRR, 2021)

Operator algebras with hyperarithmetic theory. - Isaac Goldbring; Bradd Hart (J. Log. Comput., 2021)

Approximate traces on groups and the quantum complexity class MIPco, s. - Isaac Goldbring; Bradd Hart (CoRR, 2022)

On Tsirelson pairs of C*-algebras. - Isaac Goldbring; Bradd Hart (CoRR, 2022)

Continuous Sentences Preserved under Reduced Products. - Isaac Goldbring; H. Jerome Keisler (J. Symb. Log., 2022)

Locally universal C*-algebras with computable presentations. - Alec Fox; Isaac Goldbring; Bradd Hart (CoRR, 2023)

On the complexity of the theory of a computably presented metric structure. - Caleb Camrud; Isaac Goldbring; Timothy H. McNicholl (Arch. Math. Log., 2023)

The Universal Theory of the Hyperfinite II $_1$ factor is not Computable. - Isaac Goldbring; Bradd Hart (Bull. Symb. Log., 2024)

Undecidability and incompleteness in quantum information theory and operator algebras. - Isaac Goldbring (CoRR, 2024)