Some problems in logic and number theory, and their connections

zbMATH Open1432.03123MaRDI QIDQ5222086FDOQ5222086

Authors: Alan R. Woods 

Publication date: 30 March 2020

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

Mathematics Subject Classification ID

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)

Cited In (12)

• Łukasiewicz's logics and prime numbers.
• On bounded arithmetic augmented by the ability to count certain sets of primes
• Title not available (Why is that?)
• Counting $Δ_0$ sets
• Title not available (Why is that?)
• On the additive theory of prime numbers
• Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian
• Title not available (Why is that?)
• Provability of the pigeonhole principle and the existence of infinitely many primes
• Logical number theory I. An introduction
• Decidability and classification of the theory of integers with primes
• Bounded finite set theory

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)