Difference between revisions of "Extended Veblen function"

From Cantor's Attic
Jump to: navigation, search
(Definition)
 
Line 1: Line 1:
The Extended Veblen function is a function with more than 2 arguments to express ordinals from \(\Gamma_0\) to \(\psi(\Omega^{\Omega^\omega})\), the [[small Veblen ordinal]].
+
The Extended Veblen function is a function with more than 2 arguments to express ordinals from \(\Gamma_0\) to \(\psi(\Omega^{\Omega^\omega})\), the [[Madore's ψ function#Small Veblen ordinal|small Veblen ordinal]].
  
 
== Definition ==
 
== Definition ==

Latest revision as of 04:15, 15 April 2017

The Extended Veblen function is a function with more than 2 arguments to express ordinals from \(\Gamma_0\) to \(\psi(\Omega^{\Omega^\omega})\), the small Veblen ordinal.

Definition

\(\varphi(1,0,0)=\varphi_{\varphi_{\ddots_{\varphi_0(0)}}(0)}(0) \\ \varphi(1,0,1)=\varphi_{\varphi_{\ddots_{\varphi(1,0,0)+1}}(0)}(0) \\ \varphi(1,0,n+1)=\varphi_{\varphi_{\ddots_{\varphi(1,0,n)+1}}(0)}(0) \\ \varphi(1,1,0)=\varphi(1,0,\varphi(1,0,\varphi(1,0,\cdots))) \\ \varphi(1,1,1)=\varphi_{\varphi_{\ddots_{\varphi(1,1,0)+1}}(0)}(0) \\ \varphi(1,2,0)=\varphi(1,1,\varphi(1,1,\varphi(1,1,\cdots))) \\ \varphi(1,n+1,0)=\varphi(1,n,\varphi(1,n,\varphi(1,n,\cdots))) \\ \varphi(2,0,0)=\varphi(1,\varphi(1,\varphi(1,\cdots,0),0),0) \\ \varphi(2,0,1)=\varphi_{\varphi_{\ddots_{\varphi(2,0,0)+1}}(0)}(0) \\ \varphi(2,1,0)=\varphi(2,0,\varphi(2,0,\varphi(2,0,\cdots))) \\ \varphi(3,0,0)=\varphi(2,\varphi(2,\varphi(2,\cdots,0),0),0) \\ \varphi(n+1,0,0)=\varphi(n,\varphi(n,\varphi(n,\cdots,0),0),0) \\ \varphi(1,0,0,0)=\varphi(\varphi(\varphi(\cdots,0,0),0,0),0,0)\)