Arithmetic definability by formulas with two quantifiers

DOI10.2307/2275172MaRDI QIDQ4008742zbMATH OpenOpenAlexFDO

Authors

Publication date 27 September 1992

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

Full work available at URL https://doi.org/10.2307/2275172

zbMATH Keywords

existential quantifieralgebraic number fieldsuniversal quantifierundefinabilityalgebraic integer rings

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Model theory of fields (12L12)

Recommendations

• Arithmetical definability over finite structures
• On explicit definability in arithmetic
• scientific article; zbMATH DE number 1985597
• Implicit definability in arithmetic
• scientific article; zbMATH DE number 1467185
• Arithmetical definability and computational complexity
• scientific article; zbMATH DE number 1827828
• Definability on Formulas With Single Quantifier
• scientific article; zbMATH DE number 5267925
• Two Definability Results in the Equational Context

Cites work

• Definability on Formulas With Single Quantifier

Cited in

(6)

• Definability of the natural numbers in totally real towers of nested square roots
• Definability on Formulas With Single Quantifier
• Defining the integers in large rings of a number field using one universal quantifier
• scientific article; zbMATH DE number 1985597 (Why is no real title available?)
• On explicit definability in arithmetic
• scientific article; zbMATH DE number 125222 (Why is no real title available?)

This page was built for publication: Arithmetic definability by formulas with two quantifiers

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