Metamathematics of First-Order Arithmetic

Petr Hajek, 2017. Part of the Perspectives in Logic series.

Overview

This volume offers a focused exploration of the metamathematics of first-order arithmetic. It delves into subsystems of Peano arithmetic, providing a deeper understanding of the role of the axiom schema of induction and the phenomenon of incompleteness. The text assumes a foundational knowledge of mathematical logic, which is reviewed in the preliminary sections.

Who it's for

• Students and researchers in mathematical logic.
• Individuals interested in the foundations of arithmetic.
• Readers seeking to understand incompleteness theorems.

Key features

• Language: English
• Binding: Hardback
• Pages: 474
• Publisher: Cambridge Academ
• Year: 2017
• ISBN: 9781107168411