Быстрорастущая Иерархия

**Быстрорастущая иерархия** (сокращённо БРИ) — определённая иерархия, отображающая ординалы

α

{\displaystyle \alpha}

 (ниже верхней границы

μ

{\displaystyle \mu}

 фиксированной системы фундаментальных последовательностей) к набору функций, которые порождены из **быстрорастущих функций**, обозначаемых

f
α

:

N

→

N

{\displaystyle f\_\alpha: \mathbb{N} \rightarrow \mathbb{N}}

. Для больших ординалов

α

{\displaystyle \alpha}

,

f
α

{\displaystyle f\_\alpha}

 может расти очень быстро. Благодаря простому и ясному определению, а также своему происхождению из профессиональной математики, БРИ является популярным эталоном для функций, выдающих большие числа.

## Предупреждение

Читатель должен быть очень внимателен к тому, что **на личном веб-сайте, в видео и блогах** пользователей много неправильных "введений", хотя, к сожалению, новички предпочитают именно их. Поскольку математические понятия, такие как ординалы и фундаментальные последовательности, довольно абстрактны и с ними трудно обращаться точным образом, люди склонны давать их интуитивные описания, которые для начинающих выглядят проще и круче, чем точные объяснения. Однако такие "введения" часто содержат серьёзные ошибки, поскольку авторы также изучали их по другим интуитивным описаниям вместо точных определений. Важным моментом является то, что точное описание их на самом деле необходимо для понимания быстрорастущей иерархии. Причина, по которой точные описания выглядят сложными, заключается не в том, что они просто плохо написаны или избыточны, а в том, что понятия на самом деле довольно сложны, хотя такие неправильные "введения" иногда объясняют их как простые понятия.

## Определение

### Быстрорастущие функции

Быстрорастущая функция состоит из ординальной системы

μ

{\displaystyle \mu}

 и системы фундаментальной последовательности

S
:
μ
∩

Lim

→
(

N

→
μ
)

{\displaystyle S:\mu\cap\textrm{Lim} \rightarrow (\mathbb N\rightarrow\mu)}

, где

S
(
α
)
(
n
)

{\displaystyle S(\alpha)(n)}

 обозначает

α
[
n
]

{\displaystyle \alpha[n]}

, а

Lim

{\displaystyle \textrm{Lim}}

 обозначает класс предельных ординалов. Семантика следующая:

* f

0

