Showing 1–45 of 45 results for author: Hart, B

An Introduction To Continuous Model Theory

Authors: Bradd Hart

Abstract: We present an introduction to modern continuous model theory with an emphasis on its interactions with topics covered in this volume such as $C^*$-algebras and von Neumann algebras. The role of ultraproducts is highlighted and expositions of definable sets, imaginaries, quantifier elimination and separable categoricity are included. We present an introduction to modern continuous model theory with an emphasis on its interactions with topics covered in this volume such as $C^*$-algebras and von Neumann algebras. The role of ultraproducts is highlighted and expositions of definable sets, imaginaries, quantifier elimination and separable categoricity are included. △ Less

Submitted 7 March, 2023; originally announced March 2023.

Comments: 53 pages; first draft; comments welcome; to appear in the volume "Model theory of operator algebras" as part of DeGruyter's Logic and its Application Series

MSC Class: 03C66; 03C98; 46L05

Locally universal C*-algebras with computable presentations

Authors: Alec Fox, Isaac Goldbring, Bradd Hart

Abstract: The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$. In an effort to provide a negative solution to the KEP and motivated by the recent refutation of the Connes Embedding Problem, we establish two computability-theoretic consequences of a positive solution to KEP. Both of our results follow from the a priori weaker assumptio… ▽ More The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$. In an effort to provide a negative solution to the KEP and motivated by the recent refutation of the Connes Embedding Problem, we establish two computability-theoretic consequences of a positive solution to KEP. Both of our results follow from the a priori weaker assumption that there exists a locally universal C*-algebra with a computable presentation. △ Less

Submitted 3 March, 2023; originally announced March 2023.

Comments: 12 pages. This paper supercedes an earlier paper by the second and third author (arXiv:2107.14010). First draft; comments welcome!

On Tsirelson pairs of C*-algebras

Authors: Isaac Goldbring, Bradd Hart

Abstract: We introduce the notion of a Tsirelson pair of C*-algebras, which is a pair of C*-algebras for which the space of quantum strategies obtained by using states on the minimal tensor product of the pair and the space of quantum strategies obtained by using states on the maximal tensor product of the pair coincide. We exhibit a number of examples of such pairs that are "nontrivial" in the sense that t… ▽ More We introduce the notion of a Tsirelson pair of C*-algebras, which is a pair of C*-algebras for which the space of quantum strategies obtained by using states on the minimal tensor product of the pair and the space of quantum strategies obtained by using states on the maximal tensor product of the pair coincide. We exhibit a number of examples of such pairs that are "nontrivial" in the sense that the minimal tensor product and the maximal tensor product of the pair are not isomorphic. For example, we prove that any pair containing a C*-algebra with Kirchberg's QWEP property is a Tsirelson pair. We then introduce the notion of a C*-algebra with the Tsirelson property (TP) and establish a number of closure properties for this class. We also show that the class of C*-algebras with the TP form an axiomatizable class (in the sense of model theory), but that this class admits no "effective" axiomatization. △ Less

Submitted 15 November, 2022; v1 submitted 27 October, 2022; originally announced October 2022.

Comments: 13 pages; version 3; a slight redefinition of Tsirelson pair was needed to fix one of the propositions

A survey on the model theory of tracial von Neumann algebras

Authors: Isaac Goldbring, Bradd Hart

Abstract: We survey the developments in the model theory of tracial von Neumann algebras that have taken place in the last fifteen years. We discuss the appropriate first-order language for axiomatizing this class as well as the subclass of II$_1$ factors. We discuss how model-theoretic ideas were used to settle a variety of questions around isomorphism of ultrapowers of tracial von Neumann algebras with re… ▽ More We survey the developments in the model theory of tracial von Neumann algebras that have taken place in the last fifteen years. We discuss the appropriate first-order language for axiomatizing this class as well as the subclass of II$_1$ factors. We discuss how model-theoretic ideas were used to settle a variety of questions around isomorphism of ultrapowers of tracial von Neumann algebras with respect to different ultrafilters before moving on to more model-theoretic concerns, such as theories of II$_1$ factors and existentially closed II$_1$ factors. We conclude with two recent applications of model-theoretic ideas to questions around relative commutants. △ Less

Submitted 27 October, 2022; originally announced October 2022.

Comments: 27 pages; first draft; comments welcome; to appear in the volume "Model theory of operator algebras" as part of DeGruyter's Logic and its Application Series

Approximate traces on groups and the quantum complexity class $\operatorname{MIP}^{co,s}$

Authors: Isaac Goldbring, Bradd Hart

