Content deleted Content added
m Signing comment by 131.107.0.98 - "" |
move new comment to bottom and respond |
||
Line 1:
{{maths rating|class=B|importance=mid|field=foundations}}
== boldface distinction ==
MAJOR PROBLEM here -- the description of the the abstract levels of the hierarchy do not adequately reflect the alternating nature of the quantifiers. In fact, no where on the page is the word "alternating" found. See the planet math article for a correct description. <span style="font-size: smaller;" class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/131.107.0.98|131.107.0.98]] ([[User talk:131.107.0.98|talk]]) 18:44, 24 June 2010 (UTC)</span><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->▼
Problem here -- the boldface/lightface distinction is not clearly made --[[User:Trovatore|Trovatore]] 7 July 2005 19:31 (UTC)
Line 39 ⟶ 38:
Well, not really, the first quantifier of the normalized form, but not of the formula. As we just demonstrated any formula in <math>\Pi^1_n</math> or <math>\Sigma^1_n</math> is in <math>\Delta^1_m</math> for all m>n. ''[[User:Rich Farmbrough|Rich]] [[User talk:Rich Farmbrough|Farmbrough]]'', 16:23, 14 December 2009 (UTC).
== alternating ==
▲MAJOR PROBLEM here -- the description of the the abstract levels of the hierarchy do not adequately reflect the alternating nature of the quantifiers. In fact, no where on the page is the word "alternating" found. See the planet math article for a correct description. <span style="font-size: smaller;" class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/131.107.0.98|131.107.0.98]] ([[User talk:131.107.0.98|talk]]) 18:44, 24 June 2010 (UTC)</span><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->
:It is true that the page doesn't use the word "alternating", but I think the definition here is correct. Is there something in particular wrong with it? — Carl <small>([[User:CBM|CBM]] · [[User talk:CBM|talk]])</small> 00:26, 25 June 2010 (UTC)
| |||