A Class of Fields With a Restricted Model Completeness Property
Year: 2021
Type: article
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.
Source: Journal of Symbolic Logic
DOI: 10.1017/jsl.2021.28
Authors: PHILIP DITTMANN, DION LEIJNSE
Institutions: Technische Universität Dresden, Radboud University Nijmegen
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2987964294