(
n
# )
n
1

{\displaystyle f\_{0}(n) = n+1}
* f

α
1

(
n
# )

f
α
n

(
n
)

{\displaystyle f\_{\alpha+1}(n) = f^n\_\alpha(n)}

, где

f
n

{\displaystyle f^n}

 обозначает итерацию функции
* f

α

(
n
# )

f

α
[
n
]

(
n
)

{\displaystyle f\_{\alpha}(n) = f\_{\alpha[n]}(n)}

, если

α

{\displaystyle \alpha}

 — предельный ординал

Здесь

α
[
n
]

{\displaystyle \alpha[n]}

 обозначает

n

{\displaystyle n}

-й член фиксированной фундаментальной последовательности, присвоенной ординалу

α

{\displaystyle \alpha}

. Система фундаментальных последовательностей для предельных ординалов ниже заданного супремума не уникальна, и быстрорастущая иерархия во многом зависит от выбора такой системы, как мы объясняли в разделе "Предупреждение".

Некоторые авторы вместо этого устанавливают

f

α
1

(
n
# )

f
α

n
1

(
n
)

{\displaystyle f\_{\alpha+1}(n) = f^{n+1}\_\alpha(n)}

 для второй строки.

Чтобы быстрорастущая иерархия была полезна гугологам, она также должна удовлетворять свойству, которое для всех

α
<
β
<
μ

{\displaystyle \alpha < \beta < \mu}

,

f
α

{\displaystyle f\_\alpha}

 в конечном итоге доминирует над

f
β

{\displaystyle f\_\beta}

, хотя это не обязательно верно для общей системы фундаментальных последовательностей. Читатель должен быть осторожен, так как многие гугологи не знают этого факта и неявно предполагают это свойство даже тогда, когда в контексте нет доказательств конкретной системы фундаментальной последовательности. Смотрите также Ординал Чёрча-Клини#Быстрорастущая иерархия для ознакомления с распространёнными заблуждениями, связанными с быстрорастущей иерархией.

### Быстрорастущая иерархия

Быстрорастущая иерархия

{

F

α

}

α
<
μ

{\displaystyle \{\mathcal{F}\_\alpha\}\_{\alpha<\mu}}

 определяется как Иерархия Гжегорчика. Для каждого ординала

α
<
μ

{\displaystyle \alpha<\mu}

 набор

H

α

{\displaystyle \mathcal{H}\_\alpha}

 числовых функций определяется как наименьший класс, удовлетворяющий следующим условиям:

1. Это содержит
	* *нулевую константу*

	0

	{\displaystyle 0}

	, обозначаемую как

	z
	:

	N

	0

	→

	N

	{\displaystyle z: \mathbb{N}^0 \to\mathbb{N}}

	,
	* *функцию-преемника*

	s
	(
	n
	)
	=
	n
	1

	{\displaystyle s(n)=n+1}

	,
	* *проекционную функцию*

	p
	i
	m

	(

	x
	1

	,
	…
	,

	x
	m

	)
	=

	x
	i

	{\displaystyle p\_i^m(x\_1,\dots,x\_m)=x\_i}

	 и
	* *быстрорастущую функцию*

	f
	α

	{\displaystyle f\_\alpha}

	.
2. Он закрыт под
	* *заменой*,

	g
	(

	f
	1

	,
	…
	,

	f
	n

	)

	{\displaystyle g(f\_1,\dots,f\_n)}

	 для

	g
	,

	f
	1

	,
	…
	,

	f
	n

	∈

	F

	α

	{\displaystyle g,f\_1,\dots,f\_n\in\mathcal{F}\_\alpha}

	 и
	* *ограниченной рекурсией*,

	h
	(
	n
	1
	,

	x
	1

	,
	…
	,

	x
	n

	)
	=
	f
	(
	n
	,

	x
	1

	,
	…
	,

	x
	n

	,
	h
	(
	n
	,

	x
	1

	,
	…
	,

	x
	n

	)
	)

	{\displaystyle h(n+1,x\_1,\dots,x\_n)=f(n,x\_1,\dots,x\_n,h(n,x\_1,\dots,x\_n))}

	,

	h
	(
	0
	,

	x
	1

	,
	…
	,

	x
	n

	)
	=
	g
	(

	x
	1

	,
	…
	,

	x
	n

	)

	{\displaystyle h(0,x\_1,\dots,x\_n)=g(x\_1,\dots,x\_n)}

	 для

	f
	,
	g
	∈

	F

	α

	{\displaystyle f,g\in\mathcal{F}\_\alpha}

	 и

	h
	(
	n
	,

	x
	1

	,
	…
	,

	x
	n

	)
	≤
	M
	(
	n
	,

	x
	1

	,
	…
	,

	x
	n

	)

	{\displaystyle h(n ,x\_1,\dots,x\_n)\leq M(n,x\_1,\dots,x\_n)}

	 для некоторого

	M
	∈

	F

	α

	{\displaystyle M \in \mathcal{F} \_\alpha}

Общий случай, когда

f
0

{\displaystyle f\_0}

 — любая возрастающая функция, образует **иерархию быстрых итераций**.

## Значения

Ниже приведены некоторые функции в иерархии Вайнера и иерархии Веблена в сравнении с другими гугологическими нотациями.
Есть несколько вещей, на которые следует обратить внимание:

* Отношения, обозначенные

f
α

(
n
)
>
g
(
n
)

{\displaystyle f\_\alpha(n) > g(n)}

, выполняются для достаточно больших

n

{\displaystyle n}

, не обязательно всех

n

{\displaystyle n}

 (т.е.

f
α

{\displaystyle f\_\alpha}

 в конечном итоге доминирует над

g

{\displaystyle g}

).
* m

{\displaystyle m}

 указывает на любое положительное целое число.
* ↑

{\displaystyle \uparrow}

 означает стрелочную нотацию.
* Ack

{\displaystyle \textrm{Ack}}

 указывает на одноаргументную функцию Аккермана Харви Фридмана

Ack

(
n
)

{\displaystyle \textrm{Ack} (n)}

.
* {
}

{\displaystyle \lbrace \rbrace}

 означает BAN.
* В этом разделе мы используем несколько систем фундаментальных последовательностей, например, для нормальной формы Кантора и для функции Веблена. Поскольку они явно не указаны, мы не знаем, какие системы подходят для этих результатов. Поэтому будьте осторожны, чтобы вычисления не сработали при попытке применить их к конкретной системе.

f

0

(
n
# )
n
1

{\displaystyle f\_{0}(n) = n+1}

f
1

(
n
# )

f
0
n

(
n
# )
(
⋯
(
(
n
1
)
1
)
⋯
1
# )
n
# n
2
n

{\displaystyle f\_1(n) = f\_0^n(n) = ( \cdots ((n + 1) + 1) + \cdots + 1) = n + n = 2n}

f
2

(
n
# )

f
1
n

(
n
# )
2
(
2
(
…
2
(
2
n
)
)
# )

2
n

n
>

2
n

{\displaystyle f\_2(n) = f\_1^n(n) = 2(2(\ldots 2(2n))) = 2^n n > 2^n}

f
3

(
n
)
≥

2
n

n
(
(

2

2
n

n

)
↑↑
(
n
−
1
)
)
≥
2
↑↑
# n
n
×
(
2
↑↑
n
)

{\displaystyle f\_3(n) \ge 2^nn((2^{2^nn})\uparrow\uparrow (n-1)) \ge 2\uparrow\uparrow n = n\times(2\uparrow\uparrow n)}

f
4

(
n
)
≥

f
3

(
n
)
↑↑↑
n
≥
2
↑↑↑
n

{\displaystyle f\_4(n) \ge f\_3(n)\uparrow\uparrow\uparrow n \ge 2\uparrow\uparrow\uparrow n}

f
m

(
n
)
≥

f

m
−
1

(
n
)

m
−
1

n
≥
2

m
−
1

n

{\displaystyle f\_m(n) \ge f\_{m-1}(n)\uparrow^{m-1}n \ge 2\uparrow^{m-1} n}

f
ω

(
n
)
≥

f
ω

(
n
−
1
)

n
−
1

n
≥
2

n
−
1

# n
Ack
(
n
)

{\displaystyle f\_\omega(n) \ge f\_\omega(n-1)\uparrow^{n-1}n \ge 2\uparrow^{n-1} n = \text{Ack}(n)}

f

ω
1

(
n
)
>
{
n
,
n
,
1
,
2
}

{\displaystyle f\_{\omega+1}(n) > \lbrace n,n,1,2 \rbrace}

f

ω
2

(
n
)
>
{
n
,
n
,
2
,
2
}

{\displaystyle f\_{\omega+2}(n) > \lbrace n,n,2,2 \rbrace}

f

ω
m

(
n
)
>
{
n
,
n
,
m
,
2
}

{\displaystyle f\_{\omega+m}(n) > \lbrace n,n,m,2 \rbrace}

f

ω
2

(
n
)
>
{
n
,
n
,
n
,
2
}

{\displaystyle f\_{\omega 2}(n) > \lbrace n,n,n,2 \rbrace}

f

ω
3

(
n
)
>
{
n
,
n
,
n
,
3
}

{\displaystyle f\_{\omega 3}(n) > \lbrace n,n,n,3 \rbrace}

f

ω
m

(
n
)
>
{
n
,
n
,
n
,
m
}

{\displaystyle f\_{\omega m}(n) > \lbrace n,n,n,m \rbrace}

f

ω

2

(
n
)
>
{
n
,
n
,
n
,
n
}

{\displaystyle f\_{\omega^{2}} (n) > \lbrace n,n,n,n \rbrace}

f

ω

3

(
n
)
>
{
n
,
n
,
n
,
n
,
n
}

{\displaystyle f\_{\omega^{3}}(n) > \lbrace n,n,n,n,n \rbrace}

f

ω

m

(
n
)
>
{
n
,
m
2
[
2
]
2
}

{\displaystyle f\_{\omega^{m}}(n) > \lbrace n,m+2 [2] 2 \rbrace}

f

ω

ω

(
n
)
>
{
n
,
n
2
[
2
]
2
}
>
{
n
,
n
[
2
]
2
}

{\displaystyle f\_{\omega^{\omega}}(n) > \lbrace n,n+2 [2] 2 \rbrace > \lbrace n,n [2] 2 \rbrace}

f

ω

ω

1

(
n
)
>
{
n
,
n
,
2
[
2
]
2
}

{\displaystyle f\_{\omega^{\omega}+1}(n) > \lbrace n,n,2 [2] 2 \rbrace}

f

ω

ω

2

(
n
)
>
{
n
,
n
,
3
[
2
]
2
}

{\displaystyle f\_{\omega^{\omega}+2}(n) > \lbrace n,n,3 [2] 2 \rbrace}

f

ω

ω

m

(
n
)
>
{
n
,
n
,
m
1
[
2
]
2
}

{\displaystyle f\_{\omega^{\omega}+m}(n) > \lbrace n,n,m+1 [2] 2 \rbrace}

f

ω

ω

ω

(
n
)
>
{
n
,
n
,
n
1
[
2
]
2
}
>
{
n
,
n
,
n
[
2
]
2
}

{\displaystyle f\_{\omega^{\omega}+\omega}(n) > \lbrace n,n,n+1 [2] 2 \rbrace > \lbrace n,n,n [2] 2 \rbrace }

f

ω

ω

ω
1

(
n
)
>
{
n
,
n
,
1
,
2
[
2
]
2
}

{\displaystyle f\_{\omega^{\omega}+\omega+1}(n) > \lbrace n,n,1,2 [2] 2 \rbrace}

f

ω

ω

ω
2

(
n
)
>
{
n
,
n
,
n
,
2
[
2
]
2
}

{\displaystyle f\_{\omega^{\omega}+\omega2}(n) > \lbrace n,n,n,2 [2] 2 \rbrace}

f

ω

ω

ω

2

(
n
)
>
{
n
,
n
,
n
,
n
[
2
]
2
}

{\displaystyle f\_{\omega^{\omega}+\omega^{2}}(n) > \lbrace n,n,n,n [2] 2 \rbrace}

f

ω

ω

2

(
n
)
>
{
n
,
n
[
2
]
3
}

{\displaystyle f\_{{\omega^{\omega}}2}(n) > \lbrace n,n [2] 3 \rbrace}

f

ω

ω

3

(
n
)
>
{
n
,
n
[
2
]
4
}

{\displaystyle f\_{{\omega^{\omega}}3}(n) > \lbrace n,n [2] 4 \rbrace}

f

ω

ω

m

(
n
)
>
{
n
,
n
[
2
]
m
1
}

{\displaystyle f\_{{\omega^{\omega}}m}(n) > \lbrace n,n [2] m+1 \rbrace}

f

ω

ω
1

(
n
)
>
{
n
,
n
[
2
]
n
1
}
>
{
n
,
n
[
2
]
n
}

{\displaystyle f\_{\omega^{\omega+1}}(n) > \lbrace n,n [2] n+1 \rbrace > \lbrace n,n [2] n \rbrace}

f

ω

ω
2

(
n
)
>
{
n
,
n
[
2
]
n
,
n
}

{\displaystyle f\_{\omega^{\omega+2}}(n) > \lbrace n,n [2] n,n \rbrace}

f

ω

ω
3

(
n
)
>
{
n
,
n
,
n
[
2
]
n
,
n
,
n
}

{\displaystyle f\_{\omega^{\omega+3}}(n) > \lbrace n,n,n [2] n,n,n \rbrace}

f

ω

ω
m

(
n
)
>
{
n
,
m
[
2
]
1
[
2
]
2
}

{\displaystyle f\_{\omega^{\omega+m}}(n) > \lbrace n,m [2] 1 [2] 2 \rbrace}

f

ω

ω
2

(
n
)
>
{
n
,
n
[
2
]
1
[
2
]
2
# }
{
n
,
2
[
3
]
2
}

{\displaystyle f\_{\omega^{\omega2}}(n) > \lbrace n,n [2] 1 [2] 2 \rbrace = \lbrace n,2 [3] 2 \rbrace}

f

ω

ω
3

(
n
)
>
{
n
,
n
[
2
]
1
[
2
]
1
[
2
]
2
# }
{
n
,
3
[
3
]
2
}

{\displaystyle f\_{\omega^{\omega3}}(n) > \lbrace n,n [2] 1 [2] 1 [2] 2 \rbrace = \lbrace n,3 [3] 2 \rbrace}

f

ω

ω
m

(
n
)
>
{
n
,
m
[
3
]
2
}

{\displaystyle f\_{\omega^{\omega m}}(n) > \lbrace n,m [3] 2 \rbrace}

f

ω

ω

2

(
n
)
>
{
n
,
n
[
3
]
2
}

{\displaystyle f\_{\omega^{\omega^{2}}}(n) > \lbrace n,n [3] 2 \rbrace}

f

ω

ω

3

(
n
)
>
{
n
,
n
[
4
]
2
}

{\displaystyle f\_{\omega^{\omega^{3}}}(n) > \lbrace n,n [4] 2 \rbrace}

f

ω

ω

m

(
n
)
>
{
n
,
n
[
m
1
]
2
}

{\displaystyle f\_{\omega^{\omega^{m}}}(n) > \lbrace n,n [m+1] 2 \rbrace}

f

ω

ω

ω

(
n
)
>
{
n
,
n
[
n
1
]
2
}
>
{
n
,
n
[
1
,
2
]
2
}

{\displaystyle f\_{\omega^{\omega^{\omega}}}(n) > \lbrace n,n [n+1] 2 \rbrace > \lbrace n,n [1,2] 2 \rbrace}

f

4

ω

(
n
)
>
{
n
,
n
[
1
[
2
]
2
]
2
}

{\displaystyle f\_{^4{\omega}}(n) > \lbrace n,n [1 [2] 2] 2 \rbrace}

f

5

ω

(
n
)
>
{
n
,
n
[
1
[
1
,
2
]
2
]
2
}

{\displaystyle f\_{^5{\omega}}(n) > \lbrace n,n [1 [1,2] 2] 2 \rbrace}

f

6

ω

(
n
)
>
{
n
,
n
[
1
[
1
[
2
]
2
]
2
]
2
}

{\displaystyle f\_{^6{\omega}}(n) > \lbrace n,n [1 [1 [2] 2] 2] 2 \rbrace}

f

ε

0

(
n
)
>
{
n
,
n
[
[
1
]
]
2
}

{\displaystyle f\_{\varepsilon\_{0}}(n) > \lbrace n,n [ [1]] 2 \rbrace}

f

ε

0

2

(
n
)
>
{
n
,
n
[
[
1
]
]
3
}

{\displaystyle f\_{\varepsilon\_{0}2}(n) > \lbrace n,n [ [1]] 3 \rbrace}

f

ε

0

m

(
n
)
>
{
n
,
n
[
[
1
]
]
m
1
}

{\displaystyle f\_{\varepsilon\_{0}m}(n) > \lbrace n,n [ [1]] m+1 \rbrace}

f

ε

0

ω

(
n
)
>
{
n
,
n
[
[
1
]
]
n
1
}

{\displaystyle f\_{\varepsilon\_{0}\omega}(n) > \lbrace n,n [ [1]] n+1 \rbrace}

f

ε

0

ω

ω

(
n
)
>
{
n
,
n
[
[
1
]
]
1
[
2
]
2
}

{\displaystyle f\_{\varepsilon\_{0}{\omega^{\omega}}}(n) > \lbrace n,n [ [1]] 1 [2] 2 \rbrace}

f

ε

0

ω

ω

ω

(
n
)
>
{
n
,
n
[
[
1
]
]
1
[
1
,
2
]
2
}

{\displaystyle f\_{\varepsilon\_{0}{\omega^{\omega^{\omega}}}}(n) > \lbrace n,n [ [1]] 1 [1,2] 2 \rbrace}

f

ε

0

ω

ω

ω

ω

(
n
)
>
{
n
,
n
[
[
1
]
]
1
[
1
[
2
]
2
]
2
}

{\displaystyle f\_{\varepsilon\_{0}{\omega^{\omega^{\omega^{\omega}}}}}(n) > \lbrace n,n [ [1]] 1 [1 [2] 2] 2 \rbrace}

f

ε

0

2

(
n
)
>
{
n
,
n
[
[
1
]
]
1
[
[
1
]
]
2
}

{\displaystyle f\_{\varepsilon\_{0}^{2}}(n) > \lbrace n,n [ [1]] 1 [ [1]] 2 \rbrace}

f

ε

0

3

(
n
)
>
{
n
,
n
[
[
1
]
]
1
[
[
1
]
]
1
[
[
1
]
]
2
}

{\displaystyle f\_{\varepsilon\_{0}^{3}}(n) > \lbrace n,n [ [1]] 1 [ [1]] 1 [ [1]] 2 \rbrace}

f

ε

0

ω

(
n
)
>
{
n
,
n
[
[
2
]
]
2
}

{\displaystyle f\_{\varepsilon\_{0}^{\omega}}(n) > \lbrace n,n [ [2]] 2 \rbrace}

f

ε

0

ω

ω

(
n
)
>
{
n
,
n
[
[
1
,
2
]
]
2
}

{\displaystyle f\_{\varepsilon\_{0}^{\omega^{\omega}}}(n) > \lbrace n,n [ [1,2]] 2 \rbrace}

f

ε

0

ω

ω

ω

(
n
)
>
{
n
,
n
[
[
1
[
2
]
2
]
]
2
}

{\displaystyle f\_{\varepsilon\_{0}^{\omega^{\omega^{\omega}}}}(n) > \lbrace n,n [[1 [2] 2]] 2 \rbrace}

f

ε

0

ε

0

(
n
)
>
{
n
,
n
[
[
1
[
[
1
]
]
2
]
]
2
}

{\displaystyle f\_{\varepsilon\_{0}^{\varepsilon\_{0}}}(n) > \lbrace n,n [[1 [ [1]] 2]] 2 \rbrace}

f

ε

0

ε

0

ε

0

(
n
)
>
{
n
,
n
[
[
1
[
[
1
]
]
1
[
[
1
]
]
2
]
]
2
}

{\displaystyle f\_{\varepsilon\_{0}^{\varepsilon\_{0}^{\varepsilon\_{0}}}}(n) > \lbrace n,n [[1 [ [1]] 1 [ [1]] 2]] 2 \rbrace}

f

ε

0

ε
0

ε
0

ε
0

(
n
)
>
{
n
,
n
[
[
1
[
[
1
[
[
1
]
]
2
]
]
2
]
]
2
}

{\displaystyle f\_{\varepsilon\_{0}^{\varepsilon\_0^{\varepsilon\_0^{\varepsilon\_0}}}}(n) > \lbrace n,n [[1 [[1 [ [1]] 2]] 2]] 2 \rbrace}

f

ε

1

(
n
)
>
{
n
,
n
[
[
[
1
]
]
]
2
}

{\displaystyle f\_{\varepsilon\_{1}}(n) > \lbrace n,n [[[1]]] 2 \rbrace}

f

ε

2

(
n
)
>
{
n
,
n
[
[
[
[
1
]
]
]
]
2
}

{\displaystyle f\_{\varepsilon\_{2}}(n) > \lbrace n,n [[[ [1]]]] 2 \rbrace}

f

ε

ω

(
n
)
>
{
n
,
n
[
1
∖
1
,
2
]
2
}

{\displaystyle f\_{\varepsilon\_{\omega}}(n) > \lbrace n,n [1\backslash1,2] 2 \rbrace}

f

ε

ω

2

(
n
)
>
{
n
,
n
[
1
∖
1
,
1
,
2
]
2
}

{\displaystyle f\_{\varepsilon\_{\omega^{2}}}(n) > \lbrace n,n [1\backslash1,1,2] 2 \rbrace}

f

ε

ω

ω

(
n
)
>
{
n
,
n
[
1
∖
1
[
2
]
2
]
2
}

{\displaystyle f\_{\varepsilon\_{\omega^{\omega}}}(n) > \lbrace n,n [1\backslash1 [2] 2] 2 \rbrace}

f

ε

ω

ω

ω

(
n
)
>
{
n
,
n
[
1
∖
1
[
1
,
2
]
2
]
2
}

{\displaystyle f\_{\varepsilon\_{\omega^{\omega^{\omega}}}}(n) > \lbrace n,n [1\backslash1 [1,2] 2] 2 \rbrace}

f

ε

ε

0

(
n
)
>
{
n
,
n
[
1
∖
1
[
[
1
]
]
2
]
2
}

{\displaystyle f\_{\varepsilon\_{\varepsilon\_{0}}}(n) > \lbrace n,n [1\backslash1 [ [1]] 2] 2 \rbrace}

f

ε

ε

ε

0

(
n
)
>
{
n
,
n
[
1
∖
1
[
1
∖
1
[
[
1
]
]
2
]
2
]
2
}

{\displaystyle f\_{\varepsilon\_{\varepsilon\_{\varepsilon\_{0}}}}(n) > \lbrace n,n [1\backslash1 [1\backslash1 [ [1]] 2] 2] 2 \rbrace}

f

ζ

0

(
n
)
>
{
n
,
n
[
1
∖
1
∖
2
]
2
}

{\displaystyle f\_{\zeta\_{0}} (n) > \lbrace n,n [1\backslash1\backslash2] 2 \rbrace}

f

ζ

0

ζ

0

(
n
)
>
{
n
,
n
[
1
[
1
∖
1
∖
2
]
2
∖
1
∖
2
]
2
}

{\displaystyle f\_{\zeta\_{0}^{\zeta\_{0}}}(n) > \lbrace n,n [1 [1\backslash1\backslash2] 2\backslash1\backslash2] 2 \rbrace}

f

ε

ζ

0

1

(
n
)
>
{
n
,
n
[
1
∖
2
∖
2
]
2
}

{\displaystyle f\_{\varepsilon\_{\zeta\_{0}+1}}(n) > \lbrace n,n [1\backslash2\backslash2] 2 \rbrace}

f

ε

ζ

0

2

(
n
)
>
{
n
,
n
[
1
∖
3
∖
2
]
2
}

{\displaystyle f\_{\varepsilon\_{\zeta\_{0}+2}}(n) > \lbrace n,n [1\backslash3\backslash2] 2 \rbrace}

f

ε

ε

ζ

0

1

(
n
)
>
{
n
,
n
[
1
∖
1
[
1
∖
2
∖
2
]
2
∖
2
]
2
}

{\displaystyle f\_{\varepsilon\_{\varepsilon\_{\zeta\_{0}+1}}}(n) > \lbrace n,n [1\backslash1 [1\backslash2\backslash2] 2\backslash2]2 \rbrace}

f

ζ

1

(
n
)
>
{
n
,
n
[
1
∖
1
∖
3
]
2
}

{\displaystyle f\_{\zeta\_{1}}(n) > \lbrace n,n [1\backslash1\backslash3] 2 \rbrace}

f

ζ

2

(
n
)
>
{
n
,
n
[
1
∖
1
∖
4
]
2
}

{\displaystyle f\_{\zeta\_{2}}(n) > \lbrace n,n [1\backslash1\backslash4] 2 \rbrace}

f

ζ

ζ

0

(
n
)
>
{
n
,
n
[
1
∖
1
∖
1
[
1
∖
1
∖
2
]
2
]
2
}

{\displaystyle f\_{\zeta\_{\zeta\_{0}}}(n) > \lbrace n,n [1\backslash1\backslash1 [1\backslash1\backslash2] 2] 2 \rbrace}

f

η

0

(
n
)
>
{
n
,
n
[
1
∖
1
∖
1
∖
2
]
2
}

{\displaystyle f\_{\eta\_{0}}(n) > \lbrace n,n [1\backslash1\backslash1\backslash2] 2 \rbrace}

f

φ
(
4
,
0
)

(
n
)
>
{
n
,
n
[
1
∖
1
∖
1
∖
1
∖
2
]
2
}

{\displaystyle f\_{\varphi(4,0)}(n) > \lbrace n,n [1\backslash1\backslash1\backslash1\backslash2] 2 \rbrace}

f

φ
(
ω
,
0
)

(
n
)
>
{
n
,
n
[
1
[
2
]
∖
2
]
2
}

{\displaystyle f\_{\varphi(\omega,0)}(n) > \lbrace n,n [1 [2]\backslash2] 2 \rbrace}

f

φ
(
φ
(
ω
,
0
)
,
0
)

(
n
)
>
{
n
,
n
[
1
[
1
[
1
[
2
]
∖
2
]
∖
2
]
2
]
2
}

{\displaystyle f\_{\varphi(\varphi(\omega,0),0)}(n) > \lbrace n,n [1 [1 [1 [2]\backslash2]\backslash2] 2] 2 \rbrace}

f

Γ

0

(
n
)
>
{
n
,
n
[
1

/

2
]
2
}

{\displaystyle f\_{\Gamma\_{0}}(n) > \lbrace n,n [1/2] 2 \rbrace}

f

φ
(
1
,
0
,
0
,
0
)

(
n
)
>
{
n
,
n
[
1
[
1
¬
4
]
2
]
2
}

{\displaystyle f\_{\varphi(1,0,0,0)}(n) > \lbrace n,n [1 [1\neg4] 2] 2 \rbrace}

f

ϑ
(

Ω

ω

)

(
n
)
>
{
n
,
n
[
1
[
1
¬
1
,
2
]
2
]
2
}

{\displaystyle f\_{\vartheta(\Omega^{\omega})}(n) > \lbrace n,n [1 [1\neg1,2] 2] 2 \rbrace}

f

ϑ
(

Ω

Ω

)

(
n
)
>
{
n
,
n
[
1
[
1
¬
1
¬
2
]
2
]
2
}

{\displaystyle f\_{\vartheta(\Omega^{\Omega})}(n) > \lbrace n,n [1 [1\neg1\neg2] 2] 2 \rbrace}

f

ϑ
(

Ω

Ω

Ω

)

(
n
)
>
{
n
,
n
[
1
[
1
[
1

∖
3

3
]
2
]
2
]
2
}

{\displaystyle f\_{\vartheta(\Omega^{\Omega^{\Omega}})}(n) > \lbrace n,n [1 [1 [1\backslash\_33] 2] 2] 2 \rbrace}

f

ϑ
(

ϑ

1

(
1
)
)

(
n
)
>
{
n
,
n
[
1
[
1
∼
3
]
2
]
2
}

{\displaystyle f\_{\vartheta(\vartheta\_{1}(1))}(n) > \lbrace n,n [1 [1\sim3] 2] 2 \rbrace}

f

ϑ
(

ϑ

1

(
2
)
)

(
n
)
>
{
n
,
n
[
1
[
1
∼
1
∼
2
]
2
]
2
}

{\displaystyle f\_{\vartheta(\vartheta\_{1}(2))}(n) > \lbrace n,n [1 [1\sim1\sim2] 2] 2 \rbrace}

f

ϑ
(

ϑ

1

(
ω
)
)

(
n
)
>
{
n
,
n
[
1
[
1
[
2

/

3

2
]
2
]
2
]
2
}

{\displaystyle f\_{\vartheta(\vartheta\_{1}(\omega))}(n) > \lbrace n,n [1 [1 [2/\_32] 2] 2] 2 \rbrace}

f

ϑ
(

ϑ

1

(
Ω
)
)

(
n
)
>
{
n
,
n
[
1
[
1
[
1

/

2

/

3

2
]
2
]
2
]
2
}

{\displaystyle f\_{\vartheta(\vartheta\_{1}(\Omega))}(n) > \lbrace n,n [1 [1 [1/2/\_32] 2] 2] 2 \rbrace}

f

ϑ
(

Ω

2

)

(
n
)
>
{
n
,
n
[
1
[
1
[
1
∼
2

/

3

2
]
2
]
2
]
2
}

{\displaystyle f\_{\vartheta(\Omega\_{2})}(n) > \lbrace n,n [1 [1 [1\sim2/\_32] 2] 2] 2 \rbrace}

f

ϑ
(

Ω

3

)

(
n
)
>
{
n
,
n
[
1
[
1
[
1
[
1

/

3

2

/

4

2
]
2
]
2
]
2
]
2
}

{\displaystyle f\_{\vartheta(\Omega\_{3})}(n) > \lbrace n,n [1 [1 [1 [1/\_32/\_42] 2] 2] 2] 2 \rbrace}

f

ϑ
(

Ω

ω

)

(
n
)
>
{
n
,
n
[
1
∙
2
]
2
}

{\displaystyle f\_{\vartheta(\Omega\_{\omega})}(n) > \lbrace n,n [1\bullet2] 2 \rbrace}

f

ϑ
(

Ω

ε

0

)

(
n
)
>
{
n
,
n
[
1
[
2

/

1
[
1
∖
2
]
2

2
]
2
]
2
}

{\displaystyle f\_{\vartheta(\Omega\_{\varepsilon\_{0}})}(n) > \lbrace n,n [1 [2/\_{1 [1\backslash2] 2}2] 2] 2 \rbrace}

f

ϑ
(

Ω

Γ

0

)

(
n
)
>
{
n
,
n
[
1
[
2

/

1
[
1

/

2
]
2

2
]
2
]
2
}

{\displaystyle f\_{\vartheta(\Omega\_{\Gamma\_{0}})}(n) > \lbrace n,n [1 [2/\_{1 [1/2] 2}2] 2] 2 \rbrace}

f

ϑ
(

Ω

ϑ
(

Ω

2

)

)

(
n
)
>
{
n
,
n
[
1
[
2

/

1
[
1
[
1
[
1
∼
2

/

3

2
]
2
]
2
]
2

2
]
2
]
2
}

{\displaystyle f\_{\vartheta(\Omega\_{\vartheta(\Omega\_{2})})}(n) > \lbrace n,n [1 [2/\_{1 [1 [1 [1\sim2/\_32] 2] 2] 2}2] 2] 2 \rbrace}

f

ϑ
(

Ω

ϑ
(

Ω

3

)

)

(
n
)
>
{
n
,
n
[
1
[
2

/

1
[
1
[
1
[
1
[
1

/

3

2

/

4

2
]
2
]
2
]
2
]
2

2
]
2
]
2
}

{\displaystyle f\_{\vartheta(\Omega\_{\vartheta(\Omega\_{3})})}(n) > \lbrace n,n [1 [2/\_{1 [1 [1 [1 [1/\_32/\_42] 2] 2] 2] 2}2] 2] 2 \rbrace}

f

ϑ
(

Ω

ϑ
(

Ω

ω

)

)

(
n
)
>
{
n
,
n
[
1
[
2

/

1
[
1
∙
2
]
2

2
]
2
]
2
}

{\displaystyle f\_{\vartheta(\Omega\_{\vartheta(\Omega\_{\omega})})}(n) > \lbrace n,n [1 [2/\_{1 [1\bullet2] 2}2] 2] 2 \rbrace}

f

ϑ
(

Ω

ϑ
(

Ω

ϑ
(

Ω

ω

)

)

)

(
n
)
>
{
n
,
n
[
1
[
2

/

1
[
2

/

1
[
1
∙
2
]
2

2
]
2

2
]
2
]
2
}

{\displaystyle f\_{\vartheta(\Omega\_{\vartheta(\Omega\_{\vartheta(\Omega\_{\omega})})})}(n) > \lbrace n,n [1 [2/\_{1 [2/\_{1 [1\bullet2] 2}2] 2}2] 2] 2 \rbrace}

## Примечания

1. ↑ А. Фройнд и Ф. Пахомов, “Краткие доказательства медленной непротиворечивости” (с.4). *Журнал формальной логики Нотр-Дама*, 61 (1): 31–49. doi:10.1215/00294527-2019-0031 arXiv:1712.03251
2. ↑ Больший ординал не обязательно соответствует большей функции посредством БРИ.
3. ↑ T. Кихара, omega-1-ck.pdf.