Source author record

Isaac Goldbring

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.OA math.CO math.GR math.FA math.GN math.DG math.NT math.DS math.GT

Catalog footprint

Research overview

42works

10topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Existentially closed W*-probability spaces

We study several model-theoretic aspects of W $^*$ -probability spaces, that is, $σ$ -finite von Neumann algebras equipped with a faithful normal state. We first study the existentially closed W $^*$ -spaces and prove several structural results about such spaces, including that they are type III $_1$ factors that tensorially absorb the Araki-Woods factor $R_\infty$ . We also study the existentially closed objects in the restricted class of W $^*$ -probability spaces with Kirchberg's QWEP property, proving that $R_\infty$ itself is such an existentially closed space in this class. Our results about existentially closed probability spaces imply that the class of type III $_1$ factors forms a $\forall_2$ -axiomatizable class. We show that for $λ\in (0,1)$ , the class of III $_λ$ factors is not $\forall_2$ -axiomatizable but is $\forall_3$ -axiomatizable; this latter result uses a version of Keisler's Sandwich theorem adapted to continuous logic. Finally, we discuss some results around elementary equivalence of III $_λ$ factors. Using a result of Boutonnet, Chifan, and Ioana, we show that, for any $λ\in (0,1)$ , there is a family of pairwise non-elementarily equivalent III $_λ$ factors of size continuum. While we cannot prove the same result for III $_1$ factors, we show that there are at least three pairwise non-elementarily equivalent III $_1$ factors by showing that the class of full factors is preserved under elementary equivalence.

preprint2022arXiv

Subsets of Virtually Nilpotent Groups with the SBM Property

We extend Leth's notion of subsets of the integers satisfying the Standard interval measure (SIM) property to the class of virtually nilpotent groups and name the corresponding property the Standard ball measure (SBM) property. In order to do this, we define a natural measure on closed balls in asymptotic cones associated to such groups and show that this measure satisfies the Lebesgue density theorem. We then prove analogs of various properties known to hold for SIM sets in this broader context, occasionally assuming extra properties of the group, such as the small spheres property and the small gaps property.

preprint2022arXiv

The almost sure theory of finite metric spaces

We establish an approximate zero-one law for sentences of continuous logic over finite metric spaces of diameter at most $1$ . More precisely, we axiomatize a complete metric theory $T_{\mathrm{as}}$ such that, given any sentence $σ$ in the language of pure metric spaces and any $ε>0$ , the probability that the difference of the value of $σ$ in a random metric space of size $n$ and the value of $σ$ in any model of $T_{\mathrm{as}}$ is less than $ε$ approaches $1$ as $n$ approaches infinity. We also establish some model-theoretic properties of the theory $T_{\mathrm{as}}$ .

preprint2021arXiv

Non-embeddable II $_1$ factors resembling the hyperfinite II $_1$ factor

We consider various statements that characterize the hyperfinite II $_1$ factors amongst embeddable II $_1$ factors in the non-embeddable situation. In particular, we show that "generically" a II $_1$ factor has the Jung property (which states that every embedding of itself into its ultrapower is unitarily conjugate to the diagonal embedding) if and only if it is self-tracially stable (which says that every such embedding has an approximate lifting). We prove that the enforceable factor, should it exist, has these equivalent properties. Our techniques are model-theoretic in nature. We also show how these techniques can be used to give new proofs that the hyperfinite II $_1$ factor has the aforementioned properties.

preprint2020arXiv

Factorial relative commutants and the generalized Jung property for II $_1$ factors

We introduce the notion of a generalized Jung factor: a II $_1$ factor $M$ for which any two embeddings of $M$ into its ultrapower $M^{\mathcal U}$ are equivalent by an automorphism of $M^{\mathcal U}$ . We show that $\mathcal R$ is not the unique generalized Jung factor but is the unique $\mathcal R^{\mathcal U}$ -embeddable generalized Jung factor. We use model-theoretic techniques to obtain these results. Integral to the techniques used is the result that if $M$ is elementarily equivalent to $\mathcal R$ , then any elementary embedding of $M$ into $\mathcal R^{\mathcal U}$ has factorial relative commutant. This answers a long-standing question of Popa for an uncountable family of II $_1$ factors. We also provide new examples and results about the notion of super McDuffness, which is a strengthening of the McDuff property for II $_1$ factors.

