scientific article; zbMATH DE number 3987272

MaRDI QIDQ3751575zbMATH OpenFDO

Authors

Publication date 1985

zbMATH Keywords

primesdecidabilitydefinabilityquantifier prefixcofinite setsnonsquares

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Decidability and field theory (12L05) Second- and higher-order arithmetic and fragments (03F35) Decidability (number-theoretic aspects) (11U05)

Recommendations

• scientific article; zbMATH DE number 5862877
• scientific article; zbMATH DE number 3989456
• On the weakened Siegel's conjecture
• Weak arithmetics
• scientific article; zbMATH DE number 2236625
• New studies in weak arithmetics
• On a Conjecture of Katai Concerning Weakly Composite Numbers
• scientific article; zbMATH DE number 2066356
• scientific article; zbMATH DE number 1013892
• scientific article; zbMATH DE number 94640

Cited in

(15)

• Max-min of polynomials and exponential Diophantine equations
• Further results on Hilbert's tenth problem
• Approximate solutions of polynomial equations.
• Skolem functions of arithmetical sentences.
• scientific article; zbMATH DE number 6423843 (Why is no real title available?)
• Max-min of polynomials and exponential Diophantine equations. II.
• scientific article; zbMATH DE number 5059533 (Why is no real title available?)
• Mixed quantifier prefixes over Diophantine equations with integer variables
• Uniform definability of integers in reduced indecomposable polynomial rings
• A logical approach to the problem of representation of integers by systems of diagonal forms
• scientific article; zbMATH DE number 2066356 (Why is no real title available?)
• scientific article; zbMATH DE number 125222 (Why is no real title available?)
• Sentences over integral domains and their computational complexities
• Statements and open problems on decidable sets \(\mathcal{X}\subseteq\mathbb{N}\)
• Some problems in logic and number theory, and their connections

This page was built for publication:

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