Talk:Alpha recursion theory: Difference between revisions

Revision as of 21:01, 12 January 2015

Revision as of 20:29, 25 April 2021

Line 2:

==What is 'L'==

I'm assuming L_sub_alpha is the alpha-th level of the constructible universe, can someone confirm this and if so, it should be lnked to [[Constructible_universe]] [[User:Zero sharp|Zero sharp]] ([[User talk:Zero sharp|talk]]) 23:44, 3 June 2008 (UTC)

: Yes, it is, linking [[User:C7XWiki|C7XWiki]] ([[User talk:C7XWiki|talk]]) 20:29, 25 April 2021 (UTC)

=="Admissible ordinals are models of Kripke–Platek set theory."==