User:12AbBa/"Normal" OCFs vs a different version of R function p4

Page 1 2 3 4

This is the primary indescribable page: OCFs based on a \(\Pi_n^1\)-indescribable page.

Using a \(\Pi_3^1\)
== Higher Indescribables