The pseudoarc is a co-existentially closed continuum

DOI10.1016/J.TOPOL.2016.04.008zbMATHOpenAlexMaRDI QIDQ284596FDO

Authors Christopher J. Eagle, Isaac Goldbring, Alessandro Vignati

Publication date 18 May 2016

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1503.03443

zbMATH Keywords

continuumexistentially closedpseudoarc

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) Function spaces in general topology (54C35) Compact (locally compact) metric spaces (54E45) Continua and generalizations (54F15) Models of other mathematical theories (03C65) Model-theoretic forcing (03C25)

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.

Recommendations

• Publication:3973754
• Publication:5290612
• The pseudo-arc through model theory
• A note on an unusual characterization of the pseudo-arc
• Hereditarily non-weakly chainable continua in products of plane continua

Cites work

• scientific article; zbMATH DE number 5802152 (Why is no real title available?)
• scientific article; zbMATH DE number 3935947 (Why is no real title available?)
• scientific article; zbMATH DE number 1569422 (Why is no real title available?)
• scientific article; zbMATH DE number 5020251 (Why is no real title available?)
• A complete classification of hereditarily equivalent plane continua
• A hierarchy of maps between compacta
• Base-free formulas in the lattice-theoretic study of compacta
• Existentially closed \(\mathrm{ II}_1\) factors
• Generic separable metric structures
• Model theory of operator algebras. II: Model theory
• On Kirchberg's embedding problem
• On ultracoproducts of compact hausdorff spaces
• Reduced coproducts of compact Hausdorff spaces
• Saturation and elementary equivalence of \(C^\ast\)-algebras
• Some applications of the ultrapower theorem to the theory of compacta
• The Chang-Łoś-Suszko theorem in a topological setting

Cited in

(10)

• On continuous images of ultra-arcs
• Concrete barriers to quantifier elimination in finite dimensional \(C^*\)-algebras
• AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS
• Model theory of \(C^*\)-algebras
• K-theory of co-existentially closed continua
• Model-theoretic properties of dynamics on the Cantor set
• Model theory and Rokhlin dimension for compact quantum group actions
• Enforceable operator algebras
• Omitting types in logic of metric structures
• Saturation and elementary equivalence of \(C^\ast\)-algebras

This page was built for publication: The pseudoarc is a co-existentially closed continuum

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q284596)