Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10118844 | Annals of Pure and Applied Logic | 2005 | 19 Pages |
Abstract
In the third part of the paper we give an ordinal classification of Σn0-consequences of the standard fragments of Peano arithmetic in terms of reflection principles. This is interesting in view of the general program of ordinal analysis of theories, which in the most standard cases classifies Π-classes of sentences (usually Π11 or Π20).
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Lev D. Beklemishev, Albert Visser,