Arithmetic definability by formulas with two quantifiers

DOI10.2307/2275172zbMATH Open0763.03019OpenAlexW2139026098MaRDI QIDQ4008742

No author found.

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

algebraic number fieldsexistential quantifieruniversal quantifierundefinabilityalgebraic integer rings

Mathematics Subject Classification ID

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

Cites Work

• Definability on Formulas With Single Quantifier

Related Items (1)

Unnamed Item

Recommendations

• Implicit definability in arithmetic 👍 👎
• Arithmetical definability and computational complexity 👍 👎
• Definability on Formulas With Single Quantifier 👍 👎
• Arithmetical definability over finite structures 👍 👎
• Two Definability Results in the Equational Context 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

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