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

Bradd Hart

Bradd Hart 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.CO

Catalog footprint

What is connected

17works
3topics
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

17 published item(s)

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

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

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

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

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.

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

0 citations0 reviewsNo code linkedOpen access