Abstract: An open question in quantum complexity theory is whether or not the class $\operatorname{MIP}^{co}$, consisting of languages that can be efficiently verified using interacting provers sharing quantum resources according to the quantum commuting model, coincides with the class $coRE$ of languages with recursively enumerable complement. We introduce the notion of a qc-modulus, which encodes approxim… ▽ More An open question in quantum complexity theory is whether or not the class $\operatorname{MIP}^{co}$, consisting of languages that can be efficiently verified using interacting provers sharing quantum resources according to the quantum commuting model, coincides with the class $coRE$ of languages with recursively enumerable complement. We introduce the notion of a qc-modulus, which encodes approximations to quantum commuting correlations, and show that the existence of a computable qc-modulus gives a negative answer to a natural variant of the aforementioned question. △ Less

Submitted 16 September, 2022; originally announced September 2022.

Comments: 8 pages; first draft; comments welcome!

The undecidability of having the QWEP

Authors: Jananan Arulseelan, Isaac Goldbring, Bradd Hart

Abstract: We show that neither the class of C*-algebras with Kirchberg's QWEP property nor the class of W*-probability spaces with the QWEP property are effectively axiomatizable (in the appropriate languages). The latter result follows from a more general result, namely that the hyperfinite III$_1$ factor does not have a computable universal theory in the language of W*-probability spaces. We also prove th… ▽ More We show that neither the class of C*-algebras with Kirchberg's QWEP property nor the class of W*-probability spaces with the QWEP property are effectively axiomatizable (in the appropriate languages). The latter result follows from a more general result, namely that the hyperfinite III$_1$ factor does not have a computable universal theory in the language of W*-probability spaces. We also prove that the Powers' factors $\mathcal{R}_λ$, for $0<λ<1$, when equipped with their canonical Powers' states, do not have computable universal theory. △ Less

Submitted 27 August, 2023; v1 submitted 14 May, 2022; originally announced May 2022.

Comments: 14 pages; a minor mistake in Theorem 2.1 has been fixed, leading to a stronger conclusion. Final version, to appear in Journal of Operator Theory

A quantum complexity approach to the Kirchberg Embedding Problem

Authors: Isaac Goldbring, Bradd Hart

Abstract: The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra $\cal O_2$. Motivated by the recent refutation of the Connes Embedding Problem using the quantum complexity result MIP*=RE, we establish two quantum complexity consequences of a positive solution to KEP. Both results involve almost-commuting strategies to nonlocal games. The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra $\cal O_2$. Motivated by the recent refutation of the Connes Embedding Problem using the quantum complexity result MIP*=RE, we establish two quantum complexity consequences of a positive solution to KEP. Both results involve almost-commuting strategies to nonlocal games. △ Less

Submitted 1 March, 2023; v1 submitted 27 July, 2021; originally announced July 2021.

Comments: A referee pointed out that the first theorem can be obtained using elementary means in a manner not connected to the KEP. The second result will be incorporated into a new paper that will appear on the arxiv shortly

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

Authors: Isaac Goldbring, Bradd Hart

Abstract: 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 s… ▽ More 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. △ Less

Submitted 22 July, 2020; originally announced July 2020.

Comments: 13 pages. First draft; comments welcome!

The Universal Theory Of The Hyperfinite II$_1$ Factor Is Not Computable

Authors: Isaac Goldbring, Bradd Hart

Abstract: We show that the universal theory of the hyperfinite II$_1$ factor is not computable. The proof uses the recent result that MIP*=RE. Combined with an earlier observation of the authors, this yields a proof that the Connes Embedding Problem has a negative solution that avoids the equivalences with Kirchberg's QWEP Conjecture and Tsirelson's Problem.+ We show that the universal theory of the hyperfinite II$_1$ factor is not computable. The proof uses the recent result that MIP*=RE. Combined with an earlier observation of the authors, this yields a proof that the Connes Embedding Problem has a negative solution that avoids the equivalences with Kirchberg's QWEP Conjecture and Tsirelson's Problem.+ △ Less

Submitted 21 June, 2021; v1 submitted 9 June, 2020; originally announced June 2020.

Comments: Latest version contains a new result (Corollary 5.5) yielding infinitely many counterexamples to the Connes Embedding Problem

MSC Class: 03C66; 03C98; 46L10

Operator algebras with hyperarithmetic theory

Authors: Isaac Goldbring, Bradd Hart

Abstract: 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 Cunt… ▽ More 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). △ Less

Submitted 8 June, 2020; v1 submitted 5 April, 2020; originally announced April 2020.

Comments: 18 pages; second draft reflects new results

The almost sure theory of finite metric spaces

Authors: Isaac Goldbring, Bradd Hart, Alex Kruckman

Abstract: 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 $σ$… ▽ More 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}}$. △ Less

Submitted 11 January, 2022; v1 submitted 4 November, 2019; originally announced November 2019.

Comments: Final version

Journal ref: Bulletin of the London Mathematical Society, Volume 53, Issue 6, December 2021, pp. 1740-1748

Non-locally modular regular types in classifiable theories

Authors: Elisabeth Bouscaren, Bradd Hart, Ehud Hrushovski, Michael C. Laskowski

