User contributions for 75.62.4.229

13 January 2008

• 16:4816:48, 13 January 2008 diff hist +128 User talk:CBM →Banach-Tarski paradox
• 16:4616:46, 13 January 2008 diff hist +321 User talk:CBM →Banach-Tarski paradox

10 January 2008

• 11:1211:12, 10 January 2008 diff hist +777 User talk:CBM →Banach-Tarski paradox: new section

6 January 2008

• 10:3110:31, 6 January 2008 diff hist −4 Talk:Banach–Tarski paradox upgrade quality rating, article is pretty good now

5 January 2008

• 23:4623:46, 5 January 2008 diff hist +1 Anne Sjerp Troelstra fix wrong link
• 23:4523:45, 5 January 2008 diff hist +161 Anne Sjerp Troelstra +proof theory book
• 23:4023:40, 5 January 2008 diff hist +110 Anne Sjerp Troelstra +book review link

31 December 2007

• 05:1605:16, 31 December 2007 diff hist −283 Rebecca Goldstein rm picture of book cover, the article is a biography of the author and is not about the book. maybe someone can find a suitable photo of the author?

30 December 2007

• 23:2123:21, 30 December 2007 diff hist +202 Feit–Thompson theorem use existing citation style
• 23:1623:16, 30 December 2007 diff hist +192 Feit–Thompson theorem →Revision of the proof: +formalization project

24 December 2007

• 02:3602:36, 24 December 2007 diff hist +51 Solomon Feferman →Partial list of publications: +book review link

22 December 2007

• 23:0823:08, 22 December 2007 diff hist +50 Hahn–Banach theorem →Relation to the axiom of choice: clarity
• 21:5521:55, 22 December 2007 diff hist +276 Talk:Banach–Tarski paradox →exposition of Pawlikowski result could be misleading
• 11:2511:25, 22 December 2007 diff hist +919 Hahn–Banach theorem →Relation to the axiom of choice: add some further bounds, please review
• 11:1211:12, 22 December 2007 diff hist +361 Banach–Tarski paradox add pdf link and related cite for Pawlikowski result. Exposition still needs adjustment.

21 December 2007

• 18:4718:47, 21 December 2007 diff hist +185 Talk:Banach–Tarski paradox →exposition of Pawlikowski result could be misleading: reword
• 12:4812:48, 21 December 2007 diff hist +1,204 Talk:Banach–Tarski paradox →exposition of Pawlikowski result could be misleading

20 December 2007

• 05:5405:54, 20 December 2007 diff hist +547 Banach–Tarski paradox →Recent progress: +Pawlikowski, cite pasted from pl:Paradoks Banacha-Tarskiego, see also http://en.wikipedia.org/wiki/Talk:Hahn–Banach_theorem#AC.2C_Hahn-Banach_and_Banach-Tarski

13 December 2007

• 11:3211:32, 13 December 2007 diff hist +379 Talk:Well-order →well-ordering of reals under ZF: new section

6 December 2007

• 13:2513:25, 6 December 2007 diff hist +312 User talk:CBM →bogosity check request: new section

4 December 2007

• 08:2008:20, 4 December 2007 diff hist +517 User talk:Charles Matthews →Hewitt transwikis: new section
• 08:1008:10, 4 December 2007 diff hist −179 User talk:Ruud Koot →Actor model and process calculi: undo, left message in wrong place
• 08:0808:08, 4 December 2007 diff hist +179 User talk:Ruud Koot →Actor model and process calculi: new section

30 November 2007

• 11:4711:47, 30 November 2007 diff hist +115 Talk:Ordinal number →section break
• 10:5610:56, 30 November 2007 diff hist +1 Talk:Ordinal number →section break
• 10:5510:55, 30 November 2007 diff hist +9 Talk:Ordinal number →section break
• 10:5410:54, 30 November 2007 diff hist +16 Talk:Ordinal number →clarification request
• 10:5210:52, 30 November 2007 diff hist +3,376 Talk:Ordinal number →clarification request

29 November 2007

• 09:5509:55, 29 November 2007 diff hist +29 Talk:Ordinal number →history section
• 09:5409:54, 29 November 2007 diff hist +265 Talk:Ordinal number →history section: new section
• 09:5209:52, 29 November 2007 diff hist +935 Talk:Ordinal number →clarification request
• 09:2909:29, 29 November 2007 diff hist +544 Ordinal number +citation of Cantor 1897 per request of Geometry Guy on talk page

28 November 2007

• 10:4410:44, 28 November 2007 diff hist +34 Talk:Ordinal number →clarification request
• 10:4310:43, 28 November 2007 diff hist +2,011 Talk:Ordinal number →clarification request

26 November 2007

• 09:4209:42, 26 November 2007 diff hist +13 Talk:Ordinal number No edit summary
• 09:2409:24, 26 November 2007 diff hist +184 Talk:Ordinal number →clarification request
• 09:1409:14, 26 November 2007 diff hist −5 Talk:Ordinal number →clarification request
• 09:1409:14, 26 November 2007 diff hist +107 Talk:Ordinal number →clarification request
• 09:1009:10, 26 November 2007 diff hist +151 Talk:Ordinal number →clarification request
• 09:0609:06, 26 November 2007 diff hist +965 Talk:Ordinal number →clarification request
• 07:3007:30, 26 November 2007 diff hist +54 Talk:Continuum hypothesis →Feferman
• 07:2907:29, 26 November 2007 diff hist +474 Talk:Continuum hypothesis →Feferman

25 November 2007

• 09:5309:53, 25 November 2007 diff hist +37 Talk:Continuum hypothesis →Feferman
• 09:4509:45, 25 November 2007 diff hist +550 Talk:Continuum hypothesis →Feferman
• 09:1609:16, 25 November 2007 diff hist −140 Epsilon number rm not very relevant mention of Gregory Chaitin
• 09:0809:08, 25 November 2007 diff hist −236 Epsilon number →External links: rm not terribly relevant extlink
• 08:5708:57, 25 November 2007 diff hist +2 Talk:Ordinal number →clarification request
• 07:1507:15, 25 November 2007 diff hist −291 Talk:Ordinal number →clarification request: i think i can simplify the paradox
• 06:0306:03, 25 November 2007 diff hist +277 Talk:Ordinal number →clarification request
• 05:4705:47, 25 November 2007 diff hist +15 Talk:Ordinal number →clarification request