Title of article
Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators
Author/Authors
Arai، نويسنده , , Toshiyasu، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2010
Pages
37
From page
107
To page
143
Abstract
In this paper, we give two proofs of the wellfoundedness of a recursive notation system for Π N -reflecting ordinals. One is based on distinguished classes, and the other is based on Π N − 1 0 -inductive definitions.
Keywords
Ordinal notations , Wellfoundedness proof , Reflecting ordinals
Journal title
Annals of Pure and Applied Logic
Serial Year
2010
Journal title
Annals of Pure and Applied Logic
Record number
1444516
Link To Document