Definability on Formulas With Single Quantifier

DOI10.1002/MALQ.19880340203MaRDI QIDQ3808066zbMATH OpenOpenAlexFDO

Authors

Publication date 1988

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19880340203

zbMATH Keywords

arithmetic progressionring of algebraic integers\(\exists \)-definable set

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Decidability (number-theoretic aspects) (11U05)

Recommendations

• Definability in number fields
• Arithmetic definability by formulas with two quantifiers
• Nondefinability of rings of integers in most algebraic fields
• Defining the integers in large rings of a number field using one universal quantifier
• Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator

Cited in

(4)

• Arithmetic definability by formulas with two quantifiers
• Algebraic dimension over Frobenius fields
• The algebraic numbers definable in various exponential fields
• Defining the integers in large rings of a number field using one universal quantifier

This page was built for publication: Definability on Formulas With Single Quantifier

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