Arithmetic definability by formulas with two quantifiers

DOI10.2307/2275172zbMATH Open0763.03019OpenAlexW2139026098MaRDI QIDQ4008742FDOQ4008742

Author name not available (Why is that?)

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)

Cites Work

• Definability on Formulas With Single Quantifier

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

Recommendations

• Implicit definability in arithmetic 👍 👎
• Arithmetical definability over finite structures 👍 👎
• Two Definability Results in the Equational Context 👍 👎
• Arithmetical definability and computational complexity 👍 👎
• Definability on Formulas With Single Quantifier 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)