A class of fields with a restricted model completeness property

DOI10.1017/JSL.2021.28MaRDI QIDQ5159495zbMATH OpenOpenAlexFDO

Authors Philip Dittmann, Dion Leijnse

Publication date 27 October 2021

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1911.03202

zbMATH Keywords

definabilityfield theorypolynomial idealmodel completediophantineexistential set

Mathematics Subject Classification ID

Polynomials in general fields (irreducibility, etc.) (12E05) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

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.

Recommendations

• Universally and existentially definable subsets of global fields
• scientific article; zbMATH DE number 804020
• scientific article; zbMATH DE number 3902634
• Elementary geometric local-global principles for fields
• An existential divisibility lemma for global fields

Cites work

• scientific article; zbMATH DE number 3721067 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 858680 (Why is no real title available?)
• scientific article; zbMATH DE number 233957 (Why is no real title available?)
• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• Field Arithmetic
• Irreducibility of polynomials over global fields is diophantine
• Notes on the stability of separably closed fields
• Undecidability and Definability for the Theory of Global Fields

Cited in

(3)

• scientific article; zbMATH DE number 6315710 (Why is no real title available?)
• Maximal \(RC_ \pi\)-fields
• Polynomial mappings defined by forms with a common factor

This page was built for publication: A class of fields with a restricted model completeness property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5159495)