10,835 Pages

up to phi(1,0,0,0)

• $\varphi(1,0,0)$
• $\varphi(1,0,\omega)$
• $\varphi(1,0,\epsilon_0)$
• $\varphi(1,0,\varphi(\omega,0))$
• $\varphi(1,0,\varphi(1,0,0))$
• $\varphi(1,1,0)$
• $\varphi(1,1,\varphi(1,1,0))$
• $\varphi(1,2,0)$
• $\varphi(1,\omega,0)$
• $\varphi(1,\varphi(1,0,0),0)$
• $\varphi(2,0,0)$
• $\varphi(2,\varphi(1,0,0),0)$
• $\varphi(2,\varphi(2,0,0),0)$
• $\varphi(3,0,0)$
• $\varphi(4,0,0)$
• $\varphi(\omega,0,0)$
• $\varphi(\epsilon_0,0,0)$
• $\varphi(\varphi(3,0),0,0)$
• $\varphi(\varphi(\omega,0),0,0)$
• $\varphi(\varphi(\epsilon_0,0),0,0)$
• $\varphi(\varphi(1,0,0),0,0)$
• $\varphi(\varphi(\varphi(1,0,0),0,0),0,0)$
• $\varphi(1,0,0,0)$

up to phi(1,0,0,0,0)

• $\varphi(1,0,0,0)$
• $\varphi(1,0,0,\omega)$
• $\varphi(1,0,0,\epsilon_0)$
• $\varphi(1,0,0,\varphi(\omega,0))$
• $\varphi(1,0,0,\varphi(1,0,0))$
• $\varphi(1,0,0,\varphi(\varphi(1,0,0),0,0))$
• $\varphi(1,0,0,\varphi(1,0,0,0))$
• $\varphi(1,0,1,0)$
• $\varphi(1,0,\omega,0)$
• $\varphi(1,0,\varphi(1,0,0),0)$
• $\varphi(1,0,\varphi(1,0,0,0),0)$
• $\varphi(1,0,\varphi(1,0,1,0),0)$
• $\varphi(1,1,0,0)$
• $\varphi(1,1,1,0)$
• $\varphi(1,1,\omega,0)$
• $\varphi(1,1,\varphi(1,1,\omega,0),0)$
• $\varphi(1,2,0,0)$
• $\varphi(1,\omega,0,0)$
• $\varphi(1,\varphi(1,0,0),0,0)$
• $\varphi(1,\varphi(1,0,0,0),0,0)$
• $\varphi(2,0,0,0)$
• $\varphi(3,0,0,0)$
• $\varphi(\omega,0,0,0)$
• $\varphi(\varphi(1,0,0),0,0,0)$
• $\varphi(\varphi(1,0,0,0),0,0,0)$
• $\varphi(1,0,0,0,0)$

up to SVO

• $\varphi(1,0,0,0,0)$
• $\varphi(1,0,0,0,\varphi(1,0,0,0,0))$
• $\varphi(1,0,0,1,0)$
• $\varphi(1,0,1,0,0)$
• $\varphi(1,1,0,0,0)$
• $\varphi(2,0,0,0,0)$
• $\varphi(\varphi(1,0,0,0,0),0,0,0,0)$
• $\varphi(1,0,0,0,0,0)$
• $\varphi(1,0,0,0,0,0,0)$
• $SVO$