Content deleted Content added
Rating article for WikiProject Mathematics. Quality: Start / Priority: Low / Field: foundations (script assisted) |
No edit summary |
||
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)
=="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.
| |||