Article ID Journal Published Year Pages File Type
10118844 Annals of Pure and Applied Logic 2005 19 Pages PDF
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
, ,