User contributions for Phill
A user with 21 edits. Account created on 9 May 2004.
9 January 2009
- 23:0023:00, 9 January 2009 diff hist +76 Talk:Urelement →Contradiction between German and English pages wrt "individuals"
- 22:5922:59, 9 January 2009 diff hist +324 Talk:Urelement →Contradiction between German and English pages wrt "individuals"
- 22:3622:36, 9 January 2009 diff hist +465 Urelement Class analogy
- 22:2122:21, 9 January 2009 diff hist −60 Urelement Minor rewrite
19 May 2008
- 19:5419:54, 19 May 2008 diff hist +452 Random variable My attempt at balancing an easy to read definition and a precise one that agrees with the sections following it.
13 April 2008
- 17:2117:21, 13 April 2008 diff hist +267 Talk:Semi-differentiability No edit summary
- 17:1617:16, 13 April 2008 diff hist −28 Semi-differentiability See talk for explanation
20 March 2008
- 19:5119:51, 20 March 2008 diff hist +322 Talk:Semi-differentiability No edit summary
9 July 2007
- 06:0206:02, 9 July 2007 diff hist +40 User:Phill No edit summary current
8 July 2007
- 12:0912:09, 8 July 2007 diff hist +67 User:Phill No edit summary
- 12:0312:03, 8 July 2007 diff hist +47 Talk:Urelement →NFU
- 12:0112:01, 8 July 2007 diff hist +77 N User:Phill ←Created page with 'I am interested in the foundations of mathematics, in particular, set theory.'
- 11:5711:57, 8 July 2007 diff hist 0 m Urelement Just switched urelement with ur-element.
- 11:5511:55, 8 July 2007 diff hist 0 m Talk:Urelement moved Talk:Ur-element to Talk:Urelement: I believe this is more standard.
- 11:5511:55, 8 July 2007 diff hist +23 N Ur-element moved Ur-element to Urelement over redirect: I believe this is more standard. current
- 11:5511:55, 8 July 2007 diff hist 0 m Urelement moved Ur-element to Urelement over redirect: I believe this is more standard.
- 11:5411:54, 8 July 2007 diff hist +1,165 Urelement No edit summary
- 11:1111:11, 8 July 2007 diff hist +750 Talk:Urelement →category theory and urelements
- 11:0011:00, 8 July 2007 diff hist +238 Talk:Urelement →NFU
9 May 2004
- 03:5103:51, 9 May 2004 diff hist −3 Urelement No edit summary
- 03:4903:49, 9 May 2004 diff hist 0 Urelement No edit summary
- 03:4803:48, 9 May 2004 diff hist 0 Urelement No edit summary
- 03:4703:47, 9 May 2004 diff hist +524 Urelement No edit summary
- 03:3703:37, 9 May 2004 diff hist +408 N Urelement No edit summary
