Some problems in logic and number theory, and their connections
From MaRDI portal
Publication:5222086
Collected or selected works; reprintings or translations of classics (01A75) First-order arithmetic and fragments (03F30) Complexity of computation (including implicit computational complexity) (03D15) Recursive functions and relations, subrecursive hierarchies (03D20) Models of arithmetic and set theory (03C62) Model theory (number-theoretic aspects) (11U09)
Recommendations
- On the additive theory of prime numbers
- scientific article; zbMATH DE number 3926911
- Decidability and undecidability of theories with a predicate for the primes
- 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 3987272
Cited in
(12)- Łukasiewicz's logics and prime numbers.
- scientific article; zbMATH DE number 2213993 (Why is no real title available?)
- Logical number theory I. An introduction
- On the additive theory of prime numbers
- Provability of the pigeonhole principle and the existence of infinitely many primes
- Decidability and classification of the theory of integers with primes
- Bounded finite set theory
- scientific article; zbMATH DE number 4121991 (Why is no real title available?)
- Counting $Δ_0$ sets
- scientific article; zbMATH DE number 2220972 (Why is no real title available?)
- Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian
- On bounded arithmetic augmented by the ability to count certain sets of primes
This page was built for publication: Some problems in logic and number theory, and their connections
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222086)
