Definability in number fields

DOI10.2307/2273869MaRDI QIDQ3765748zbMATH OpenOpenAlexFDO

Authors Shih-Ping Tung

Publication date 1987

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

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

zbMATH Keywords

algebraic number fielddefinabilitynatural numbersring of all integers

Mathematics Subject Classification ID

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

Recommendations

• The definability of fields
• Bounds and definablity over fields.
• scientific article; zbMATH DE number 32406
• scientific article; zbMATH DE number 57846
• scientific article; zbMATH DE number 2220969
• scientific article; zbMATH DE number 67690
• scientific article; zbMATH DE number 1467185
• Definability of the ring of integers in pro-p Galois extensions of number fields
• Implicit definability in arithmetic
• Definability in reducts of algebraically closed fields

Cites work

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

Cited in

(15)

• The definability of fields
• Sentences over integral domains and their computational complexities
• La définissabilité des entiers dans les corps de courbes réelles archimédiens. (Definability of the natural numbers in function fields over an Archimedean field)
• Definability of the ring of integers in pro-p Galois extensions of number fields
• Nondefinability of rings of integers in most algebraic fields
• Diophantine definability and decidability in extensions of degree 2 of totally real fields
• On \(\emptyset\)-definable elements in a field
• Definability of the natural numbers in totally real towers of nested square roots
• The algebraic numbers definable in various exponential fields
• The rational field is not universally definable in pseudo-exponentiation
• Characterizing integers among rational numbers with a universal-existential formula
• Definability in reducts of algebraically closed fields
• Definability on Formulas With Single Quantifier
• Implicit definability of subfields
• Uniform definability of integers in reduced indecomposable polynomial rings

This page was built for publication: Definability in number fields

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