Primitive recursive arithmetic: 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 20:5220:52, 8 July 2016 67.198.37.16 talk 8,514 bytes −6 →Logic-free calculus: fix awkward whitespace undo
curprev 20:4920:49, 8 July 2016 67.198.37.16 talk 8,520 bytes +4 →Logic-free calculus: wikilink inference rule again per talk page undo
curprev 20:4620:46, 8 July 2016 67.198.37.16 talk 8,516 bytes +25 →Logic-free calculus: wikilink per talk page undo

curprev 20:3220:32, 11 May 2016 David Eppstein talk contribs 8,491 bytes +26 left out an authorlink undo
curprev 20:3120:31, 11 May 2016 David Eppstein talk contribs m 8,465 bytes +1,319 clean up inconsistent ref formatting undo

curprev 14:4814:48, 26 June 2015 109.149.208.180 talk 7,146 bytes +10 →References undo

curprev 22:4722:47, 17 April 2015 2601:a:1201:e7d0:454f:c8b8:84fc:b0f7 talk 7,136 bytes 0 →See also: Capitalized P undo

curprev 18:0118:01, 23 January 2015 206.214.242.230 talk 7,136 bytes +382 →Language and axioms: clarify defining equations undo

curprev 07:0507:05, 13 August 2014 AnomieBOT talk contribs m 6,754 bytes +17 Dating maintenance tags: {{Clarify}} undo
curprev 06:4406:44, 13 August 2014 Jochen Burghardt talk contribs 6,737 bytes +130 →Language and axioms: cdot on rhs; clarify undo

curprev 20:5320:53, 12 August 2014 Jochen Burghardt talk contribs 6,607 bytes +19 more dab undo
curprev 20:2020:20, 12 August 2014 Jochen Burghardt talk contribs 6,588 bytes +23 →top: dab undo

curprev 21:4421:44, 5 June 2014 86.132.222.183 talk 6,565 bytes +2 →References undo

curprev 12:0512:05, 5 May 2014 Yobot talk contribs m 6,563 bytes −1 →References: WP:CHECKWIKI error fixes using AWB (10093) undo

curprev 11:3611:36, 11 February 2014 94.198.130.26 talk 6,564 bytes +2 fixed formula undo

curprev 13:4213:42, 22 December 2013 The Anome talk contribs 6,562 bytes +17 ε<sub>0</sub> undo

curprev 19:4019:40, 26 September 2013 86.166.160.188 talk 6,545 bytes +179 →References undo

curprev 16:1616:16, 25 May 2013 Chricho talk contribs 6,366 bytes −42 →Language and axioms: that is not a feature of a formal language undo

curprev 17:0617:06, 12 October 2012 Yobot talk contribs m 6,408 bytes −15 WP:CHECKWIKI error 61 fix, References after punctuation per WP:REFPUNC and WP:PAIC using AWB (8459) undo

curprev 23:0023:00, 22 February 2012 Cydebot talk contribs m 6,423 bytes +1 Robot - Moving category Mathematical constructivism to Category:Constructivism (mathematics) per CFD at Wikipedia:Categories for discussion/Log/2012 February 15. undo

curprev 11:4711:47, 31 October 2011 CBM talk contribs m 6,422 bytes −11 →References: Keep the original citation formatting undo
curprev 08:4408:44, 31 October 2011 Ohconfucius talk contribs m 6,433 bytes +1 General formatting, inc. removal of superscripted ordinals undo

curprev 09:3909:39, 18 October 2011 Eugepros talk contribs 6,432 bytes −13 No edit summary undo

curprev 13:3513:35, 15 February 2011 146.50.29.219 talk 6,445 bytes 0 →Language and axioms undo

curprev 16:5416:54, 18 December 2010 Heysan talk contribs 6,445 bytes +42 →Logic-free calculus: introduced notation 'term' undo

curprev 03:0203:02, 8 November 2010 174.119.186.126 talk 6,403 bytes +38 →See also: +ERA undo
curprev 03:0003:00, 8 November 2010 174.119.186.126 talk 6,365 bytes +87 →Logic-free calculus: clarify induction/substitution rules a bit undo

