Title of article :
A coverage construction of the reals and the irrationals
Author/Authors :
Simmons، نويسنده , , Harold، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Abstract :
I modify the standard coverage construction of the reals to obtain the irrationals. However, this causes a jump in ordinal complexity from ω + 1 to Ω .
Keywords :
coverage , nucleus , Closure ordinal , Point-free techniques
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
