Imaginaries, invariant types and pseudo p-adically closed fields
Logic
2019-10-28 v3
Abstract
In this paper, we give a very general criterion for elimination of imaginaries using an abstract independent relation. We also study germs of definable functions at certain well-behaved invariant types. Finally we apply these tools to the elimination of imaginaries in bounded pseudo-p-adically closed fields.
Keywords
Cite
@article{arxiv.1802.00256,
title = {Imaginaries, invariant types and pseudo p-adically closed fields},
author = {Samaria Montenegro and Silvain Rideau},
journal= {arXiv preprint arXiv:1802.00256},
year = {2019}
}
Comments
Minor corrections. Acknowledgement of support by ValCoMo (ANR-13-BS01-0006) added