A class of fields with a restricted model completeness property

DOI10.1017/JSL.2021.28zbMATH Open1496.12003arXiv1911.03202OpenAlexW3151910078MaRDI QIDQ5159495FDOQ5159495

Authors: Philip Dittmann, Dion Leijnse 

Publication date: 27 October 2021

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Field Arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• Notes on the stability of separably closed fields
• Title not available (Why is that?)
• Undecidability and Definability for the Theory of Global Fields
• Irreducibility of polynomials over global fields is diophantine

Cited In (3)

• Title not available (Why is that?)
• 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)