scientific article; zbMATH DE number 221693
From MaRDI portal
Publication:4697160
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
(17)- Decidability of extended theories of addition of the natural numbers and the integers
- Definability, decidability, complexity
- On arithmetical first-order theories allowing encoding and decoding of lists
- Decidability and undecidability of theories with a predicate for the primes
- scientific article; zbMATH DE number 3933028 (Why is no real title available?)
- scientific article; zbMATH DE number 8420 (Why is no real title available?)
- Undecidable extensions of Skolem arithmetic
- The theory of integer multiplication with order restricted to primes is decidable
- Arithmetic of divisibility in finite models
- scientific article; zbMATH DE number 1512849 (Why is no real title available?)
- scientific article; zbMATH DE number 952488 (Why is no real title available?)
- Definability and decidability issues in extensions of the integers with the divisibility predicate
- Decidability and classification of the theory of integers with primes
- Computer Science Logic
- On the additive theory of prime numbers
- A list of arithmetical structures complete with respect to the first-order definability
- The elementary theory of the natural lattice is finitely axiomatizable
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)
