Content deleted Content added
→B class: r |
|||
Line 85:
* As for the class rating, I'll let the experts on class ratings discuss this. By the way, could you give me a Wiki reference to the definitions of each rating?
—[[User:RJGray|RJGray]] ([[User talk:RJGray|talk]]) 21:34, 24 January 2010 (UTC)
:By Baire category theorem I mean: the intersection of a sequence of dense open sets in the real line is dense. This fact does not require the axiom of choice; the proof is completely effective. In particular, if the sequence U<sub>n</sub> of dense open sets is computable, then there is a computable function that takes a rational interval [''a'',''b''] as input and returns a real in <math>[a,b] \cap \bigcap_n U_n</math>. The axiom of dependent choice is only needed to prove the version of BCT for non-separable complete metric spaces.
:A description of the recommendations for math article assessments is at [[Wikipedia:WikiProject_Mathematics/Wikipedia_1.0/Grading_scheme]]. However, the "A" class is in limbo right now: there was a system set up to try to review articles before they were rated A class, but that system never caught on, and now it is defunct. — Carl <small>([[User:CBM|CBM]] · [[User talk:CBM|talk]])</small> 00:23, 25 January 2010 (UTC)
| |||