On pp elimination and stability in a continuous setting
Logic
2021-09-10 v2
Abstract
We generalize pp elimination for modules, or more generally abelian structures, to a continuous logic environment where the abelian structure is equipped with a homomorphism to a compact (Hausdorff) group. We conclude that the continuous logic theory of such a structure is stable.
Cite
@article{arxiv.2107.14329,
title = {On pp elimination and stability in a continuous setting},
author = {Nicolas Chavarria Gomez and Anand Pillay},
journal= {arXiv preprint arXiv:2107.14329},
year = {2021}
}
Comments
18 pages A few corrections are made and examples added. And a translation with the usual version of continuous logic is given