A CLASS OF FIELDS WITH A RESTRICTED MODEL COMPLETENESS PROPERTY

DOI10.1017/jsl.2021.28zbMath1496.12003arXiv1911.03202OpenAlexW3151910078MaRDI QIDQ5159495

Dion Leijnse, Philip Dittmann

Publication date: 27 October 2021

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

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

zbMATH Keywords

definabilitymodel completefield theorypolynomial idealdiophantineexistential 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

• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• Field Arithmetic
• Notes on the stability of separably closed fields
• Undecidability and Definability for the Theory of Global Fields
• Irreducibility of polynomials over global fields is diophantine
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A CLASS OF FIELDS WITH A RESTRICTED MODEL COMPLETENESS PROPERTY