2 votos

Jerarquía ordinal teórica y de crecimiento rápido

La definición abstracta de Jerarquía de rápido crecimiento deja de lado la definición de la secuencia fundamental. Parece que la elección de la secuencia es crucial en el sentido de que algunas elecciones pueden romper toda la jerarquía.

En la teoría de la prueba, las funciones de crecimiento rápido se utilizan como una especie de límite de la tasa de crecimiento de las funciones que la teoría en cuestión puede probar total.

¿Existe alguna elección por defecto de la secuencia fundamental utilizada al referirse a la jerarquía de crecimiento rápido en el contexto de la teoría de la prueba? ¿Es la jerarquía de Wainer el camino a seguir? $\epsilon_0$ como se sugiere en Wikipedia? ¿Qué hay de lo anterior? $\epsilon_0$ ?

3voto

Andreas Weiermann Puntos 149

La cuestión de la elección de secuencias fundamentales para ordinales límite a partir de un conjunto dado de notaciones ordinales está básicamente resuelta y puede encontrarse, por ejemplo, en MR1271290: Buchholz, Wilfried; Cichon, Adam; Weiermann, Andreas: Una aproximación uniforme a las secuencias y jerarquías fundamentales.
Matemáticas. Logic Quart. 40 (1994), nº 2, 273-286. La cuestión de la elección de secuencias fundamentales adecuadas para la jerarquía de crecimiento lento es un área de investigación activa. Andreas Weiermann

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X