Skip to content

Every Veblen level is a normal function; φ_{α+1} enumerates fixed points of φ_α (BH climb rung 5) #162

Every Veblen level is a normal function; φ_{α+1} enumerates fixed points of φ_α (BH climb rung 5)

Every Veblen level is a normal function; φ_{α+1} enumerates fixed points of φ_α (BH climb rung 5) #162