Showing 1–13 of 13 results for author: Eagle, C J

Computable Gelfand Duality

Authors: Peter Burton, Christopher J. Eagle, Alec Fox, Isaac Goldbring, Matthew Harrison-Trainor, Timothy H. McNicholl, Alexander Melnikov, Teerawat Thewmorakot

Abstract: We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras. We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras. △ Less

Submitted 20 March, 2024; v1 submitted 26 February, 2024; originally announced February 2024.

MSC Class: 03D78; 03D45; 46LO5

Relative topological principality and the ideal intersection property for groupoid C*-algebras

Authors: Chris J. Eagle, Gavin Goerke, Marcelo Laca

Abstract: We introduce the notion of relative topological principality for a family $\{H_α\}$ of open subgroupoids of a Hausdorff étale groupoid $G$. The C*-algebras $C^*_r(H_α)$ of the groupoids $H_α$ embed in $ C^*_r(G)$ and we show that if $G$ is topologically principal relative to $\{H_α\}$ then a representation of $C^*_r(G)$ is faithful if and only if its restriction to each of the subalgebras… ▽ More We introduce the notion of relative topological principality for a family $\{H_α\}$ of open subgroupoids of a Hausdorff étale groupoid $G$. The C*-algebras $C^*_r(H_α)$ of the groupoids $H_α$ embed in $ C^*_r(G)$ and we show that if $G$ is topologically principal relative to $\{H_α\}$ then a representation of $C^*_r(G)$ is faithful if and only if its restriction to each of the subalgebras $C^*_r(H_α)$ is faithful. This variant of the ideal intersection property potentially involves several subalgebras, and gives a new method of verifying injectivity of representations of reduced groupoid C*-algebras. As applications we prove a uniqueness theorem for Toeplitz C*-algebras of left cancellative small categories that generalizes a recent result of Laca and Sehnem for Toeplitz algebras of group-embeddable monoids, and we also discuss and compare concrete examples arising from integer arithmetic. △ Less

Submitted 16 January, 2024; v1 submitted 5 December, 2023; originally announced December 2023.

Comments: 17 pages

MSC Class: 46L55

$K$-theory of co-existentially closed continua

Authors: Christopher J. Eagle, Joshua Lau

Abstract: We describe the possible values of $K$-theory for $C(X)$ when $X$ is a co-existentially closed continuum. As a consequence we also show that all pseudo-solenoids, except perhaps the universal one, are not co-existentially closed. We describe the possible values of $K$-theory for $C(X)$ when $X$ is a co-existentially closed continuum. As a consequence we also show that all pseudo-solenoids, except perhaps the universal one, are not co-existentially closed. △ Less

Submitted 23 January, 2024; v1 submitted 1 September, 2023; originally announced September 2023.

Comments: 16 pages

An undecidable extension of Morley's theorem on the number of countable models

Authors: Christopher J. Eagle, Clovis Hamel, Sandra Müller, Franklin D. Tall

Abstract: We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of $σ$-projective equivalence relations in several models of set theory. Our methods include random and Cohen forcing, Woodin cardinals and Inner Model Theory. We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of $σ$-projective equivalence relations in several models of set theory. Our methods include random and Cohen forcing, Woodin cardinals and Inner Model Theory. △ Less

Submitted 5 July, 2023; v1 submitted 15 July, 2021; originally announced July 2021.

Comments: 29 pages

Model theoretic properties of dynamics on the Cantor set

Authors: Christopher J. Eagle, Alan Getz

Abstract: We examine topological dynamical systems on the Cantor set from the point of view of the continuous model theory of commutative C*-algebras. After some general remarks we focus our attention on the generic homeomorphism of the Cantor set, as constructed by Akin, Glasner, and Weiss. We show that this homeomorphism is the prime model of its theory. We also show that the notion of "generic" used by A… ▽ More We examine topological dynamical systems on the Cantor set from the point of view of the continuous model theory of commutative C*-algebras. After some general remarks we focus our attention on the generic homeomorphism of the Cantor set, as constructed by Akin, Glasner, and Weiss. We show that this homeomorphism is the prime model of its theory. We also show that the notion of "generic" used by Akin, Glasner, and Weiss is distinct from the notion of "generic" encountered in Fraisse theory. △ Less