Abstract: We introduce the notion of strong $p$-semi-regularity and show that if $p$ is a regular type which is not locally modular then any $p$-semi-regular type is strongly $p$-semi-regular. Moreover, for any such $p$-semi-regular type, "domination implies isolation" which allows us to prove the following: Suppose that $T$ is countable, classifiable and $M$ is any model. If $p\in S(M)$ is regular but not… ▽ More We introduce the notion of strong $p$-semi-regularity and show that if $p$ is a regular type which is not locally modular then any $p$-semi-regular type is strongly $p$-semi-regular. Moreover, for any such $p$-semi-regular type, "domination implies isolation" which allows us to prove the following: Suppose that $T$ is countable, classifiable and $M$ is any model. If $p\in S(M)$ is regular but not locally modular and $b$ is any realization of $p$ then every model $N$ containing $M$ that is dominated by $b$ over $M$ is both constructible and minimal over $Mb$. △ Less

Submitted 13 April, 2024; v1 submitted 24 October, 2019; originally announced October 2019.

Comments: Revised version, many details added, Appendix extended

MSC Class: 03C45

Motor Learning Without Moving: Hand Localization after Passive Training

Authors: Ahmed A. Mostafa, Bernard Marius 't Hart, Denise Y. P. Henriques

Abstract: An accurate estimate of limb position is necessary for movement. Where we localize our unseen hand after a reach depends on felt hand position, or proprioception, but often only predicted sensory consequences based on efference copies of motor commands are considered. Both signals should contribute, so here we use passive training with rotated visual feedback of hand position to prevent updates of… ▽ More An accurate estimate of limb position is necessary for movement. Where we localize our unseen hand after a reach depends on felt hand position, or proprioception, but often only predicted sensory consequences based on efference copies of motor commands are considered. Both signals should contribute, so here we use passive training with rotated visual feedback of hand position to prevent updates of predicted sensory consequences, but still recalibrate proprioception. After this training we measure participants' hand location estimates based on both efference-based predictions and afferent proprioceptive signals with self-generated hand movements as well as based on proprioception only with robot-generated movements. The changes in hand localization are equally large after training with robot- and self-generated hand movements. Both motor and proprioceptive changes are only slightly smaller as those after training with self-generated movements, confirming that recalibrated proprioception contributes to motor learning. △ Less

Submitted 20 November, 2018; originally announced November 2018.

Correspondences, Ultraproducts and Model Theory

Authors: Isaac Goldbring, Bradd Hart, Thomas Sinclair

Abstract: We study correspondences of tracial von Neumann algebras from the model-theoretic point of view. We introduce and study an ultraproduct of correspondences and use this ultraproduct to prove, for a fixed pair of tracial von Neumann algebras M and N, that the class of M-N correspondences forms an elementary class. We prove that the corresponding theory is classifiable, all of its completions are sta… ▽ More We study correspondences of tracial von Neumann algebras from the model-theoretic point of view. We introduce and study an ultraproduct of correspondences and use this ultraproduct to prove, for a fixed pair of tracial von Neumann algebras M and N, that the class of M-N correspondences forms an elementary class. We prove that the corresponding theory is classifiable, all of its completions are stable, that these completions have quantifier elimination in an appropriate language, and that one of these completions is in fact the model companion. We also show that the class of triples (M, H, N), where M and N are tracial von Neumann algebras and H is an M-N correspondence, form an elementary class. As an application of our framework, we show that a II_1 factor M has property (T) precisely when the set of central vectors form a definable set relative to the theory of M-M correspondences. We then use our approach to give a simpler proof that the class of structures (M, Phi), where M is a sigma-finite von Neumann algebra and Phi is a faithful normal state, forms an elementary class. Finally, we initiate the study of a family of Connes-type ultraproducts on C*-algebras. △ Less

Submitted 13 November, 2019; v1 submitted 31 August, 2018; originally announced September 2018.

Comments: Additional material added to preliminaries section; some typos fixed

MSC Class: 03C98 46L10

The Urysohn sphere is pseudofinite

Authors: Isaac Goldbring, Bradd Hart

Abstract: We show that the Urysohn sphere is pseudofinite. As a consequence, we derive an approximate $0$-$1$ law for finite metric spaces of diameter at most $1$. We show that the Urysohn sphere is pseudofinite. As a consequence, we derive an approximate $0$-$1$ law for finite metric spaces of diameter at most $1$. △ Less

Submitted 4 November, 2019; v1 submitted 17 August, 2017; originally announced August 2017.

Comments: The main result in the paper is incorrect. A new paper with a correct result has recently been uploaded as a replacement

Explicit sentences distinguishing McDuff's II$_1$ factors

Authors: Isaac Goldbring, Bradd Hart, Henry Towsner

