Search results

Create the page "Stub pages of grade: A" on this wiki! See also the search results found.

• Pre-image sigma-algebra
  ...nsion. Needs to be exemplary as a lot of search traffic enters here.|grade=A}} {{Refactor notice|grade=A}}
  1 KB (177 words) - 22:12, 19 April 2016
• Negation of implies
  {{Stub page|grade=C|msg=Formal logic pages to not exist!}} {{Requires cleanup|grade=C|msg=A low grade as the content is and the page isn't important}}
  861 B (153 words) - 21:05, 17 November 2016
• Site:Refactoring
  ...of the parallels between refactoring code (in programming) and refactoring pages (when moving the contents about, re-writing chunks, changing the format fro ...oth the need for the page (Is it important? Will a lot of things build off of this page's content?) and the urgency for refactoring (Is it in dire need?
  2 KB (425 words) - 02:21, 12 April 2016
• The real numbers
  {{Stub page|grade=C|msg=Once cleaned up and fleshed out, demote to D ...ith their "usual topology", the [[topology]] that is [[topology induced by a metric|induced]] by the [[absolute value metric]]
  1 KB (200 words) - 21:31, 26 February 2017
• Coproduct
  * [[Coproduct (category theory)]] - the coproducts below are instances of this in their own [[category]] ** [[Coproduct (topology)]] - a [[categorical coproduct]] in the [[TOP category]]
  577 B (74 words) - 13:22, 20 October 2016
• Extending pre-measures to measures
  ...not trivial. For example, to find the biggest class of sets we can extend a pre-measure to is different to what this page shows.}} This page is just st # A [[extending pre-measures to outer-measures|pre-measure, {{M|\bar{\mu}:\math
  2 KB (257 words) - 17:27, 17 August 2016
• Doctrine:Measure theory terminology
  {{Stub page|grade=A|msg=Templates for doctrine pages and entries for the different stages (proposed, fast-track, accepted...) ne |<center><m>\xymatrix{ \text{Partial measure on a semi-ring} \ar@/^5ex/[drr] & \\
  2 KB (333 words) - 17:49, 27 February 2017
• A subset of a topological space is open if and only if it is a neighbourhood to all of its points
  ...to other pages, gosh for something so simple it's long! Also verification of proof}} ...g {{M|x}}. We call this an "''open neighbourhood''". By default {{M|N}} is a ''neighbourhood to {{M|x}}'' is '''always''' defined to mean:
  8 KB (1,529 words) - 00:27, 6 September 2016
• Formula (FOL)
  ...r PDFs. It requires more references and some fleshing out to link to other pages. But will suffice for now}} The logical formulas of a [[FOL]] are (like {{link|terms|FOL}}) defined [[inductive definition|induct
  3 KB (500 words) - 05:37, 8 September 2016
• Semantics of logical connectives (FOL)
  ...ur PDFs any more, it needs more references, fleshing out, linking to other pages, so forth}} ...be a given [[first order language]] and let {{M|C}} denote the collection of all {{link|logical connective symbols|FOL}}<ref group="Note">Usually this m
  2 KB (369 words) - 07:46, 11 September 2016
• Characteristic property of the disjoint union topology
  {{Stub page|grade=A|msg=Finish proof at least, link to other pages}} {{Requires proof|grade=A|msg=It's actually pretty easy, just got to be careful with the notation}}
  368 B (49 words) - 20:07, 25 September 2016
• Dense
  {{Stub page|grade=B|msg=Revise page, add some links to propositions or theorems using the den '''DENSE IS SPRAWLED OVER LIKE 4 PAGES'''
  6 KB (1,097 words) - 04:15, 1 January 2017
• Equivalent statements to a set being dense
  ...rade C or D once more theorems have been sought out and the page resembles a page rather than its current state}} ...motivation of [[dense set]]. This page describes equivalent conditions to a set being [[dense]].
  3 KB (490 words) - 20:18, 28 October 2016
• Disjoint
  {{Stub page|grade=C|msg=Proper stub page, created just to minimally document something}} {{Requires references|grade=D|msg=Trust me, disjoint means this}}
  2 KB (294 words) - 03:19, 1 October 2016
• Pasting lemma
  ...rade=A*|msg=Create the [[closed pasting lemma]] and [[open pasting lemma]] pages. Do the proof, see page 58.9 in Lee's top manifolds if stuck, shouldn't be # An arbitrary [[open cover]] of {{M|X}}, or
  1 KB (193 words) - 07:07, 14 October 2016
• Module homomorphism
  {{Stub page|grade=A|msg=Flesh out, deal with {{plural|unital module|s}}, so forth}} ...omomorphism]] for a list of other morphism types, and see [[morphism]] for a categorical overview.
  3 KB (432 words) - 22:20, 19 October 2016
• The intersection of two sets is non-empty if and only if there exists a point in one set that is in the other set
  ...created to make the proof of claims in [[Dense]] more applicable to other pages and thus worth covering}} Let {{M|A}} and {{M|B}} be [[sets]]. Then we claim:
  2 KB (287 words) - 19:31, 28 October 2016
• Constant loop based at a point
  {{Stub page|grade=A|msg=Check over, link to other pages (and add links to this page) then demote or remove this}} ...pace]], and let {{M|b\in X}} be given ("the point" in the title). There is a "special" {{link|loop|topology}} called "''the constant loop based at {{M|b
  3 KB (479 words) - 21:03, 1 November 2016
• Operations on convergent sequences of real numbers
  {{Stub page|grade=A*|msg=Demote once cleaned up. Routine work for first years, documenting only * make sure links on [[If a real series converges then its terms tend to zero]] agree}}
  5 KB (900 words) - 05:45, 23 November 2016
• Example:A smooth function that is not real analytic
  {{Stub page|grade=A*|msg=Important to do! Needs to be nice and neat before this is removed.}} ...nt is 0, the derivative of that is 0, and so forth - link to corresponding pages}}
  5 KB (1,030 words) - 04:25, 27 November 2016