Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1686

Preprint Number 1686

Previous Next Preprint server

1686. Philip Dittmann and Dion Leijnse
A class of fields with a restricted model completeness property

Submission date: 8 November 2019


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.

Mathematics Subject Classification: 12L12 (Primary) 03C10, 12E05 (Secondary)

Keywords and phrases:

Full text arXiv 1911.03202: pdf, ps.

Last updated: November 15 2019 16:16 Please send your corrections to: