A P-adic structure which does not interpret an infinite field but whose Shelah completion does
Logic
2020-06-02 v1
Abstract
We give a -adic example of a structure whose Shelah completion interprets but which does not (provided an extremely plausible conjecture holds) interpret an infinite field. In the final section we discuss the significance of such examples for a possible future geometric theory of structures.
Cite
@article{arxiv.2006.00137,
title = {A P-adic structure which does not interpret an infinite field but whose Shelah completion does},
author = {Erik Walsberg},
journal= {arXiv preprint arXiv:2006.00137},
year = {2020}
}