Source author record

Bradd Hart

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

Catalog footprint

Research overview

17works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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}}$ .

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

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.

preprint2016arXiv

Fraïssé limits of C*-algebras

We realize the Jiang-Su algebra, all UHF algebras, and the hyperfinite II $_{1}$ factor as Fraïssé limits of suitable classes of structures. Moreover by means of Fraïssé theory we provide new examples of AF algebras with strong homogeneity properties. As a consequence of our analysis we deduce Ramsey-theoretic results about the class of full-matrix algebras.

preprint2016arXiv

Metric logical categories and conceptual completeness for first order continuous logic

We begin the study of categorical logic for continuous model theory. In particular, we 1. introduce the notions of metric logical categories and functors as categorical equivalents of a metric theory and interpretations, 2. prove a continuous version of conceptual completeness showing that $T^\eq$ is the maximal conservative expansion of $T$ , and 3. define the concept of a metric pre-topos.

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

Relative commutants of strongly self-absorbing C*-algebras

The relative commutant $A'\cap A^{\mathcal{U}}$ of a strongly self-absorbing algebra $A$ is indistinguishable from its ultrapower $A^{\mathcal{U}}$ . This applies both to the case when $A$ is the hyperfinite II $_1$ factor and to the case when it is a strongly self-absorbing C*-algebra. In the latter case we prove analogous results for $\ell_\infty(A)/c_0(A)$ and reduced powers corresponding to other filters on $\bf N$ . Examples of algebras with approximately inner flip and approximately inner half-flip are provided, showing the optimality of our results. We also prove that strongly self-absorbing algebras are smoothly classifiable, unlike the algebras with approximately inner half-flip.

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

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).

preprint2013arXiv

Model theory of operator algebras II: Model theory

We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is stable if and only if all of its ultrapowers associated with nonprincipal ultrafilters on N are isomorphic even when the Continuum Hypothesis fails.

preprint2013arXiv

Quasiminimal structures and excellence

We show that the excellence axiom in the definition of Zilber's quasiminimal excellent classes is redundant, in that it follows from the other axioms. This substantially simplifies a number of categoricity proofs.

preprint2012arXiv

Countable saturation of corona algebras

We present unified proofs of several properties of the corona of $σ$ -unital C*-algebras such as AA-CRISP, SAW*, being sub- $σ$ -Stonean in the sense of Kirchberg, and the conclusion of Kasparov's Technical Theorem. Although our results were obtained by considering C*-algebras as models of the logic for metric structures, the reader is not required to have any knowledge of model theory of metric structures (or model theory, or logic in general). The proofs involve analysis of the extent of model-theoretic saturation of corona algebras.

preprint2012arXiv

Model theory of operator algebras I: Stability

Several authors have considered whether the ultrapower and the relative commutant of a C*-algebra or II_1 factor depend on the choice of the ultrafilter. We settle each of these questions, extending results of Ge-Hadwin and the first author.

preprint2012arXiv

Omitting types and AF algebras

We give model-theoretic characterizations of UHF algebras and of AF algebras as C*-algebras that omit certain sets of types.

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.

preprint2000arXiv

The uncountable spectra of countable theories

Let T be a complete, first-order theory in a finite or countable language having infinite models. Let I(T,kappa) be the number of isomorphism types of models of T of cardinality κ. We denote by μ(respectively \hatμ) the number of cardinals (respectively infinite cardinals) less than or equal to κ. We prove that I(T,κ), as a function of κ> \aleph_0, is the minimum of 2^κ and one of the following functions: 1. 2^κ; 2. the constant function 1; 3. |\hatμ^n/{\sim_G}|-|(\hatμ- 1)^n/{\sim_G}| if \hatμ<ωfor some 1<n<ωand \hatμif \hatμ>= ωsome group G <= Sym(n); 4. the constant function \beth_2; 5. \beth_{d+1}(μ) for some infinite, countable ordinal d; 6. \sum_{i=1}^d Γ(i) where d is an integer greater than 0 (the depth of T) and Γ(i) is either \beth_{d-i-1}(μ^{\hatμ}) or \beth_{d-i}(μ^{σ(i)} + α(i)), where σ(i) is either 1, \aleph_0 or \beth_1, and α(i) is 0 or \beth_2; the first possibility for Γ(i) can occur only when d-i > 0.

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.

Bradd Hart

Research overview

Is this your work?

17 publications

The almost sure theory of finite metric spaces

Operator algebras with hyperarithmetic theory

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

Fraïssé limits of C*-algebras

Metric logical categories and conceptual completeness for first order continuous logic

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

Relative commutants of strongly self-absorbing C*-algebras

A computability-theoretic reformulation of the Connes Embedding Problem

Amalgamating R^ω-embeddable von Neumann algebras

Existentially closed II_1 factors

Model theory of operator algebras II: Model theory

Quasiminimal structures and excellence

Countable saturation of corona algebras

Model theory of operator algebras I: Stability

Omitting types and AF algebras

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

The uncountable spectra of countable theories

See the researcher in context

Building this map preview

Bradd Hart

Research overview

Is this your work?

17 publications

The almost sure theory of finite metric spaces

Operator algebras with hyperarithmetic theory

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

Fraïssé limits of C*-algebras

Metric logical categories and conceptual completeness for first order continuous logic

On the theories of McDuff's II1_11​ factors

Relative commutants of strongly self-absorbing C*-algebras

A computability-theoretic reformulation of the Connes Embedding Problem

Amalgamating R^ω-embeddable von Neumann algebras

Existentially closed II_1 factors

Model theory of operator algebras II: Model theory

Quasiminimal structures and excellence

Countable saturation of corona algebras

Model theory of operator algebras I: Stability

Omitting types and AF algebras

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

The uncountable spectra of countable theories

See the researcher in context

Building this map preview

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