Církev – Kleene ordinální - Church–Kleene ordinal - Wikipedia

V matematice je Církev – Kleene ordinální, , pojmenoval podle Alonzo Church a S. C. Kleene, je velké počitatelné pořadové číslo. Je to soubor všech rekurzivní ordinály a následně nejmenší nerekurzivní ordinál. Vzhledem k tomu, že nástupce rekurzivního ordinálu je rekurzivní, je církev-kleeneovský ordinál limitní ordinál. Je to také první ordinál, který není hyperaritmetické a první přípustný pořadový po ω.

Reference

  • Kostel, Alonzo; Kleene, S. C. (1937), „Formální definice v teorii řadových čísel.“, Fundamenta mathematicae, Warszawa, 28: 11–21, JFM  63.0029.02
  • Church, Alonzo (1938), „Konstruktivní druhá číselná třída“, Býk. Amer. Matematika. Soc., 44 (4): 224–232, doi:10.1090 / S0002-9904-1938-06720-1
  • Kleene, S. C. (1938), „K notaci pro řadová čísla“, The Journal of Symbolic Logic, The Journal of Symbolic Logic, Vol. 3, č. 4, 3 (4): 150–155, doi:10.2307/2267778, JSTOR  2267778
  • Rogers, Hartley (1987) [1967], Teorie rekurzivních funkcí a efektivní vypočítatelnostPrvní brožované vydání MIT pro tisk, ISBN  978-0-262-68052-3