preprint2020arXiv

On Popa's factorial commutant embedding problem

An open question of Sorin Popa asks whether or not every $R^{\mathcal{U}}$ -embeddable factor admits an embedding into $R^{\mathcal{U}}$ with factorial relative commutant. We show that there is a locally universal McDuff II $_1$ factor $M$ such that every property (T) factor admits an embedding into $M^{\mathcal{U}}$ with factorial relative commutant. We also discuss how our strategy could be used to settle Popa's question for property (T) factors if a certain open question in the model theory of operator algebras has a positive solution.

preprint2020arXiv

Operator algebras with hyperarithmetic theory

We show that the following operator algebras have hyperarithmetic theory: the hyperfinite II $_1$ factor $\mathcal R$ , $L(Γ)$ for $Γ$ a finitely generated group with solvable word problem, $C^*(Γ)$ for $Γ$ a finitely presented group, $C^*_λ(Γ)$ for $Γ$ a finitely generated group with solvable word problem, $C(2^ω)$ , and $C(\mathbb P)$ (where $\mathbb P$ is the pseudoarc). We also show that the Cuntz algebra $\mathcal O_2$ has a hyperarithmetic theory provided that the Kirchberg embedding problem has an affirmative answer. Finally, we prove that if there is an existentially closed (e.c.) II $_1$ factor (resp. C $^*$ -algebra) that does not have hyperarithmetic theory, then there are continuum many theories of e.c. II $_1$ factors (resp. e.c. C $^*$ -algebras).

preprint2020arXiv

Oracle computability of conditional expectations onto subfactors

We initiate the effective study of conditional expectations onto subfactors. Our main result is that if $M$ is an existentially closed II $_1$ factor with a w-spectral gap subfactor $N$ , then the conditional expectation function onto $N$ can be computed from a (Turing) oracle that computes a presentation of $M$ , the inclusion of $N$ into $M$ , and a spectral gap function for the pair $(M,N)$ .

preprint2020arXiv

Properties expressible in small fragments of the theory of the hyperfinite II_1 factor

We show that any II $_1$ factor that has the same 4-quantifier theory as the hyperfinite II $_1$ factor $\mathcal{R}$ satisfies the conclusion of the Popa Factorial Commutant Embedding Problem (FCEP) and has the Brown property. These results improve recent results proving the same conclusions under the stronger assumption that the factor is actually elementarily equivalent to $\mathcal{R}$ . In the same spirit, we improve a recent result of the first-named author, who showed that if (1) the amalgamated free product of embeddable factors over a property (T) base is once again embeddable, and (2) $\mathcal{R}$ is an infinitely generic embeddable factor, then the FCEP is true of all property (T) factors. In this paper, it is shown that item (2) can be weakened to assume that $\mathcal{R}$ has the same 3-quantifier theory as an infinitely generic embeddable factor.

preprint2019arXiv

Continuous Sentences Preserved Under Reduced Products

Answering a question of Cifú Lopes, we give a syntactic characterization of those continuous sentences that are preserved under reduced products of metric structures. In fact, we settle this question in the wider context of general structures as introduced by the second author.

preprint2017arXiv

Enforceable operator algebras

We adapt the classical notion of building models by games to the setting of continuous model theory. As an application, we study to what extent canonical operator algebras are enforceable models. For example, we show that the hyperfinite II $_1$ factor is an enforceable II $_1$ factor if and only if the Connes Embedding Problem has a positive solution. We also show that the set of continuous functions on the pseudoarc is an enforceable model of the theory of unital, projectionless, abelian \cstar-algebras and use this to show that it is the prime model of its theory.

