A class of fields with a restricted model completeness property
Logic
2023-06-22 v2
Abstract
We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and in particular obtain a number of new existential (or diophantine) predicates over global fields.
Keywords
Cite
@article{arxiv.1911.03202,
title = {A class of fields with a restricted model completeness property},
author = {Philip Dittmann and Dion Leijnse},
journal= {arXiv preprint arXiv:1911.03202},
year = {2023}
}
Comments
Minor corrections