scientific article; zbMATH DE number 221693

MaRDI QIDQ4697160zbMATH OpenFDO

Authors Patrick Cégielski, D. Richard

Publication date 29 June 1993

zbMATH Keywords

primesdivisibility relationgraph of multiplicationmodel of Peano arithmetic

Mathematics Subject Classification ID

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

Recommendations

• Definability and decidability issues in extensions of the integers with the divisibility predicate
• scientific article; zbMATH DE number 3884151
• Decidability and undecidability of theories with a predicate for the primes
• scientific article; zbMATH DE number 952488
• scientific article; zbMATH DE number 3926911

Cited in

(12)

• Arithmetic of divisibility in finite models
• On the additive theory of prime numbers
• Decidability and undecidability of theories with a predicate for the primes
• On arithmetical first-order theories allowing encoding and decoding of lists
• scientific article; zbMATH DE number 3933028 (Why is no real title available?)
• scientific article; zbMATH DE number 1512849 (Why is no real title available?)
• Decidability and classification of the theory of integers with primes
• The elementary theory of the natural lattice is finitely axiomatizable
• Definability, decidability, complexity
• Computer Science Logic
• Decidability of extended theories of addition of the natural numbers and the integers
• A list of arithmetical structures complete with respect to the first-order definability

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