User contributions for Ratboy

30 April 2014

• 02:3202:32, 30 April 2014 diff hist +319‎ N Talk:Set of Gödel Numbers of Arithmetic Theorems Not Definable in Arithmetic ‎ "Defined" must be defined.

12 March 2012

• 17:0517:05, 12 March 2012 diff hist 0‎ Axiom of Choice implies Hausdorff's Maximal Principle/Proof 1 ‎No edit summary
• 16:4716:47, 12 March 2012 diff hist +250‎ N Definition:Inductive Ordered Set ‎ Created page with "== Definition == <onlyinclude> An inductive poset is a poset in which every chain has an upper bound. </onlyinclude> == Also known as == An inductive poset can also be called..."
• 16:2316:23, 12 March 2012 diff hist +147‎ User talk:Prime.mover ‎No edit summary
• 16:0916:09, 12 March 2012 diff hist −516‎ Axiom of Choice implies Hausdorff's Maximal Principle/Proof 3 ‎No edit summary
• 15:5915:59, 12 March 2012 diff hist −190‎ Axiom of Choice implies Hausdorff's Maximal Principle/Proof 1 ‎No edit summary
• 13:2513:25, 12 March 2012 diff hist −98‎ Axiom of Choice implies Hausdorff's Maximal Principle/Proof 1 ‎No edit summary
• 12:3712:37, 12 March 2012 diff hist −15‎ Set of Chains is Closed under Chain Unions under Subset Relation ‎No edit summary
• 08:0008:00, 12 March 2012 diff hist +1‎ Set of Chains is Closed under Chain Unions under Subset Relation ‎No edit summary
• 07:5807:58, 12 March 2012 diff hist +20‎ Set of Chains is Closed under Chain Unions under Subset Relation ‎No edit summary
• 07:5607:56, 12 March 2012 diff hist +22‎ Set of Chains is Closed under Chain Unions under Subset Relation ‎No edit summary
• 07:5407:54, 12 March 2012 diff hist +791‎ N Set of Chains is Closed under Chain Unions under Subset Relation ‎ Created page with "== Theorem == For a poset $\left( P, \leq \right)$, let $ch\left( P \right)$ be the set of chains included in $P$. The union of a chain in the poset $ch\left(ch \left( P \ri..."

29 February 2012

• 01:4801:48, 29 February 2012 diff hist −26‎ Bourbaki-Witt Fixed Point Theorem ‎No edit summary
• 01:4601:46, 29 February 2012 diff hist +322‎ N Definition:Inflationary Mapping ‎ Created page with "== Definition == <onlyinclude> Let $\left({S, \preceq}\right)$ be a poset. Let $\phi: S \to S$ be a mapping. Then $\phi$ is '''i..."
• 01:3601:36, 29 February 2012 diff hist −247‎ Bourbaki-Witt Fixed Point Theorem ‎No edit summary
• 00:2900:29, 29 February 2012 diff hist +90‎ Bourbaki-Witt Fixed Point Theorem ‎No edit summary

19 February 2012

• 02:3802:38, 19 February 2012 diff hist 0‎ Bourbaki-Witt Fixed Point Theorem ‎No edit summary

18 February 2012

• 08:2708:27, 18 February 2012 diff hist +32‎ Bourbaki-Witt Fixed Point Theorem ‎No edit summary
• 08:1308:13, 18 February 2012 diff hist −26‎ Bourbaki-Witt Fixed Point Theorem ‎No edit summary

26 January 2012

• 06:3906:39, 26 January 2012 diff hist +27‎ Hausdorff's Maximal Principle ‎No edit summary
• 06:2506:25, 26 January 2012 diff hist −18‎ Hausdorff's Maximal Principle ‎ Undo revision 78277 by Ratboy (talk)
• 06:0606:06, 26 January 2012 diff hist −3‎ Hausdorff's Maximal Principle ‎ Undo revision 77901 by Prime.mover (talk)
• 06:0306:03, 26 January 2012 diff hist +7‎ Infinite Set has Countably Infinite Subset/Proof 1 ‎No edit summary
• 05:5605:56, 26 January 2012 diff hist +258‎ Infinite Set has Countably Infinite Subset/Proof 1 ‎No edit summary

23 January 2012

• 23:4523:45, 23 January 2012 diff hist −10‎ Infinite Set has Countably Infinite Subset/Proof 2 ‎No edit summary
• 23:4023:40, 23 January 2012 diff hist −21‎ Hausdorff's Maximal Principle ‎No edit summary
• 23:3923:39, 23 January 2012 diff hist +18‎ Hausdorff's Maximal Principle ‎No edit summary

17 December 2011

• 21:2721:27, 17 December 2011 diff hist +251‎ Talk:Infinite Set has Countably Infinite Subset/Proof 1 ‎No edit summary
• 21:2021:20, 17 December 2011 diff hist +169‎ N Talk:Infinite Set has Countably Infinite Subset/Proof 1 ‎ Created page with "The "proof" presented as Proof 1 is nonsense; perhaps something has been deleted inadvertently? Specifically, the claim ""
• 17:1717:17, 17 December 2011 diff hist −1‎ Infinite Set has Countably Infinite Subset/Proof 2 ‎No edit summary
• 17:1617:16, 17 December 2011 diff hist +180‎ Infinite Set has Countably Infinite Subset/Proof 2 ‎No edit summary
• 11:1011:10, 17 December 2011 diff hist 0‎ Infinite Set has Countably Infinite Subset/Proof 2 ‎No edit summary
• 11:0911:09, 17 December 2011 diff hist −897‎ Infinite Set has Countably Infinite Subset/Proof 2 ‎No edit summary

14 November 2010

• 08:5308:53, 14 November 2010 diff hist +2,307‎ Hausdorff's Maximal Principle ‎ Variation on Hausdorff Maximality Principle

26 October 2010

• 01:3201:32, 26 October 2010 diff hist +64‎ N User:Ratboy ‎ Created page with '[http://www.planetmath.org PlanetMath] is a similar undertaking.'