No CrossRef data available.
Article contents
A CLASS OF FIELDS WITH A RESTRICTED MODEL COMPLETENESS PROPERTY
Published online by Cambridge University Press: 26 March 2021
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.
MSC classification
- Type
- Article
- Information
- Copyright
- © The Association for Symbolic Logic 2021