Can I read Tight Theories in Logic: PA, ZF, Z2, KM on EtoBox?

Tight Theories in Logic: PA, ZF, Z2, KM by Ariel Morgenstern is a document available to read on EtoBox.

What is Tight Theories in Logic: PA, ZF, Z2, KM about?

The document discusses how several foundational mathematical theories including Peano arithmetic (PA), second-order arithmetic (Z2), Zermelo-Fraenkel set theory (ZF), and Kelley-Morse theory of classes (KM) have the property of being

Author

Ariel Morgenstern

Language

EN