scientific article; zbMATH DE number 3926911

MaRDI QIDQ3701419zbMATH OpenFDO

Authors D. Richard

Publication date 1984

zbMATH Keywords

undecidabilitydefinable functionsdefinability of arithmetical operations and relations

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Relative consistency and interpretations (03F25)

Recommendations

• scientific article; zbMATH DE number 3941535
• scientific article; zbMATH DE number 4110684
• Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers
• All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate
• Definability and decidability issues in extensions of the integers with the divisibility predicate

Cited in

(16)

• Some new results in monadic second-order arithmetic
• Contribution à l'étude d'une conjecture de théorie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding)
• scientific article; zbMATH DE number 4055587 (Why is no real title available?)
• On the maximal length of two sequences of consecutive integers with the same prime divisors
• Some problems in logic and number theory, and their connections
• All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate
• scientific article; zbMATH DE number 440118 (Why is no real title available?)
• Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility
• scientific article; zbMATH DE number 4121991 (Why is no real title available?)
• scientific article; zbMATH DE number 3941535 (Why is no real title available?)
• scientific article; zbMATH DE number 4110684 (Why is no real title available?)
• On the coprimeness relation from the viewpoint of monadic second-order logic
• scientific article; zbMATH DE number 221693 (Why is no real title available?)
• Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers
• In memoriam of Alan Robert Woods
• Computer Science Logic

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 Q3701419)