scientific article; zbMATH DE number 3987272

zbMATH Open0611.03027MaRDI QIDQ3751575FDOQ3751575

Authors:

Publication date: 1985

Title of this publication is not available (Why is that?)

Recommendations

• scientific article
• 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

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)

Cited In (14)

• 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.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Max-min of polynomials and exponential Diophantine equations. II.
• Uniform definability of integers in reduced indecomposable polynomial rings
• A logical approach to the problem of representation of integers by systems of diagonal forms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Statements and open problems on decidable sets \(\mathcal{X}\subseteq\mathbb{N}\)
• Sentences over integral domains and their computational complexities
• 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)