Book
Undecidable Theories: Studies in Logic and the Foundation of Mathematics
(Write a Review)
Paperback
$14.95
The first article, "A General Method in Proofs of Undecidability," examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, "Undecidability and Essential Undecidability in Mathematics," explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with "Undecidability of the Elementary Theory of Groups."
The first article, "A General Method in Proofs of Undecidability," examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, "Undecidability and Essential Undecidability in Mathematics," explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with "Undecidability of the Elementary Theory of Groups."
Paperback
$14.95