Second-order arithmetic: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

31 August 2023

30 August 2023

  • curprev 16:2516:25, 30 August 2023‎ RhubarbJayde talk contribs‎ 4,682 bytes +4,682‎ Created page with "Second-order arithmetic, denoted \(Z_2\) is an extension of first-order (i.e. Peano) arithmetic by adding additional second-order variables as well as an induction scheme for \(\mathcal{P}(\mathbb{N})\), and a comprehension scheme. Proof-theoretically, \(Z_2\) is a very expressive system, as it can prove the consistency of Peano arithmetic and its extensions via the addition of iterated inductive definitions - an ordinal analysis of \(Z_2\) is considered the holy grail o..." Tag: Visual edit
Retrieved from "https://apeirology.com/wiki/Second-order_arithmetic"