curprev 21:1921:19, 28 August 2010 70.247.164.231 talk 6,278 bytes +4 sudden unexplained jump in the formalism that needs explanation undo

curprev 11:2611:26, 7 March 2010 62.194.183.233 talk 6,274 bytes +37 Perhaps uglier wikicode, but much more beautiful appearance in the article undo

curprev 14:3714:37, 24 February 2010 The Anome talk contribs 6,237 bytes +4 natural numbers undo

curprev 03:5203:52, 4 December 2009 Gregbard talk contribs 6,233 bytes +22 →Language and axioms: tautology using AWB undo
curprev 02:3102:31, 4 December 2009 CBM talk contribs 6,211 bytes +17 →[[WP:LEAD|Lede]]: title of paper undo

curprev 18:0418:04, 23 November 2009 Fratrep talk contribs 6,194 bytes +20 Repairing link to disambiguation page - You can help! undo

curprev 14:5214:52, 13 November 2009 CBM2 talk contribs 6,174 bytes +43 →External links: cat undo

curprev 07:1407:14, 25 October 2009 Sligocki talk contribs m 6,131 bytes +2 →Language and axioms: space out expression undo

curprev 22:4722:47, 19 February 2009 Floquenbeam talk contribs m 6,129 bytes +23 Disambiguate Equality to Equality (mathematics) using popups undo

curprev 08:2908:29, 7 February 2009 207.241.239.70 talk 6,106 bytes +98 link directly to proof theoretic ordinal and describe PRA's undo

curprev 18:2718:27, 14 January 2009 Giftlite talk contribs m 6,008 bytes +3 →Logic-free calculus: +3. undo
curprev 18:2618:26, 14 January 2009 Giftlite talk contribs m 6,005 bytes 0 mv elinks down undo

curprev 15:0415:04, 13 January 2009 84.72.90.210 talk 6,005 bytes +1 →Logic-free calculus: spelling undo

curprev 05:2605:26, 24 November 2008 Jeffreykegler talk contribs 6,004 bytes −1 →Logic-free calculus: Fix typo undo

curprev 11:1011:10, 2 September 2008 SmackBot talk contribs m 6,005 bytes −1 Standard headings/general fixes undo

curprev 09:3609:36, 1 September 2008 75.62.4.102 talk 6,006 bytes +49 add synonym undo

curprev 20:1120:11, 21 August 2008 CBM talk contribs 5,957 bytes −38 →[[WP:LEAD|Lede]]: rephrse slightly undo

curprev 20:3820:38, 29 June 2008 SpellingBot talk contribs m 5,995 bytes 0 repsectively → respectively undo

curprev 15:2815:28, 27 June 2008 Unzerlegbarkeit talk contribs m 5,995 bytes +4 oops undo
curprev 15:2815:28, 27 June 2008 Unzerlegbarkeit talk contribs m 5,991 bytes −21 finitary -> finitism/finitist - finitary might be taken to mean something else. undo
curprev 15:0715:07, 27 June 2008 Unzerlegbarkeit talk contribs 6,012 bytes +259 Fold "discussion" into the first paragraph; reorg ref and expand a bit undo
curprev 14:5014:50, 27 June 2008 Unzerlegbarkeit talk contribs 5,753 bytes +1,910 →Logic-free calculus: expand section undo

curprev 23:4423:44, 25 June 2008 SmackBot talk contribs m 3,843 bytes +17 Date the maintenance tags or general fixes undo

Primitive recursive arithmetic: Revision history

8 July 2016

11 May 2016

26 June 2015

17 April 2015

23 January 2015

13 August 2014

12 August 2014

5 June 2014

5 May 2014

11 February 2014

22 December 2013

26 September 2013

25 May 2013

12 October 2012

22 February 2012

31 October 2011

18 October 2011

15 February 2011

18 December 2010

8 November 2010

28 August 2010

7 March 2010

24 February 2010

4 December 2009

23 November 2009

13 November 2009

25 October 2009

19 February 2009

7 February 2009

14 January 2009

13 January 2009

24 November 2008

2 September 2008

1 September 2008

21 August 2008

29 June 2008

27 June 2008

25 June 2008