User blog:JakeCampbell19/O function

O(1)=φφ0

O(2)=φK

O(3)=φK[5]

O(4)=φK[K[ω]]

O(5)=φK[K[...]]

O(6)=limit of pDAN

O(7)=limit of sDAN

O(8)=limit of DAN

O(9)=φΩω(1)

O(10)=β0

O(11)=β+

O(12)=PTO of Z3

O(13)=PTO of Z4

O(14)=PTO of Zω