Talk:Alpha recursion theory

Mathematics Start‑class Low‑priority

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Start	This article has been rated as Start-class on Wikipedia's content assessment scale.
Low	This article has been rated as Low-priority on the project's priority scale.

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 Zero sharp (talk) 23:44, 3 June 2008 (UTC)[reply]

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

This is probably supposed to mean either that admissible SETS are models of KP or that for an admissible ordinal, the corresponding L-level is a model of KP? As it stands, it is certainly false. — Preceding unsigned comment added by 79.235.170.206 (talk) 21:00, 12 January 2015 (UTC)[reply]