scientific article; zbMATH DE number 221693

zbMATH Open0781.03004MaRDI QIDQ4697160FDOQ4697160

D. Richard, Patrick Cégielski

Publication date: 29 June 1993

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

Recommendations

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

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)

Cited In (11)

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Arithmetic of divisibility in finite models

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)