The pseudoarc is a co-existentially closed continuum
arXiv:1503.03443 · doi:10.1016/j.topol.2016.04.008
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.
12 pages, in v2 has a modified version of the prof of Theorem 2.1