Title of article
Proof theory for theories of ordinals II: Π3-reflection
Author/Authors
Arai، نويسنده , , Toshiyasu، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
54
From page
39
To page
92
Abstract
This paper deals with a proof theory for a theory T3 of Π3-reflecting ordinals using the system O(Π3) of ordinal diagrams in Arai (J. Symbolic Logic 65 (2000) 1375). This is a sequel to the previous one (Ann. Pure Appl. Logic 122 (2003) 1) in which a theory for recursively Mahlo ordinals is analyzed proof-theoretically.
Keywords
Reflecting ordinals , Proof-theoretic ordinals
Journal title
Annals of Pure and Applied Logic
Serial Year
2004
Journal title
Annals of Pure and Applied Logic
Record number
1443576
Link To Document