B
Bradd Hart
Researcher at McMaster University
Publications - 82
Citations - 1376
Bradd Hart is an academic researcher from McMaster University. The author has contributed to research in topics: Model theory & Countable set. The author has an hindex of 18, co-authored 75 publications receiving 1231 citations. Previous affiliations of Bradd Hart include University of Notre Dame & University of Illinois at Urbana–Champaign.
Papers
More filters
Journal ArticleDOI
Model theory of operator algebras II: model theory
TL;DR: In this article, a model-theoretic result was proved that the theory of a separable metric structure is stable if and only if all of its ultrapowers associated with non-principal ultrafilters on ℕ are isomorphic even when the Continuum Hypothesis fails.
Journal ArticleDOI
Coordinatisation and canonical bases in simple theories
TL;DR: The general theory of hyperimaginaries is developed and it is shown how first order model theory (including the theory of forking) generalises to hyperIMaginaries, and the existence and ubiquity of regular types in supersimple theories, ω-categorical simple structures and modularity are shown.
Posted Content
Model theory of operator algebras II: Model theory
TL;DR: In this article, a model-theoretic result was proved that the theory of a separable metric structure is stable if and only if all of its ultrapowers associated with non-principal ultrafilters on N are isomorphic even when the Continuum Hypothesis fails.
Journal ArticleDOI
Model theory of operator algebras III: elementary equivalence and II1 factors
TL;DR: In this paper, the authors use continuous model theory to obtain several results concerning isomorphisms and embeddings between II-1 factors and their ultrapowers, including a poor man's resolution of the Connes embedding problem.
Journal ArticleDOI
Model theory of operator algebras I: Stability
TL;DR: In this article, the ultrapower and the relative commutant of a C*-algebra or II_1 factor depend on the choice of the ultrafilter, and they extend the results of Ge-Hadwin and the first author.