Abstract: Recently, Boutonnet, Chifan, and Ioana proved that McDuff's examples of continuum many pairwise non-isomorphic separable II$_1$ factors are in fact pairwise non-elementarily equivalent. Their proof proceeded by showing that any ultrapowers of any two distinct McDuff examples are not isomorphic. In a paper by the first two authors of this paper, Ehrenfeucht-Fraïsse games were used to find an upper… ▽ More Recently, Boutonnet, Chifan, and Ioana proved that McDuff's examples of continuum many pairwise non-isomorphic separable II$_1$ factors are in fact pairwise non-elementarily equivalent. Their proof proceeded by showing that any ultrapowers of any two distinct McDuff examples are not isomorphic. In a paper by the first two authors of this paper, Ehrenfeucht-Fraïsse games were used to find an upper bound on the quantifier complexity of sentences distinguishing the McDuff examples, leaving it as an open question to find concrete sentences distinguishing the McDuff factors. In this paper, we answer this question by providing such concrete sentences. △ Less

Submitted 26 January, 2017; originally announced January 2017.

Comments: 10 pages

Groups whose locally maximal product-free sets are complete

Authors: Chimere S. Anabanti, Grahame Erskine, Sarah B. Hart

Abstract: Let $G$ be a finite group and $S$ a subset of $G$. Then $S$ is product-free if $S \cap SS = \emptyset$, and complete if $G^{\ast} \subseteq S \cup SS$. A product-free set is locally maximal if it is not contained in a strictly larger product-free set. If $S$ is product-free and complete then $S$ is locally maximal, but the converse does not necessarily hold. Street and Whitehead [J. Combin. Theory… ▽ More Let $G$ be a finite group and $S$ a subset of $G$. Then $S$ is product-free if $S \cap SS = \emptyset$, and complete if $G^{\ast} \subseteq S \cup SS$. A product-free set is locally maximal if it is not contained in a strictly larger product-free set. If $S$ is product-free and complete then $S$ is locally maximal, but the converse does not necessarily hold. Street and Whitehead [J. Combin. Theory Ser. A 17 (1974), 219--226] defined a group $G$ as filled if every locally maximal product-free set $S$ in $G$ is complete (the term comes from their use of the phrase `$S$ fills $G$' to mean $S$ is complete). They classified all abelian filled groups, and conjectured that the finite dihedral group of order $2n$ is not filled when $n=6k+1$ ($k\geq 1$). The conjecture was disproved by two of the current authors in [Austral. J. Combin. 63 (3) (2015), 385--398], where we also classified the filled groups of odd order. In this paper we classify filled dihedral groups, filled nilpotent groups and filled groups of order $2^np$ where $p$ is an odd prime. We use these results to determine all filled groups of order up to 2000. △ Less

Submitted 30 September, 2016; originally announced September 2016.

Comments: 16 pages, preprint

Report number: Birkbeck Mathematics Preprint Series Number 25

Metric logical categories and conceptual completeness for first order continuous logic

Authors: Jean-Martin Albert, Bradd Hart

Abstract: 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. 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. △ Less

Submitted 11 July, 2016; originally announced July 2016.

Model theory of $\mathrm{C}^*$-algebras

Authors: I. Farah, B. Hart, M. Lupini, L. Robert, A. Tikuisis, A. Vignati, W. Winter

Abstract: We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic. We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic. △ Less

Submitted 13 April, 2018; v1 submitted 25 February, 2016; originally announced February 2016.

Comments: To appear in Memoirs of the Amer. Math. Soc

Report number: SOAR-GMJT-02 MSC Class: 03C98; 46L35

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

Authors: Isaac Goldbring, Bradd Hart

Abstract: 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. 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. △ Less

Submitted 4 February, 2016; originally announced February 2016.

Comments: 14 pages

On a conjecture of Street and Whitehead on locally maximal product-free sets

Authors: Chimere S. Anabanti, Sarah B. Hart

Abstract: Let $S$ be a non-empty subset of a group $G$. We say $S$ is product-free if $S\cap SS=\varnothing$, and $S$ is locally maximal if whenever $T$ is product-free and $S\subseteq T$, then $S=T$. Finally $S$ fills $G$ if $G^*\subseteq S \sqcup SS$ (where $G^*$ is the set of all non-identity elements of $G$), and $G$ is a filled group if every locally maximal product-free set in $G$ fills $G$. Street an… ▽ More Let $S$ be a non-empty subset of a group $G$. We say $S$ is product-free if $S\cap SS=\varnothing$, and $S$ is locally maximal if whenever $T$ is product-free and $S\subseteq T$, then $S=T$. Finally $S$ fills $G$ if $G^*\subseteq S \sqcup SS$ (where $G^*$ is the set of all non-identity elements of $G$), and $G$ is a filled group if every locally maximal product-free set in $G$ fills $G$. Street and Whitehead (in `Group Ramsey Theory', J. Comb. Theory Series A, 17 (1974) 219-226) investigated filled groups and gave a classification of filled abelian groups. In this paper, we obtain some results about filled groups in the non-abelian case, including a classification of filled groups of odd order. Street and Whitehead conjectured that the finite dihedral group of order $2n$ is not filled when $n=6k+1$ ($k\geq 1$). We disprove this conjecture on dihedral groups, and in doing so obtain a classification of locally maximal product-free sets of sizes 3 and 4 in dihedral groups. △ Less

Submitted 8 June, 2015; originally announced June 2015.

Comments: Preprint

Report number: Birkbeck Pure Mathematics Preprint Series number 12 MSC Class: Primary 20D60; Secondary 20P05

Maximal length elements of excess zero in finite Coxeter groups

Authors: Sarah B. Hart, Peter J. Rowley

Abstract: The excess of an element $w$ of a finite Coxeter group $W$ is the minimal value of $l(x) + l(y) - l(w)$, where $x$, $y$ are elements of $W$ such that $x^2 = y^2 = 1$ and $w = xy$. Every element of a finite Coxeter group is either an involution or the product of two involutions, so the concept of excess is well defined. It can be extended to strongly real classes of infinite Coxeter groups. Earlier… ▽ More The excess of an element $w$ of a finite Coxeter group $W$ is the minimal value of $l(x) + l(y) - l(w)$, where $x$, $y$ are elements of $W$ such that $x^2 = y^2 = 1$ and $w = xy$. Every element of a finite Coxeter group is either an involution or the product of two involutions, so the concept of excess is well defined. It can be extended to strongly real classes of infinite Coxeter groups. Earlier work by the authors showed that every conjugacy class of a finite Coxeter group contains an element of minimal length and excess zero. The current paper shows that each conjugacy class also contains an element of maximal length and excess zero. △ Less

Submitted 27 August, 2015; v1 submitted 18 March, 2015; originally announced March 2015.

Comments: preprint

Relative commutants of strongly self-absorbing C*-algebras

Authors: Ilijas Farah, Bradd Hart, Mikael Rørdam, Aaron Tikuisis

Abstract: 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 othe… ▽ More 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. △ Less

Submitted 16 April, 2016; v1 submitted 18 February, 2015; originally announced February 2015.

Comments: Some minor corrections

Report number: CPH-SYM-DNRF92, SOAR-GMJT-01 MSC Class: 03C98; 46L05

Warkworth 12m VLBI Station: WARK12M - 2014

Authors: Stuart Weston, Tim Natusch, Lewis Woodburn, Ben Hart, Sergei Gulyaev

Abstract: The Warkworth Radio Astronomical Observatory is operated by the Institute for Radio Astronomy and Space Research (IRASR), AUT University, Auckland, New Zealand. Here we review the characteristics of the VLBI station facilities and report on a number of activities and technical developments in 2014. The Warkworth Radio Astronomical Observatory is operated by the Institute for Radio Astronomy and Space Research (IRASR), AUT University, Auckland, New Zealand. Here we review the characteristics of the VLBI station facilities and report on a number of activities and technical developments in 2014. △ Less

Submitted 1 February, 2015; originally announced February 2015.

Comments: 4 pages, 3 figures, 3 tables, IVS Annual Report 2014

Fraïssé limits of C*-algebras

Authors: Christopher J. Eagle, Ilijas Farah, Bradd Hart, Boris Kadets, Vladyslav Kalashnyk, Martino Lupini

Abstract: 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. 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. △ Less

Submitted 14 November, 2016; v1 submitted 14 November, 2014; originally announced November 2014.

Comments: 19 pages. Final submitted version

Journal ref: J. Symb. Log. 81 (2016), no. 2, 755-773

Involution Products in Coxeter Groups

Authors: Sarah B. Hart, Peter J. Rowley

Abstract: For $W$ a Coxeter group, let $\mathcal{W} = \{ w \in W \;| \; w = xy \; \mbox{where} \; x, y \in W \; \mbox{and} \; x^2 = 1 = y^2 \}$. If $W$ is finite, then it is well known that $W = \mathcal{W}$. Suppose that $w \in \mathcal{W}$. Then the minimum value of $\ell(x) + \ell(y) - \ell(w)$, where $x, y \in W$ with $w = xy$ and $x^2 = 1 = y^2$, is called the \textit{excess} of $w$ ($\ell$ is the leng… ▽ More For $W$ a Coxeter group, let $\mathcal{W} = \{ w \in W \;| \; w = xy \; \mbox{where} \; x, y \in W \; \mbox{and} \; x^2 = 1 = y^2 \}$. If $W$ is finite, then it is well known that $W = \mathcal{W}$. Suppose that $w \in \mathcal{W}$. Then the minimum value of $\ell(x) + \ell(y) - \ell(w)$, where $x, y \in W$ with $w = xy$ and $x^2 = 1 = y^2$, is called the \textit{excess} of $w$ ($\ell$ is the length function of $W$). The main result established here is that $w$ is always $W$-conjugate to an element with excess equal to zero. △ Less

Submitted 13 May, 2014; originally announced May 2014.

Comments: This is the preprint version. We also include, on the final page, a short Corrigendum correcting an error in Theorem 1.1. We are grateful to the referee of a later paper for pointing this out. The Corrigendum appeared as "Corrigendum to Involution products in Coxeter groups [J. Group Theory 14 (2011), no. 2, 251--259]" in J. Group Theory 17 (2014), no. 2, 379--380

Journal ref: S.B. Hart and P.J.Rowley. {\em Involution Products in Coxeter Groups}, J. Group Theory 14 (2011), no. 2, 251--259

On Excess in Finite Coxeter Groups

Authors: Sarah B. Hart, Peter J. Rowley

Abstract: For a finite Coxeter group $W$ and $w$ an element of $W$ the `excess' of $w$ is defined to be $e(w) = \min\{\ell(x) + \ell(y) - \ell(w) \; | \; w=xy, \; x^2 = y^2 = 1\}$ where $\ell$ is the length function on $W$. Here we investigate the behaviour of $e(w)$, and a related concept reflection excess, when restricted to standard parabolic subgroups of $W$. Also the set of involutions inverting $w$ is… ▽ More For a finite Coxeter group $W$ and $w$ an element of $W$ the `excess' of $w$ is defined to be $e(w) = \min\{\ell(x) + \ell(y) - \ell(w) \; | \; w=xy, \; x^2 = y^2 = 1\}$ where $\ell$ is the length function on $W$. Here we investigate the behaviour of $e(w)$, and a related concept reflection excess, when restricted to standard parabolic subgroups of $W$. Also the set of involutions inverting $w$ is studied. △ Less

Submitted 12 May, 2014; originally announced May 2014.

Comments: This is a preprint version. It has been accepted, subject to revision, in J. Pure Appl. Alg

Zero Excess and Minimal Length in Finite Coxeter Groups

Authors: Sarah B. Hart, Peter J. Rowley

Abstract: Let $\mathcal{W}$ be the set of strongly real elements of $W$, a Coxeter group. Then for $w \in \mathcal{W}$, $e(w)$, the excess of $w$, is defined by $e(w) = \min\{\ell(x) + \ell(y) - \ell(w) \; | \; w=xy, x^2 = y^2 = 1\}$. When $W$ is finite we may also define $E(w)$, the reflection excess of $w$. The main result established here is that if $W$ is finite and $X$ is a $W$-conjugacy class, then th… ▽ More Let $\mathcal{W}$ be the set of strongly real elements of $W$, a Coxeter group. Then for $w \in \mathcal{W}$, $e(w)$, the excess of $w$, is defined by $e(w) = \min\{\ell(x) + \ell(y) - \ell(w) \; | \; w=xy, x^2 = y^2 = 1\}$. When $W$ is finite we may also define $E(w)$, the reflection excess of $w$. The main result established here is that if $W$ is finite and $X$ is a $W$-conjugacy class, then there exists $w \in X$ such that $w$ has minimal length in $X$ and $e(w) = 0 = E(w)$. △ Less

Submitted 12 May, 2014; originally announced May 2014.

Comments: This is the preprint version of: Zero Excess and Minimal Length in Finite Coxeter Groups, J. Group Theory 15 (2012), no. 4, 497--512

Journal ref: Sarah B. Hart and Peter J. Rowley, Zero Excess and Minimal Length in Finite Coxeter Groups, J. Group Theory 15 (2012), no. 4, 497--512

Involution Statistics in Finite Coxeter Groups

Authors: Sarah B. Hart, Peter J. Rowley

Abstract: Let $W$ be a finite Coxeter group and $X$ a subset of $W$. The length polynomial $L_{W,X}(t)$ is defined by $L_{W,X}(t) = \sum_{x \in X} t^{\ell(x)}$, where $\ell$ is the length function on $W$. In this article we derive expressions for the length polynomial where $X$ is any conjugacy class of involutions, or the set of all involutions, in any finite Coxeter group $W$. In particular, these results… ▽ More Let $W$ be a finite Coxeter group and $X$ a subset of $W$. The length polynomial $L_{W,X}(t)$ is defined by $L_{W,X}(t) = \sum_{x \in X} t^{\ell(x)}$, where $\ell$ is the length function on $W$. In this article we derive expressions for the length polynomial where $X$ is any conjugacy class of involutions, or the set of all involutions, in any finite Coxeter group $W$. In particular, these results correct errors in the paper "Permutation statistics on involutions", W.M.B. Dukes., European J. Combin. 28 (2007), 186--198. for the involution length polynomials of Coxeter groups of type $B_n$ and $D_n$. Moreover, we give a counterexample to a unimodality conjecture of Dukes. △ Less

Submitted 28 March, 2014; originally announced March 2014.

Universal covers of commutative finite Morley rank groups

Authors: Martin Bays, Bradd Hart, Anand Pillay

Abstract: We give an algebraic description of the structure of the analytic universal cover of a complex abelian variety which suffices to determine the structure up to isomorphism. More generally, we classify the models of theories of "universal covers" of rigid divisible commutative finite Morley rank groups. We give an algebraic description of the structure of the analytic universal cover of a complex abelian variety which suffices to determine the structure up to isomorphism. More generally, we classify the models of theories of "universal covers" of rigid divisible commutative finite Morley rank groups. △ Less

Submitted 7 March, 2018; v1 submitted 19 March, 2014; originally announced March 2014.

Comments: v2: substantial revision; v3: various minor improvements

MSC Class: 03C45; 03C60; 14K99

Journal ref: J. Inst. Math. Jussieu 19 (2020), no. 3, 767-799

Existentially closed II_1 factors

Authors: Ilijas Farah, Isaac Goldbring, Bradd Hart, David Sherman

Abstract: 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… ▽ More 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). △ Less

Submitted 18 October, 2013; originally announced October 2013.

Comments: 22 pages

A computability-theoretic reformulation of the Connes Embedding Problem

Authors: Isaac Goldbring, Bradd Hart

Abstract: 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. 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. △ Less

Submitted 12 August, 2013; originally announced August 2013.

Comments: 9 pages

Amalgamating R^ω-embeddable von Neumann algebras

Authors: Ilijas Farah, Isaac Goldbring, Bradd Hart

Abstract: 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. 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. △ Less

Submitted 28 January, 2013; originally announced January 2013.

Comments: 6 pages

Omitting types and AF algebras

Authors: Kevin Carlson, Enoch Cheung, Ilijas Farah, Alexander Gerhardt-Bourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira, Alexander Sherman

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

Submitted 23 December, 2012; v1 submitted 14 December, 2012; originally announced December 2012.

Comments: The present version includes an additional section with the relevant model-theoretic background

Quasiminimal structures and excellence

Authors: Martin Bays, Bradd Hart, Tapani Hyttinen, Meeri Kesälä, Jonathan Kirby

Abstract: 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. 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. △ Less

Submitted 27 October, 2013; v1 submitted 6 October, 2012; originally announced October 2012.

Comments: Detail added to proof of 5.2; publication info added

MSC Class: 03C45

Journal ref: Bulletin of the London Mathematical Society, 46(1): 155-163, 2014

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

Authors: Isaac Goldbring, Bradd Hart, Thomas Sinclair

Abstract: 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. 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. △ Less

Submitted 26 July, 2012; v1 submitted 30 June, 2012; originally announced July 2012.

Comments: 6 pages; this version no longer relies on the Connes Embedding Problem to establish the main result

Countable saturation of corona algebras

Authors: Ilijas Farah, Bradd Hart

Abstract: 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 stru… ▽ More 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. △ Less

Submitted 16 October, 2012; v1 submitted 16 December, 2011; originally announced December 2011.

Comments: To appear in Comptes Rendus Mathématiques

Model theory of operator algebras III: Elementary equivalence and II_1 factors

Authors: Ilijas Farah, Bradd Hart, David Sherman

Abstract: We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II_1 factors and their ultrapowers. Among other things, we show that for any II_1 factor M, there are continuum many nonisomorphic separable II_1 factors that have an ultrapower isomorphic to an ultrapower of M. We also give a poor man's resolution of the Connes Embedding Problem: there exists a… ▽ More We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II_1 factors and their ultrapowers. Among other things, we show that for any II_1 factor M, there are continuum many nonisomorphic separable II_1 factors that have an ultrapower isomorphic to an ultrapower of M. We also give a poor man's resolution of the Connes Embedding Problem: there exists a separable II_1 factor such that all II_1 factors embed into one of its ultrapowers. △ Less

Submitted 3 November, 2011; originally announced November 2011.

Comments: 16 pages

MSC Class: 46L10; 03C20; 03C98

Model theory of operator algebras II: Model theory

Authors: Ilijas Farah, Bradd Hart, David Sherman

Abstract: 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. 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. △ Less

Submitted 14 July, 2013; v1 submitted 5 April, 2010; originally announced April 2010.

Comments: 20 pages; references are not missing this time

MSC Class: 46L05; 46L10; 03C20; 03C98

Model theory of operator algebras I: Stability

Authors: Ilijas Farah, Bradd Hart, David Sherman

Abstract: 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. 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. △ Less

Submitted 8 August, 2012; v1 submitted 19 August, 2009; originally announced August 2009.

Comments: 15 pages; v3 - some rewriting

MSC Class: 03C45; 03C98; 46L05; 46L10; 46M07

Evolution of Substructure in Galaxy Clusters as Observed in X-Rays

Authors: Brian C. Hart

Abstract: Clusters of galaxies are the largest gravitationally-bound objects in the Universe, having diameters on order of Mpc. Our work asked whether their shapes (morphologies) change over time as the Universe ages. We observed a sample of 165 galaxy clusters, at 0.1 < z < 1.3. A variety of measures were used to quantify the shapes of galaxy clusters. Archive observations from the Chandra X-Ray Observat… ▽ More Clusters of galaxies are the largest gravitationally-bound objects in the Universe, having diameters on order of Mpc. Our work asked whether their shapes (morphologies) change over time as the Universe ages. We observed a sample of 165 galaxy clusters, at 0.1 < z < 1.3. A variety of measures were used to quantify the shapes of galaxy clusters. Archive observations from the Chandra X-Ray Observatory were used. Morphology evolution was probed at two different distances from clusters' centers -- 300 kpc and 500 kpc -- for comparison. In almost all cases, we were able to rule out that clusters retain their morphology over the history of the Universe, which is in agreement with our current picture of large-scale structure formation. In addition, we found that ellipticities, as a means of quantifying morphologies, are of limited use in studies such as this work. △ Less

Submitted 22 October, 2008; v1 submitted 27 January, 2008; originally announced January 2008.

Comments: PhD Thesis, 180 pages, 25 figures, LaTeX

On the Problems of Hazardous Matter and Radiation at Faster than Light Speeds in the Warp Drive Space-Time

Authors: C. B. Hart, R. Held, P. K. Hoiland, S. Jenks, F. Loup, D. Martins, J. Nyman, J. P. Pertierra, P. A. Santos, M. A. Shore, R. Sims, M. Stabno, T. O. M. Teage

Abstract: The problems of hazardous radiation and collisions with matter on a warp driven ship pose considerable obstacles to this possibility for interstellar travel. A solution to these problems lies in the Broeck metric. It is demonstrated that both threats to the ship will be greatly reduced. It is also shown that the horizon problem no longer exists. The problems of hazardous radiation and collisions with matter on a warp driven ship pose considerable obstacles to this possibility for interstellar travel. A solution to these problems lies in the Broeck metric. It is demonstrated that both threats to the ship will be greatly reduced. It is also shown that the horizon problem no longer exists. △ Less

Submitted 27 July, 2002; originally announced July 2002.

Comments: 9 pages

The uncountable spectra of countable theories

Authors: Bradd Hart, Ehud Hrushovski, Michael C. Laskowski

Abstract: 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… ▽ More 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. △ Less

Submitted 30 June, 2000; originally announced July 2000.

Comments: 51 pages, published version, abstract added in migration

Report number: Annals migration 4-2001

Journal ref: Ann. of Math. (2) 152 (2000), no. 1, 207-257

Models with second order properties, V: A General principle

Authors: Bradd Hart, Claude Laflamme, Saharon Shelah

Abstract: We present a general framework for carrying out some constructions. The unifying factor is a combinatorial principle which we present in terms of a game in which the first player challenges the second player to carry out constructions which would be much easier in a generic extension of the universe, and the second player cheats with the aid of Diamond. Section 1 contains an axiomatic framework… ▽ More We present a general framework for carrying out some constructions. The unifying factor is a combinatorial principle which we present in terms of a game in which the first player challenges the second player to carry out constructions which would be much easier in a generic extension of the universe, and the second player cheats with the aid of Diamond. Section 1 contains an axiomatic framework suitable for the description of a number of related constructions, and the statement of the main theorem in terms of this framework. In section 2 we illustrate the use of our combinatorial principle. The proof of the main result is then carried out in sections 3-5. △ Less

Submitted 14 November, 1993; originally announced November 1993.

Report number: Shelah [HLSh:162]

Journal ref: Ann. Pure Appl. Logic 64 (1993), 169--194

Categoricity over P for first order T or categoricity for phi in L_{omega_1 omega} can stop at aleph_k while holding for aleph_0, ..., aleph_{k-1}

Authors: Bradd Hart, Saharon Shelah

Abstract: Suppose L is a relational language and P in L is a unary predicate. If M is an L-structure then P(M) is the L-structure formed as the substructure of M with domain {a: M models P(a)}. Now suppose T is a complete first order theory in L with infinite models. Following Hodges, we say that T is relatively lambda-categorical if whenever M, N models T, P(M)=P(N), |P(M)|= lambda then there is an isomo… ▽ More Suppose L is a relational language and P in L is a unary predicate. If M is an L-structure then P(M) is the L-structure formed as the substructure of M with domain {a: M models P(a)}. Now suppose T is a complete first order theory in L with infinite models. Following Hodges, we say that T is relatively lambda-categorical if whenever M, N models T, P(M)=P(N), |P(M)|= lambda then there is an isomorphism i:M-> N which is the identity on P(M). T is relatively categorical if it is relatively lambda-categorical for every lambda. The question arises whether the relative lambda-categoricity of T for some lambda >|T| implies that T is relatively categorical. In this paper, we provide an example, for every k>0, of a theory T_k and an L_{omega_1 omega} sentence varphi_k so that T_k is relatively aleph_n-categorical for n < k and varphi_k is aleph_n-categorical for n<k but T_k is not relatively beth_k-categorical and varphi_k is not beth_k-categorical. △ Less

Submitted 14 January, 1990; originally announced January 1992.

Report number: Shelah [HaSh:323]

Journal ref: Israel J. Math. 70 (1990), 219--235