Феферман-Шютте реттік - Feferman–Schütte ordinal

Математикада Феферман-Шютте реттік Γ₀ Бұл үлкен реттік.Бұл дәлелді-теориялық реттік сияқты бірнеше математикалық теориялардың арифметикалық трансфинитті рекурсия.Оған байланысты Соломон Феферман және Курт Шютте.

Кейде бұл бірінші импрессивті реттік деп аталады,^[1]^[2] дегенмен, бұл дау тудырады, ішінара жалпыға бірдей қабылданған дәл анықтама болмағандықтанпредикативті «. Кейде реттік предикативті деп айтады, егер ол Γ-ден аз болса₀.

Феферман-Шютте реттік қатарынан тыс реттік нөмірлерге арналған стандартты жазба жоқ. Феферман-Шютте ретін ұсынудың бірнеше әдісі бар, олардың кейбіреулері қолданылады реттік реттелетін функциялар: ${displaystyle psi (Omega ^ {Omega})}$ , ${displaystyle heta (Омега)}$ немесе ${displaystyle phi _ {Омега} (0)}$ .

Анықтама

Феферман-Шютте ретін 0-ден басталатын және реттік қосу және қосу амалдарының көмегімен алынбайтын ең кіші реттік деп анықтауға болады. Veblen функциялары φ_α(β). Яғни, бұл that болатын ең кіші α_α(0) = α.

Әдебиеттер тізімі

^ Курт Шютте, Дәлелдеу теориясы, Grundlehren der Mathematischen Wissenschaften, 225-топ, Springer-Verlag, Берлин, Гейдельберг, Нью-Йорк, 1977, xii + 302 бб.
^ Соломон Феферман, «Болжамдық " (2002)

Похлерс, Вольфрам (1989), Дәлелдеу теориясы, Математикадан дәрістер, 1407, Берлин: Springer-Verlag, дои:10.1007/978-3-540-46825-7, ISBN 3-540-51842-8, МЫРЗА 1026933
Weaver, Nik (2005), Gamma_0 шегінен тыс болжамдылық, arXiv:математика / 0509244, Бибкод:2005 ж. ...... 9244W

[1] Курт Шютте, Дәлелдеу теориясы, Grundlehren der Mathematischen Wissenschaften, 225-топ, Springer-Verlag, Берлин, Гейдельберг, Нью-Йорк, 1977, xii + 302 бб.

[2] Соломон Феферман, «Болжамдық " (2002)

[1]

[2]