preprint2016arXiv

Boundary amenability of groups via ultrapowers

We use $\mathrm{C}^{\ast}$ -algebra ultrapowers to give a new construction of the Stone-Cech compactification of a separable, locally compact space. We use this construction to give a new proof of the fact that groups that act isometrically, properly, and transitively on trees are boundary amenable.

preprint2016arXiv

On the axiomatizability of $\mathrm{C}^*$ -algebras as operator systems

We show that the class of unital $\mathrm{C}^*$ -algebras is an elementary class in the language of operator systems. As a result, we have that there is a definable predicate in the language of operator systems that defines the multiplication in any $\mathrm{C}^*$ -algebra. Moreover, we prove that the aforementioned class is $\forall\exists\forall$ -axiomatizable but not $\forall\exists$ -axiomatizable nor $\exists\forall$ -axiomatizable.

preprint2016arXiv

On the theories of McDuff's II $_1$ factors

Recently, Boutonnet, Chifan, and Ioana proved that McDuff's family of continuum many pairwise nonisomorphic separable II $_1$ factors are in fact pairwise non-elementarily equivalent by proving that any ultrapowers of two distinct members of the family are nonsiomorphic. We use Ehrenfeucht-Fraisse games to provide an upper bound on the quantifier-depth of sentences which distinguish these theories.

preprint2016arXiv

The pseudoarc is a co-existentially closed continuum

Answering a question of P. Bankston, we show that the pseudoarc is a co-existentially closed continuum. We also show that $C(X)$ , for $X$ a nondegenerate continuum, can never have quantifier elimination, answering a question of the the first and third named authors and Farah and Kirchberg.

preprint2015arXiv

A monad measure space for logarithmic density

We provide a framework for proofs of structural theorems about sets with positive Banach logarithmic density. For example, we prove that if $A\subseteq \mathbb{N}$ has positive Banach logarithmic density, then $A$ contains an approximate geometric progression of any length. We also prove that if $A,B\subseteq \mathbb{N}$ have positive Banach logarithmic density, then there are arbitrarily long intervals whose gaps on $A\cdot B$ are multiplicatively bounded, a multiplicative version Jin's sumset theorem. The main technical tool is the use of a quotient of a Loeb measure space with respect to a multiplicative cut.

preprint2015arXiv

Approximate polynomial structure in additively large sets

We show that any subset of the natural numbers with positive logarithmic Banach density contains a set that is within a factor of two of a geometric progression, improving the bound on a previous result of the authors. Density conditions on subsets of the natural numbers that imply the existence of approximate powers of arithmetic progressions are developed and explored.

preprint2015arXiv

Games and elementary equivalence of $\rm II_1$ factors

We use Ehrenfeucht-Fraïssé games to give a local geometric criterion for elementary equivalence of II $_1$ factors. We obtain as a corollary that two II $_1$ factors are elementarily equivalent if and only their unitary groups are elementarily equivalent as $\mathbb Z_4$ -metric spaces.

preprint2015arXiv

High density piecewise syndeticity of product sets in amenable groups

M. Beiglböck, V. Bergelson, and A. Fish proved that if $G$ is a countable amenable group and $A$ and $B$ are subsets of $G$ with positive Banach density, then the product set $AB$ is piecewise syndetic. This means that there is a finite subset $E$ of $G$ such that $EAB$ is thick, that is, $EAB$ contains translates of any finite subset of $G$ . When $G=\mathbb{Z}$ , this was first proven by R. Jin. We prove a quantitative version of the aforementioned result by providing a lower bound on the density (with respect to a Følner sequence) of the set of witnesses to the thickness of $% EAB$ . When $G=\mathbb{Z}^d$ , this result was first proven by the current set of authors using completely different techniques.

preprint2015arXiv

Hindman's theorem and idempotent types

Motivated by a question of Di Nasso, we prove that Hindman's theorem is equivalent to the existence of idempotent types in countable complete extensions of Peano Arithmetic.

