Title of article :
Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators
Author/Authors :
Arai، نويسنده , , Toshiyasu، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
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
Journal title :
Annals of Pure and Applied Logic
