Stronger Systems
Much as we have defined Σn and Πn (or, more accurately, Σ0n and Π0n) formulae, we can define Σ1n and Π1n formulae in the following way: a Δ10 (or Σ10 or Π10) formula is just an arithmetical formula, and a Σ1n, respectively Π1n, formula is obtained by adding existential, respectively universal, class quantifiers in front of a Π1n−1, respectively Σ1n−1.
It is not too hard to see that over a not too weak system, any formula of second-order arithmetic is equivalent to a Σ1n or Π1n formula for all large enough n. The system Π11-comprehension is the system consisting of the basic axioms, plus the ordinary second-order induction axiom and the comprehension axiom for every Π11 formula φ. It is an easy exercise to show that this is actually equivalent to Σ11-comprehension (on the other hand, Δ11-comprehension, defined by the same trick as introduced earlier for Δ01 comprehension, is actually weaker).
Read more about this topic: Second-order Arithmetic
Famous quotes containing the words stronger and/or systems:
“The force of a death should be enormous but how can you know what kind of man you’ve killed or who was the braver and stronger if you have to peer through layers of glass that deliver the image but obscure the meaning of the act? War has a conscience or it’s ordinary murder.”
—Don Delillo (b. 1926)
“We have done scant justice to the reasonableness of cannibalism. There are in fact so many and such excellent motives possible to it that mankind has never been able to fit all of them into one universal scheme, and has accordingly contrived various diverse and contradictory systems the better to display its virtues.”
—Ruth Benedict (1887–1948)