The pseudoarc is a co-existentially closed continuum

DOI10.1016/J.TOPOL.2016.04.008zbMATH Open1338.54141arXiv1503.03443OpenAlexW2167217619MaRDI QIDQ284596FDOQ284596

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

Publication date: 18 May 2016

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

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.

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

Recommendations

• scientific article; zbMATH DE number 17059
• scientific article; zbMATH DE number 5020251
• 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

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)

Cites Work

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

Cited In (10)

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

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)