Ordinal de Veblen grande - Large Veblen ordinal

En matemáticas, el gran ordinal de Veblen es un gran ordinal contable , llamado así por Oswald Veblen .

No existe una notación estándar para los ordinales más allá del ordinal de Feferman-Schütte Γ 0 . La mayoría de los sistemas de notación utilizan símbolos como ψ (α), θ (α), ψ α (β), algunos de los cuales son modificaciones de las funciones de Veblen para producir ordinales contables incluso para argumentos incontables, y algunos de los cuales son funciones de colapso ordinal .

El ordinal de Veblen grande a veces se denota por o o . Fue construido por Veblen usando una extensión de las funciones de Veblen que permite una infinidad de argumentos.

Referencias

  • Veblen, Oswald (1908), "Funciones crecientes continuas de ordinales finitos y transfinitos", Transactions of the American Mathematical Society , 9 (3): 280-292, doi : 10.2307 / 1988605 , JSTOR   1988605
  • Weaver, Nik (2005), Predicatividad más allá de Gamma_0 , arXiv : math / 0509244 , Bibcode : 2005math ...... 9244W