User contributions
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 02:57, 30 March 2012 (diff | hist) Talk:Subset of Countable Set (Blanked the page) (top)
- 02:56, 30 March 2012 (diff | hist) N Talk:Subset of Countable Set (Created page with "The statement of the theorem is incorrect. The subsets must not be finite for the statement to hold. ~~~~")
- 04:02, 2 March 2012 (diff | hist) Talk:Real Number Line (top)
- 18:56, 12 February 2012 (diff | hist) User:Prime.mover
- 01:28, 12 February 2012 (diff | hist) ProofWiki:Community Portal/Other Websites (→Formalized Mathematical Proofs)
- 16:52, 10 February 2012 (diff | hist) Definition talk:Minimal Infinite Successor Set (top)
- 12:35, 10 February 2012 (diff | hist) Definition talk:Minimal Infinite Successor Set
- 11:12, 10 February 2012 (diff | hist) Definition talk:Minimal Infinite Successor Set
- 01:16, 10 February 2012 (diff | hist) m User:Asalmon (top)
- 01:09, 10 February 2012 (diff | hist) User:Asalmon (→Ordinals)
- 01:08, 10 February 2012 (diff | hist) m Principle of Transfinite Recursion (→Proof Sketch)
- 01:08, 10 February 2012 (diff | hist) N Principle of Transfinite Recursion (Created page with "== Statement == Given that $G$ is a function, there is a function $F$ such that: * $F$ is a function with domain $\operatorname{On}$ * $\forall x \in \operatorname{On}: F(x)...")
- 00:34, 10 February 2012 (diff | hist) m User:Asalmon (→Ordinals)
- 00:21, 10 February 2012 (diff | hist) m Definition:Minimal Infinite Successor Set (→Sources)
- 00:21, 10 February 2012 (diff | hist) Definition:Minimal Infinite Successor Set (→Sources)
- 00:20, 10 February 2012 (diff | hist) Definition:Minimal Infinite Successor Set
- 00:16, 10 February 2012 (diff | hist) Definition talk:Minimal Infinite Successor Set
- 21:56, 9 February 2012 (diff | hist) Definition talk:Minimal Infinite Successor Set
- 21:18, 9 February 2012 (diff | hist) Talk:Minimal Infinite Successor Set is Well-Ordered
- 21:18, 9 February 2012 (diff | hist) N Talk:Minimal Infinite Successor Set is Well-Ordered (Created page with "It's better to first prove this is an ordinal. Then its (strict) well-order-ability with respect to membership follows immediately from Ordinal is Well-Ordered by Epsilon")
- 21:13, 9 February 2012 (diff | hist) m Definition talk:Minimal Infinite Successor Set
- 21:12, 9 February 2012 (diff | hist) N Definition talk:Minimal Infinite Successor Set (Created page with "To be useful, this definition requires the use of the Axiom of Infinity - otherwise it is not well-defined. The definition: :$\omega = \{ x : ( x \cup \{ x \} ) \subseteq K_...")
- 13:55, 4 February 2012 (diff | hist) User:Asalmon (→Ordinals)
- 13:54, 4 February 2012 (diff | hist) N Principle of Transfinite Induction (Created page with "== Theorem == * Principle of Transfinite Induction Let $\operatorname{On}$ denote the class of all Ordinals. Let $A$ denote a class. For all elements $x$ of $\operatorname...")
- 13:12, 4 February 2012 (diff | hist) m Every Ordinal is a Transitive Class (→Definition) (top)
- 15:42, 22 December 2011 (diff | hist) N Talk:Between Every Two Rationals Exists an Irrational (Created page with "Perhaps the page name could be changed to Reals are Dense in Rationals.")
- 00:14, 3 December 2011 (diff | hist) Definition talk:Set Union
- 23:56, 1 December 2011 (diff | hist) N Definition talk:Set Union (Created page with "Perhaps you should extend the definition of the indexed union to generalize it so it's not just with Natural numbers (correct me if this has already been done). ~~~~")
- 19:12, 29 November 2011 (diff | hist) N Ordinal Subset of Ordinal Class (Created page with "== Theorem == Suppose $A$ is an ordinal. Then, $A \subseteq \operatorname{On}$ where $\operatorname{On}$ represents the [[Definition:Ordinal Class|class ...") (top)
- 17:42, 29 November 2011 (diff | hist) m Ordinal Member of Ordinal Class (→Proof)
- 17:42, 29 November 2011 (diff | hist) m Ordinal Member of Ordinal Class (→Proof)
- 17:42, 29 November 2011 (diff | hist) N Ordinal Member of Ordinal Class (Created page with "== Theorem == Suppose $A$ is an ordinal. Then $A \in \operatorname{On} \lor A = \operatorname{On}$. == Proof == Since Ordinal Class is Ordinal, and...")
- 17:40, 29 November 2011 (diff | hist) m User:Asalmon (→Ordinals)
- 17:26, 29 November 2011 (diff | hist) User:Asalmon (→Ordinals)
- 17:26, 29 November 2011 (diff | hist) N Ordinal Membership Trichotomy (Created page with "== Theorem == Let $A$ and $B$ be ordinals. Then $( A \in B \lor A = B \lor B \in A )$. == Proof == By Relation between Unequal Ordinals, $( A \not ...")
- 17:02, 29 November 2011 (diff | hist) Talk:Equivalence of Well-Ordering Principle and Induction
- 02:42, 29 November 2011 (diff | hist) User talk:Prime.mover
- 02:41, 29 November 2011 (diff | hist) User talk:Prime.mover
- 02:20, 29 November 2011 (diff | hist) N Talk:Equivalence of Well-Ordering Principle and Induction (Created page with "It's a little silly to talk about equivalence between tautologies - it would seem more meaningful (and useful) if this statement were generalized to induction on well-founded or ...")
- 02:17, 29 November 2011 (diff | hist) User:Asalmon (→Ordinals)
- 02:13, 29 November 2011 (diff | hist) N Ordinal Proper Subset Membership (Created page with "== Theorem == Let $A$ be an Ordinal and $B$ be any transitive class, and let them be either proper classes or sets. Then $B \subset A \iff B \in...")
- 01:39, 29 November 2011 (diff | hist) m Alternative Definition of an Ordinal (→Source)
- 01:37, 29 November 2011 (diff | hist) m Ordinal Class is Ordinal (→Source) (top)
- 01:36, 29 November 2011 (diff | hist) N Talk:Ordinal Class is Ordinal (Created page with "Copied from Burali-Forti Paradox, but it's an important result, and will be used later. --asalmon") (top)
- 01:34, 29 November 2011 (diff | hist) m Ordinal Class is Ordinal (→Theorem)
- 01:34, 29 November 2011 (diff | hist) m Ordinal Class is Ordinal (→Proof)
- 01:33, 29 November 2011 (diff | hist) N Ordinal Class is Ordinal (Created page with "== Theorem == The Ordinal Class $operatorname{On}$ is an ordinal. == Proof == All ordinals are not elements of themselves, ...")
- 01:27, 29 November 2011 (diff | hist) m User:Asalmon (→Ordinals)
- 01:27, 29 November 2011 (diff | hist) User:Asalmon (→Ordinals)
- 01:26, 29 November 2011 (diff | hist) N Alternative Definition of an Ordinal (Created page with "== Theorem == Let $A$ be a class, either a set or proper class. Then $A$ is an ordinal iff $A$ is well-ordered by $\Epsilon$ ([[Defini...")
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
