References & Citations
Mathematics > Logic
Title: A class of fields with a restricted model completeness property
(Submitted on 8 Nov 2019 (v1), last revised 15 Dec 2019 (this version, 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.
Submission history
From: Dion Leijnse [view email][v1] Fri, 8 Nov 2019 11:49:55 GMT (10kb)
[v2] Sun, 15 Dec 2019 11:56:30 GMT (10kb)
Link back to: arXiv, form interface, contact.