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:
“When I am on a stage, I am the focus of thousands of eyes and it gives me strength. I feel that something, some energy, is flowing from the audience into me. I actually feel stronger because of these waves. Now when the play’s done, the eyes taken away, I feel just as if a circuit’s been broken. The power is switched off. I feel all gone and empty inside of me—like a balloon that’s been pricked and the air’s let out.”
—Lynn Fontanne (1887–1983)
“What avails it that you are a Christian, if you are not purer than the heathen, if you deny yourself no more, if you are not more religious? I know of many systems of religion esteemed heathenish whose precepts fill the reader with shame, and provoke him to new endeavors, though it be to the performance of rites merely.”
—Henry David Thoreau (1817–1862)