preprint2015arXiv

Model theory and the QWEP conjecture

We observe that Kirchberg's QWEP conjecture is equivalent to the statement that $C^*(\mathbb{F})$ is elementarily equivalent to a QWEP C $^*$ algebra. We also make a few other model-theoretic remarks about WEP and LLP C $^*$ algebras.

preprint2015arXiv

Model-theoretic aspects of the Gurarij operator system

We establish some of the basic model theoretic facts about the Gurarij operator system $\mathbb{GS}$ recently constructed by the second-named author. In particular, we show: (1) $\mathbb{GS}$ is the unique separable 1-exact existentially closed operator system; (2) $\mathbb{GS}$ is the unique separable nuclear model of its theory; (3) every embedding of $\mathbb{GS}$ into its ultrapower is elementary; (4) $\mathbb{GS}$ is the prime model of its theory; and (5) $\mathbb{GS}$ does not have quantifier-elimination, whence the theory of operator systems does not have a model companion. We also show that, for any $q\in \mathbb{N}$ , the theories of $M_q$ -spaces and $M_q$ -systems do have a model companion, namely the Fraïssé limit of the class of finite-dimensional $M_q$ -spaces and $M_q$ -systems respectively; moreover we show that the model companion is separably categorical. We conclude the paper by showing that no C $^*$ algebra can be existentially closed as an operator system.

preprint2015arXiv

Omitting types in operator systems

We show that the class of 1-exact operator systems is not uniformly definable by a sequence of types. We use this fact to show that there is no finitary version of Arveson's extension theorem. Next, we show that WEP is equivalent to a certain notion of existential closedness for C $^*$ algebras and use this equivalence to give a simpler proof of Kavruk's result that WEP is equivalent to the complete tight Riesz interpolation property. We then introduce a variant of the space of n-dimensional operator systems and connect this new space to the Kirchberg Embedding Problem, which asks whether every C $^*$ algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$ . We end with some results concerning the question of whether or not the local lifting property (in the sense of Kirchberg) is uniformly definable by a sequence of types in the language of C $^*$ algebras.

preprint2015arXiv

On Kirchberg's Embedding Problem

Kirchberg's Embedding Problem (KEP) asks whether every separable C $^*$ algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$ . In this paper, we use model theory to show that this conjecture is equivalent to a local approximate nuclearity condition that we call the existence of good nuclear witnesses. In order to prove this result, we study general properties of existentially closed C $^*$ algebras. Along the way, we establish a connection between existentially closed C $^*$ algebras, the weak expectation property of Lance, and the local lifting property of Kirchberg. The paper concludes with a discussion of the model theory of $\mathcal{O}_2$ . Several results in this last section are proven using some technical results concerning tubular embeddings, a notion first introduced by Jung for studying embeddings of tracial von Neumann algebras into the ultrapower of the hyperfinite II $_1$ factor.

preprint2014arXiv

Dividing and weak quasidimensions in arbitary theories

We show that any countable model of a model complete theory has an elementary extension with a "pseudofinite-like" quasidimension that detects dividing.

preprint2014arXiv

Independence relations in randomizations

The randomization of a complete first order theory $T$ is the complete continuous theory $T^R$ with two sorts, a sort for random elements of models of $T$ , and a sort for events in an underlying probability space. We study various notions of independence in models of $T^R$ .

preprint2014arXiv

On a sumset conjecture of Erdős

Erdős conjectured that for any set $A\subseteq \mathbb{N}$ with positive lower asymptotic density, there are infinite sets $B,C\subseteq \mathbb{N}$ such that $B+C\subseteq A$ . We verify Erdős' conjecture in the case that $A$ has Banach density exceeding $\frac{1}{2}$ . As a consequence, we prove that, for $A\subseteq \mathbb{N}$ with positive Banach density (a much weaker assumption than positive lower density), we can find infinite $B,C\subseteq \mathbb{N}$ such that $B+C$ is contained in the union of $A$ and a translate of $A$ . Both of the aforementioned results are generalized to arbitrary countable amenable groups. We also provide a positive solution to Erdős' conjecture for subsets of the natural numbers that are pseudorandom.