Submitted 23 March, 2021; originally announced March 2021.

Comments: 14 pages

Concrete Barriers to Quantifier Elimination in Finite-Dimensional C*-algebras

Authors: Christopher J. Eagle, Todd Schmid

Abstract: Work of Eagle, Farah, Goldbring, Kirchberg, and Vignati shows that the only separable C*-algebras that admit quantifier elimination in continuous logic are $\mathbb{C},$ $\mathbb{C}^2,$ $M_2(\mathbb{C}),$ and the continuous functions on the Cantor set. We show that, among finite dimensional C*-algebras, quantifier elimination does hold if the language is expanded to include two new predicate symbo… ▽ More Work of Eagle, Farah, Goldbring, Kirchberg, and Vignati shows that the only separable C*-algebras that admit quantifier elimination in continuous logic are $\mathbb{C},$ $\mathbb{C}^2,$ $M_2(\mathbb{C}),$ and the continuous functions on the Cantor set. We show that, among finite dimensional C*-algebras, quantifier elimination does hold if the language is expanded to include two new predicate symbols: One for minimal projections, and one for pairs of unitarily conjugate projections. Both of these predicates are definable, but not quantifier-free definable, in the usual language of C*-algebras. We also show that adding just the predicate for minimal projections is sufficient in the case of full matrix algebras, but that in general both new predicate symbols are required. △ Less

Submitted 30 May, 2019; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: 11 pages

MSC Class: 03C10; 03C65; 46L05

Omitting Types and the Baire Category Theorem

Authors: Christopher J. Eagle, Franklin D. Tall

Abstract: The Omitting Types Theorem in model theory and the Baire Category Theorem in topology are known to be closely linked. We examine the precise relation between these two theorems. Working with a general notion of logic we show that the classical Omitting Types Theorem holds for a logic if a certain associated topological space has all closed subspaces Baire. We also consider stronger Baire category… ▽ More The Omitting Types Theorem in model theory and the Baire Category Theorem in topology are known to be closely linked. We examine the precise relation between these two theorems. Working with a general notion of logic we show that the classical Omitting Types Theorem holds for a logic if a certain associated topological space has all closed subspaces Baire. We also consider stronger Baire category conditions, and hence stronger Omitting Types Theorems, including a game version. We use examples of spaces previously studied in set-theoretic topology to produce abstract logics showing that the game Omitting Types statement is consistently not equivalent to the classical one. △ Less

Submitted 16 October, 2017; originally announced October 2017.

Comments: 17 pages

Expressive power of infinitary [0, 1]-valued logics

Authors: Christopher J. Eagle

Abstract: We consider model-theoretic properties related to the expressive power of three analogues of $L_{ω_1, ω}$ for metric structures. We give an example showing that one of these infinitary logics is strictly more expressive than the other two, but also show that all three have the same elementary equivalence relation for complete separable metric structures. We then prove that a continuous function on… ▽ More We consider model-theoretic properties related to the expressive power of three analogues of $L_{ω_1, ω}$ for metric structures. We give an example showing that one of these infinitary logics is strictly more expressive than the other two, but also show that all three have the same elementary equivalence relation for complete separable metric structures. We then prove that a continuous function on a complete separable metric structure is automorphism invariant if and only if it is definable in the more expressive logic. Several of our results are related to the existence of Scott sentences for complete separable metric structures. △ Less

Submitted 9 August, 2017; v1 submitted 2 December, 2015; originally announced December 2015.

Comments: 15 pages, final version

The pseudoarc is a co-existentially closed continuum

Authors: Christopher J. Eagle, Isaac Goldbring, Alessandro Vignati

Abstract: Answering a question of P. Bankston, we show that the pseudoarc is a co-existentially closed continuum. We also show that $C(X)$, for $X$ a nondegenerate continuum, can never have quantifier elimination, answering a question of the the first and third named authors and Farah and Kirchberg. Answering a question of P. Bankston, we show that the pseudoarc is a co-existentially closed continuum. We also show that $C(X)$, for $X$ a nondegenerate continuum, can never have quantifier elimination, answering a question of the the first and third named authors and Farah and Kirchberg. △ Less

