Definability in number fields

DOI10.2307/2273869zbMath0629.03009OpenAlexW2135556826MaRDI QIDQ3765748

Shih-Ping Tung

Publication date: 1987

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

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

zbMATH Keywords

definabilitynatural numbersalgebraic number fieldring of all integers

Mathematics Subject Classification ID

Connections between field theory and logic (12L99) Interpolation, preservation, definability (03C40) Connections of number theory and logic (11U99)

Related Items

Sentences over integral domains and their computational complexities

Cites Work

• Definability and decision problems in arithmetic
• Arithmetical definability of field elements