preprint2013arXiv

A computability-theoretic reformulation of the Connes Embedding Problem

The Connes Embedding Problem (CEP) asks whether every separable II_1 factor embeds into an ultrapower of the hyperfinite II_1 factor. We show that the CEP is equivalent to the computability of the universal theory of every type II_1 von Neumann algebra. We also derive some further computability-theoretic consequences of the CEP.

preprint2013arXiv

Amalgamating R^ω-embeddable von Neumann algebras

We observe how a classical model-theoretic fact proves the existence of many strong amalgamation bases for the class of R^ω-embeddable von Neumann algebras, where R is the hyperfinite II_1 factor. In particular, we shows that R itself is a strong amalgamation base.

preprint2013arXiv

Definable closure in randomizations

The randomization of a complete first order theory T is the complete continuous theory T^R with two sorts, a sort for random elements of models of T, and a sort for events in an underlying probability space. We give necessary and sufficient conditions for an element to be definable over a set of parameters in a model of T^R.

preprint2013arXiv

Existentially closed II_1 factors

We examine the properties of existentially closed (R^omega-embeddable) II_1 factors. In particular, we use the fact that every automorphism of an existentially closed (R^omega-embeddable) II_1 factor is approximately inner to prove that Th(R) is not model-complete. We also show that Th(R) is complete for both finite and infinite forcing and use the latter result to prove that there exist continuum many nonisomorphic existentially closed models of Th(R).

preprint2012arXiv

An approximate logic for measures

We present a logical framework for formalizing connections between finitary combinatorics and measure theory or ergodic theory that have appeared various places throughout the literature. We develop the basic syntax and semantics of this logic and give applications, showing that the method can express the classic Furstenberg correspondence and to give a short proof of the Szemerédi Regularity Lemma. We also derive some connections between the model-theoretic notion of stability and the Gowers uniformity norms from combinatorics.

preprint2012arXiv

Nonstandard hulls of locally uniform groups

We present a nonstandard hull construction for locally uniform groups in a spirit similar to Luxembourg's construction of the nonstandard hull of a uniform space. Our nonstandard hull is a local group rather than a global group. We investigate how this construction varies as one changes the family of pseudometrics used to construct the hull. We use the nonstandard hull construction to give a nonstandard characterization of Enflo's notion of groups that are uniformly free from small subgroups. We prove that our nonstandard hull is locally isomorphic to Pestov's nonstandard hull for Banach-Lie groups. We also give some examples of infinite-dimensional Lie groups that are locally uniform.

preprint2012arXiv

The fundamental group of a locally finite graph with ends: a hyperfinite approach

The end compactification |Γ| of the locally finite graph Γis the union of the graph and its ends, endowed with a suitable topology. We show that π_1(|Γ|) embeds into a nonstandard free group with hyperfinitely many generators, i.e. an ultraproduct of finitely generated free groups, and that the embedding we construct factors through an embedding into an inverse limit of free groups, recovering a result of Diestel and Sprüssel.

preprint2012arXiv

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

In this note, we show that the theory of tracial von Neumann algebras does not have a model companion. This will follow from the fact that the theory of any locally universal, McDuff II_1 factor does not have quantifier elimination. We also show how a positive solution to the Connes Embedding Problem implies that there can be no model-complete theory of II_1 factors.

preprint2012arXiv

Transseries and Todorov-Vernaeve's asymptotic fields

We study the relationship between fields of transseries and residue fields of convex subrings of non-standard extensions of the real numbers. This was motivated by a question of Todorov and Vernaeve, answered in this paper.

preprint2011arXiv

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

We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable functions in Hilbert spaces expanded by a group of generic unitary operators and Hilbert spaces expanded by a generic subspace. We also show how Herbrand's theorem can be used to characterize definable functions in some absolutely ubiquitous structures from classical logic.