Submitted 15 March, 2016; v1 submitted 11 March, 2015; originally announced March 2015.

Comments: 12 pages, in v2 has a modified version of the prof of Theorem 2.1

MSC Class: 54C35; 54E45; 03C65; 03C25; 46L05

Journal ref: Topology and its Applications 207 (2016), 1-9

Quantifier elimination in C*-algebras

Authors: Christopher J. Eagle, Ilijas Farah, Eberhard Kirchberg, Alessandro Vignati

Abstract: The only C*-algebras that admit elimination of quantifiers in continuous logic are $\mathbb{C}, \mathbb{C}^2$, $C($Cantor space$)$ and $M_2(\mathbb{C})$. We also prove that the theory of C*-algebras does not have model companion and show that the theory of $M_n(\mathcal {O_{n+1}})$ is not $\forall\exists$-axiomatizable for any $n\geq 2$. The only C*-algebras that admit elimination of quantifiers in continuous logic are $\mathbb{C}, \mathbb{C}^2$, $C($Cantor space$)$ and $M_2(\mathbb{C})$. We also prove that the theory of C*-algebras does not have model companion and show that the theory of $M_n(\mathcal {O_{n+1}})$ is not $\forall\exists$-axiomatizable for any $n\geq 2$. △ Less

Submitted 4 October, 2016; v1 submitted 2 February, 2015; originally announced February 2015.

Comments: More improvements and bug fixes. To appear in IMRN

MSC Class: 03C10; 03C65; 03C90; 46L89; 46L05; 46M07

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

Saturation and elementary equivalence of C*-algebras

Authors: Christopher J. Eagle, Alessandro Vignati

Abstract: We study the saturation properties of several classes of $C^*$-algebras. Saturation has been shown by Farah and Hart to unify the proofs of several properties of coronas of $σ$-unital $C^*$-algebras; we extend their results by showing that some coronas of non-$σ$-unital $C^*$-algebras are countably degree-$1$ saturated. We then relate saturation of the abelian $C^*$-algebra $C(X)$, where $X$ is… ▽ More We study the saturation properties of several classes of $C^*$-algebras. Saturation has been shown by Farah and Hart to unify the proofs of several properties of coronas of $σ$-unital $C^*$-algebras; we extend their results by showing that some coronas of non-$σ$-unital $C^*$-algebras are countably degree-$1$ saturated. We then relate saturation of the abelian $C^*$-algebra $C(X)$, where $X$ is $0$-dimensional, to topological properties of $X$, particularly the saturation of $CL(X)$. △ Less

Submitted 12 March, 2015; v1 submitted 18 June, 2014; originally announced June 2014.

Comments: 36 pages. Version 4 is rewritten for clarity in several places

Journal ref: Journal of Functional Analysis 269 (2015) pp. 2631-2664

Omitting types for infinitary [0, 1]-valued logic

Authors: Christopher J. Eagle

Abstract: We describe an infinitary logic for metric structures which is analogous to $L_{ω_1, ω}$. We show that this logic is capable of expressing several concepts from analysis that cannot be expressed in finitary continuous logic. Using topological methods, we prove an omitting types theorem for countable fragments of our infinitary logic. We use omitting types to prove a two-cardinal theorem, which yie… ▽ More We describe an infinitary logic for metric structures which is analogous to $L_{ω_1, ω}$. We show that this logic is capable of expressing several concepts from analysis that cannot be expressed in finitary continuous logic. Using topological methods, we prove an omitting types theorem for countable fragments of our infinitary logic. We use omitting types to prove a two-cardinal theorem, which yields a strengthening of a result of Ben Yaacov and Iovino concerning separable quotients of Banach spaces. △ Less

Submitted 30 May, 2019; v1 submitted 18 April, 2013; originally announced April 2013.

Comments: 22 pages

Journal ref: Annals of Pure and Applied Logic 165 (2014) pp. 913-932