The pseudoarc is a co-existentially closed continuum
Logic
2016-07-04 v2 General Topology
Operator Algebras
Abstract
Answering a question of P. Bankston, we show that the pseudoarc is a co-existentially closed continuum. We also show that , for a nondegenerate continuum, can never have quantifier elimination, answering a question of the the first and third named authors and Farah and Kirchberg.
Cite
@article{arxiv.1503.03443,
title = {The pseudoarc is a co-existentially closed continuum},
author = {Christopher J. Eagle and Isaac Goldbring and Alessandro Vignati},
journal= {arXiv preprint arXiv:1503.03443},
year = {2016}
}
Comments
12 pages, in v2 has a modified version of the prof of Theorem 2.1