preprint2011arXiv

Pseudofinite and pseudocompact metric structures

We initiate the study of pseudofiniteness in continuous logic. We introduce a related concept, namely that of pseudocompactness, and investigate the relationship between the two concepts. We establish some basic properties of pseudofiniteness and pseudocompactness and provide many examples. We also investigate the injective-surjective phenomenon for definable endofunctions in pseudofinite structures.

preprint2010arXiv

Definable Functions in Urysohn's Metric Space

Let U denote the Urysohn sphere and consider U as a metric structure in the empty continuous signature. We prove that every definable function from U^n to U is either a projection function or else has relatively compact range. As a consequence, we prove that many functions natural to the study of the Urysohn sphere are not definable. We end with further topological information on the range of the definable function in case it is compact.

preprint2010arXiv

Definable Operators on Hilbert Spaces

Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in its natural signature. We characterize the definable linear operators on H as exactly the "scalar plus compact" operators.

preprint2010arXiv

Ends of groups: a nonstandard perspective

We give a nonstandard treatment of the notion of ends of proper geodesic metric spaces. We then apply this nonstandard treatment to Cayley graphs of finitely generated groups and give nonstandard proofs of many of the fundamental results concerning ends of groups. We end with an analogous nonstandard treatment of the ends of relatively Cayley graphs, that is Cayley graphs of cosets of finitely generated groups.

preprint2010arXiv

Globalizing locally compact local groups

Every locally compact local group is locally isomorphic to a topological group.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Isaac Goldbring

Research overview

Is this your work?

42 publications

Existentially closed W*-probability spaces

Subsets of Virtually Nilpotent Groups with the SBM Property

The almost sure theory of finite metric spaces

Non-embeddable II1_11​ factors resembling the hyperfinite II1_11​ factor

Factorial relative commutants and the generalized Jung property for II1_11​ factors

On Popa's factorial commutant embedding problem

Operator algebras with hyperarithmetic theory

Oracle computability of conditional expectations onto subfactors

Properties expressible in small fragments of the theory of the hyperfinite II_1 factor

Continuous Sentences Preserved Under Reduced Products

Enforceable operator algebras

Boundary amenability of groups via ultrapowers

On the axiomatizability of C∗\mathrm{C}^*C∗-algebras as operator systems

On the theories of McDuff's II1_11​ factors

The pseudoarc is a co-existentially closed continuum

A monad measure space for logarithmic density

Approximate polynomial structure in additively large sets

Games and elementary equivalence of II1\rm II_1II1​ factors

High density piecewise syndeticity of product sets in amenable groups

Hindman's theorem and idempotent types

Model theory and the QWEP conjecture

Model-theoretic aspects of the Gurarij operator system

Omitting types in operator systems

On Kirchberg's Embedding Problem

Dividing and weak quasidimensions in arbitary theories

Independence relations in randomizations

On a sumset conjecture of Erdős

A computability-theoretic reformulation of the Connes Embedding Problem

Amalgamating R^ω-embeddable von Neumann algebras

Definable closure in randomizations

Existentially closed II_1 factors

An approximate logic for measures

Nonstandard hulls of locally uniform groups

The fundamental group of a locally finite graph with ends: a hyperfinite approach

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

Transseries and Todorov-Vernaeve's asymptotic fields

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

Pseudofinite and pseudocompact metric structures

Definable Functions in Urysohn's Metric Space

Definable Operators on Hilbert Spaces

Ends of groups: a nonstandard perspective

Globalizing locally compact local groups

See the researcher in context

Building this map preview

Non-embeddable II $_1$ factors resembling the hyperfinite II $_1$ factor

Factorial relative commutants and the generalized Jung property for II $_1$ factors

On the axiomatizability of $\mathrm{C}^*$ -algebras as operator systems

On the theories of McDuff's II $_1$ factors

Games and elementary equivalence of $\rm II_1$ factors