Kleene fixed-point theorem: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 17:0917:09, 8 April 2012 65.128.137.2 talk 2,129 bytes +256 No edit summary undo
curprev 16:4916:49, 8 April 2012 65.128.137.2 talk 1,873 bytes −6 No edit summary undo
curprev 16:4816:48, 8 April 2012 65.128.137.2 talk 1,879 bytes +394 No edit summary undo

curprev 07:5707:57, 16 February 2012 Cydebot talk contribs m 1,485 bytes 0 Robot - Speedily moving category Fixed point theorems to Category:Fixed-point theorems per CFDS. undo

curprev 14:4114:41, 2 February 2012 Brad7777 talk contribs 1,485 bytes +8 removed Category:Fixed points; added Category:Fixed point theorems using HotCat undo

curprev 12:4212:42, 30 December 2011 Helpful Pixie Bot talk contribs m 1,477 bytes +19 Dated {{Unreferenced}}. (Build p616) undo
curprev 12:4112:41, 30 December 2011 145.120.19.244 talk 1,458 bytes +18 please please can anyone add some reference? I cannot find the relevant paper myself. undo

curprev 17:3217:32, 23 October 2011 Geometry guy talk contribs 1,440 bytes +11 subcat undo

curprev 11:4411:44, 28 February 2010 Xiawi talk contribs 1,429 bytes +42 interwiki undo

curprev 01:2301:23, 9 August 2009 CBM talk contribs 1,387 bytes −49 already marked with a stub tag undo

curprev 16:2716:27, 5 July 2009 Erik9bot talk contribs 1,436 bytes +49 add Category:Articles lacking sources (Erik9bot) undo

curprev 06:3506:35, 8 January 2009 Kfsung talk contribs m 1,387 bytes −70 No edit summary undo

curprev 21:2121:21, 2 January 2009 Pichpich talk contribs m 1,457 bytes 0 moved Kleene fixpoint theorem to Kleene fixed-point theorem over redirect: standard terminology undo

curprev 10:4010:40, 23 July 2008 Sam Staton talk contribs 1,457 bytes −521 Removed dual statement (which is false unless you assume the function is co-continuous) undo
curprev 10:4010:40, 23 July 2008 Sam Staton talk contribs 1,978 bytes +143 Added comment about Tarski; moved from complete lattices to cpos undo

curprev 03:0703:07, 13 July 2008 128.12.180.74 talk 1,835 bytes +3 No edit summary undo

curprev 20:1720:17, 21 June 2008 Tea2min talk contribs 1,832 bytes −70 Reworded to use the terminology that I think is used by most of the other order theory related articles on wikipedia. undo

curprev 08:5908:59, 4 May 2008 213.131.1.7 talk 1,902 bytes +37 →See also undo
curprev 08:5808:58, 4 May 2008 213.131.1.7 talk 1,865 bytes +33 →See also undo

curprev 21:4121:41, 8 April 2008 Michael Hardy talk contribs m 1,832 bytes +7 No edit summary undo
curprev 17:3417:34, 8 April 2008 Giftlite talk contribs m 1,825 bytes −2 -sp undo
curprev 02:4702:47, 8 April 2008 Linas talk contribs 1,827 bytes +31 →See also: Knaster–Tarski theorem undo

curprev 10:2210:22, 28 March 2008 Alexbot talk contribs m 1,796 bytes +3 robot Modifying: zh:克莱尼不动点定理 undo

curprev 02:3702:37, 21 July 2007 David Eppstein talk contribs m 1,793 bytes +5 stub sorting undo

curprev 15:3715:37, 18 June 2007 Iannigb talk contribs 1,788 bytes +643 Added second part of theorem related to gfp undo

curprev 02:5602:56, 14 June 2007 Cronholm144 talk contribs 1,145 bytes −1 clean up and/or add/rm math rating template using AWB undo

curprev 08:3608:36, 5 September 2006 Mhss talk contribs m 1,146 bytes +30 No edit summary undo

curprev 12:3612:36, 4 March 2006 Igrant talk contribs m 1,116 bytes +20 added emphaisis on defined terms 'kleene fixpoint theorem'' and ''ascending kleene chain'' undo
curprev 12:2312:23, 4 March 2006 Igrant talk contribs 1,096 bytes −11 minor reqording to make scending Kleene chain explicit as per discussion Jan 2006 undo

curprev 10:5510:55, 27 January 2006 Charles Matthews talk contribs m 1,107 bytes +61 +cat undo

curprev 05:5005:50, 16 January 2006 Lambiam talk contribs m 1,046 bytes 0 comma -> full stop undo
curprev 05:4905:49, 16 January 2006 Lambiam talk contribs m 1,046 bytes +2 correction undo

curprev 15:5215:52, 15 January 2006 Lambiam talk contribs 1,044 bytes +365 added notion of Kleene chain undo

curprev 12:3612:36, 31 December 2005 Igrant talk contribs 679 bytes −3 No edit summary undo
curprev 11:5311:53, 31 December 2005 217.168.17.39 talk 682 bytes −41 No edit summary undo

curprev 08:4308:43, 23 November 2005 Volfy talk contribs m 723 bytes +23 Popups-assisted disambiguation from Function to function (mathematics) undo

curprev 19:0819:08, 25 October 2005 87.122.1.164 talk 700 bytes +227 Kleene's fixed point theorem shows how to compute the least fixed point of a continuous function over a complete lattice. undo

curprev 09:3509:35, 21 October 2005 141.83.65.182 talk 473 bytes +4 No edit summary undo
curprev 09:3409:34, 21 October 2005 141.83.65.182 talk 469 bytes −1 No edit summary undo
curprev 09:3309:33, 21 October 2005 141.83.65.182 talk 470 bytes +69 No edit summary undo

curprev 17:5117:51, 6 October 2005 Jpbowen talk contribs m 401 bytes +1 →See also: - typo correction undo
curprev 17:2817:28, 6 October 2005 Jpbowen talk contribs m 400 bytes +86 Added links and "See also" undo

curprev 07:3707:37, 23 July 2005 Oleg Alexandrov talk contribs m 314 bytes −1 the comma will not look anymore out of place undo

curprev 01:4401:44, 20 June 2005 Oleg Alexandrov talk contribs 315 bytes −7 revert my own change undo
curprev 01:4001:40, 20 June 2005 Oleg Alexandrov talk contribs 322 bytes +7 fxpoint -> fixed point undo

curprev 19:2419:24, 17 April 2005 Leibniz talk contribs m 315 bytes −3 No edit summary undo

curprev 21:5321:53, 20 February 2005 Schneelocke talk contribs m 318 bytes +14 math-stub undo

curprev 06:4706:47, 18 February 2005 Chinju talk contribs m 304 bytes 0 No edit summary undo

curprev 14:5014:50, 2 December 2004 Charles Matthews talk contribs m 304 bytes +119 tidy up undo
curprev 14:2914:29, 2 December 2004 129.12.41.228 talk 185 bytes +185 No edit summary

Kleene fixed-point theorem: Revision history

8 April 2012

16 February 2012

2 February 2012

30 December 2011

23 October 2011

28 February 2010

9 August 2009

5 July 2009

8 January 2009

2 January 2009

23 July 2008

13 July 2008

21 June 2008

4 May 2008

8 April 2008

28 March 2008

21 July 2007

18 June 2007

14 June 2007

5 September 2006

4 March 2006

27 January 2006

16 January 2006

15 January 2006

31 December 2005

23 November 2005

25 October 2005

21 October 2005

6 October 2005

23 July 2005

20 June 2005

17 April 2005

20 February 2005

18 February 2005

2 December 2004