User contributions
From Free net encyclopedia
For JRSpriggs (Talk)
(Latest | Earliest) View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500).
- 04:58, 21 April 2006 (hist) (diff) Constructible universe (→Relative constructibility - Another formuation of the tower) (top)
- 05:39, 20 April 2006 (hist) (diff) Inaccessible cardinal (→Models and consistency - rewrite stuff about consistency) (top)
- 09:15, 19 April 2006 (hist) (diff) Finite set ((excluding the end points)) (top)
- 10:17, 18 April 2006 (hist) (diff) Peano axioms (→External links) (top)
- 06:39, 17 April 2006 (hist) (diff) Totally indescribable cardinal (use "n" consistently) (top)
- 09:07, 15 April 2006 (hist) (diff) Transitive closure (Disambiguation -- for the transitive closure of a set see transitive set.) (top)
- 06:38, 13 April 2006 (hist) (diff) Löwenheim–Skolem theorem (correct the order of N and M in "''N'' is an elementary substructure of ''M''). ") (top)
- 06:15, 13 April 2006 (hist) (diff) Tav (number) (fix pointers) (top)
- 05:53, 13 April 2006 (hist) (diff) Countable set (→Definition - reorganize theorem on surjection) (top)
- 06:44, 12 April 2006 (hist) (diff) Transfinite number (revert Jagged 85's revert) (top)
- 09:45, 9 April 2006 (hist) (diff) Uncountable set (top)
- 06:50, 7 April 2006 (hist) (diff) König's theorem (if the axiom of choice holds and) (top)
- 07:56, 6 April 2006 (hist) (diff) Mahlo cardinal (→Example: showing that Mahlo cardinals are hyper-inaccessible) (top)
- 05:55, 6 April 2006 (hist) (diff) Recursively enumerable set (→Examples - Given a function f, the graph of f, i.e. {(x,f(x))|x in the domain of f}, is recursively enumerable iff f is partial recursive.) (top)
- 09:15, 5 April 2006 (hist) (diff) Cantor–Bernstein–Schroeder theorem (→See also - Category:Cardinal numbers) (top)
- 07:42, 3 April 2006 (hist) (diff) Regular cardinal (Category:Cardinal numbers) (top)
- 05:29, 3 April 2006 (hist) (diff) Weakly compact cardinal (→Theorem - natural number n ≥ 2) (top)
- 07:36, 1 April 2006 (hist) (diff) Limit cardinal (→The notion of inaccessibility and large cardinals) (top)
- 06:21, 29 March 2006 (hist) (diff) Equinumerosity (→See also - add "cardinal numbers" category and pointer to "Bijection" article) (top)
- 07:49, 28 March 2006 (hist) (diff) Cofinality (→Cofinality in the special case of well-ordered sets - A ''singular ordinal'' is any ordinal which is not regular.) (top)
- 08:24, 23 March 2006 (hist) (diff) Transfinite induction (→See also) (top)
- 08:40, 21 March 2006 (hist) (diff) Von Neumann cardinal assignment (Copied in subsection "Initial ordinal of a cardinal" from "Ordinal number".) (top)
- 08:27, 21 March 2006 (hist) (diff) Limit ordinal (→Properites - touch up) (top)
- 08:14, 21 March 2006 (hist) (diff) Successor ordinal (rewording to be clearer.) (top)
(Latest | Earliest) View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500).