Content deleted Content added
Rating article for WikiProject Mathematics. Quality: Start / Priority: Low / Field: foundations (script assisted) |
m Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{WikiProject Mathematics}}. Tag: |
||
| (6 intermediate revisions by 4 users not shown) | |||
Line 1:
{{
{{WikiProject Mathematics|priority=Low}}
}}
==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."==
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. <small class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/79.235.170.206|79.235.170.206]] ([[User talk:79.235.170.206|talk]]) 21:00, 12 January 2015 (UTC)</small><!-- Template:Unsigned IP --> <!--Autosigned by SineBot-->
== "An admissible set is closed under <math>\Sigma_1(L_\alpha)</math> functions" ==
As it currently reads I think this claim is false, since for any admissible set <math>M</math>, if we take some <math>z\in M</math> and define <math>f(x)=\begin{cases}z\;\mathrm{if}\;x=z \\ \mathrm{undefined}\;\mathrm{otherwise}\end{cases}</math>, <math>f</math> is <math>\Sigma_1</math> on <math>M</math> but <math>M</math> is not closed under <math>f</math> (i.e. "<math>\forall(x\in M)\exists(y\in M)(y=f(x))</math>" is false, in fact "<math>\forall(x\in M)\exists y(y=f(x))</math>" is false.) The closest I can find to this in "The fine structure of the constructible hierarchy" is in the proof of lemma 2.13, where it says "but <math>X</math> is closed under <math>f</math> since <math>f</math> is <math>\Sigma_1</math> in <math>p\in X</math>. So I am not sure that there's a source for this claim. [[User:C7XWiki|C7XWiki]] ([[User talk:C7XWiki|talk]]) 07:01, 6 July 2023 (UTC)
| |||