BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Isaac Goldbring

Isaac Goldbring appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.LOmath.OAmath.COmath.GRmath.FAmath.GNmath.DGmath.NTmath.DSmath.GT

Catalog footprint

What is connected

42works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

42 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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}}$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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)$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access