scientific article; zbMATH DE number 3926911

zbMATH Open0579.03043MaRDI QIDQ3701419FDOQ3701419

Authors: D. Richard 

Publication date: 1984

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

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

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)

Cited In (16)

• On the coprimeness relation from the viewpoint of monadic second-order logic
• Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers
• On the maximal length of two sequences of consecutive integers with the same prime divisors
• Title not available (Why is that?)
• Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some new results in monadic second-order arithmetic
• Title not available (Why is that?)
• In memoriam of Alan Robert Woods
• 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)
• Computer Science Logic
• Some problems in logic and number theory, and their connections
• Title not available (Why is that?)
• All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate

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)