Jump to content

Primitive recursive arithmetic: Revision history

View logs for this page (view filter log)

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 12:5312:53, 21 February 2024‎ Jochen Burghardt talk contribs‎ 9,646 bytes −6‎ Undid revision 1209156748 by Levouchka (talk): predicate formula needn't be quantifier-free, afaik; please dicsuss on talk page per WP:BRD undo Tag: Undo

curprev 15:5615:56, 20 February 2024‎ Levouchka talk contribs‎ m 9,652 bytes +6‎ Undid revision 1207366768 by Jochen Burghardt (talk) 'Predicate' leads to confusion. undo Tags: Undo Reverted

curprev 16:5816:58, 14 February 2024‎ Jochen Burghardt talk contribs‎ 9,646 bytes −6‎ Undid revision 1207298709 by Levouchka (talk) undo Tags: Undo Reverted
curprev 13:1113:11, 14 February 2024‎ Levouchka talk contribs‎ 9,652 bytes +6‎ No edit summary undo Tag: Reverted

curprev 20:1320:13, 5 February 2024‎ Mazewaxie talk contribs‎ m 9,646 bytes +2‎ WP:GENFIXES undo Tag: AWB

curprev 22:4722:47, 19 January 2024‎ Jochen Burghardt talk contribs‎ 9,644 bytes +5‎ →‎top: per WP:EASTEREGG undo
curprev 15:5615:56, 19 January 2024‎ Toby Bartels talk contribs‎ 9,639 bytes +51‎ Clarify that Skolem arithmetic covers something different. undo

curprev 08:1808:18, 3 October 2023‎ Jochen Burghardt talk contribs‎ 9,588 bytes −133‎ Undid revision 1178240136 by Marc Schroeder (talk): per MOS:NOPIPE undo Tag: Undo

curprev 12:0612:06, 2 October 2023‎ Marc Schroeder talk contribs‎ m 9,721 bytes +133‎ by-passed redirection pages undo Tag: Reverted

curprev 19:1019:10, 25 August 2023‎ Marc Schroeder talk contribs‎ m 9,588 bytes +113‎ →‎References: improved the citation undo
curprev 18:4718:47, 25 August 2023‎ Marc Schroeder talk contribs‎ m 9,475 bytes +255‎ →‎References: added a reference undo

curprev 10:4110:41, 13 August 2023‎ OAbot talk contribs‎ m 9,220 bytes +18‎ Open access bot: doi added to citation with #oabot. undo

curprev 09:3809:38, 7 August 2023‎ Onel5969 talk contribs‎ m 9,202 bytes −9‎ clean up, typo(s) fixed: Therefore → Therefore, undo Tag: AWB

curprev 13:0313:03, 12 July 2023‎ Citation bot talk contribs‎ 9,211 bytes +100‎ Alter: journal. Add: doi, jstor, issue. | Use this bot. Report bugs. | Suggested by Anas1712 | Category:Formal theories of arithmetic | #UCB_Category 5/17 undo

curprev 05:2505:25, 26 April 2023‎ JamesTMartin talk contribs‎ m 9,111 bytes +6‎ →‎Language and axioms: Fix link. The Substitution section was moved to Rules of Inference in 2009. This link has been broken for 14 years. undo Tag: 2017 wikitext editor

curprev 13:5013:50, 2 April 2023‎ 83.64.100.29 talk‎ 9,105 bytes +61‎ →‎Language and axioms: Also link to Logical connective undo
curprev 13:3613:36, 2 April 2023‎ 83.64.100.29 talk‎ 9,044 bytes +2‎ →‎Language and axioms undo
curprev 13:3113:31, 2 April 2023‎ 83.64.100.29 talk‎ 9,042 bytes +149‎ →‎Language and axioms: Define \neq undo

curprev 18:0118:01, 14 March 2023‎ Themidget17 talk contribs‎ m 8,893 bytes +2‎ ce undo Tag: Visual edit
curprev 18:0118:01, 14 March 2023‎ Themidget17 talk contribs‎ m 8,891 bytes +11‎ ce undo Tag: Visual edit

curprev 22:3222:32, 24 August 2022‎ Mgkrupa talk contribs‎ 8,880 bytes +24‎ Added {{Mathematical logic}} undo

curprev 10:4410:44, 1 August 2022‎ Marc Schroeder talk contribs‎ m 8,856 bytes +177‎ references into alphabetical order, and minor details undo

curprev 05:5305:53, 3 April 2022‎ OlliverWithDoubleL talk contribs‎ 8,679 bytes +77‎ added short description undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 18:5918:59, 17 June 2020‎ 2001:861:3ac0:4fa0:a906:587b:2796:780f talk‎ 8,602 bytes −4‎ →‎Language and axioms undo

curprev 17:4917:49, 8 March 2019‎ AugPi talk contribs‎ m 8,606 bytes +17‎ →‎Logic-free calculus undo

curprev 22:1622:16, 4 January 2019‎ Michipedian talk contribs‎ 8,589 bytes −3‎ trim undo

curprev 22:3022:30, 18 May 2018‎ JuliusClimacus talk contribs‎ 8,592 bytes +23‎ Add link to an existing Wikipedia article that explains a term used in the introductory comments undo
curprev 22:2822:28, 18 May 2018‎ JuliusClimacus talk contribs‎ 8,569 bytes +26‎ Add link to a related topic of new Wikipedia article undo

curprev 13:1313:13, 10 November 2017‎ Jochen Burghardt talk contribs‎ 8,543 bytes −3‎ →‎Language and axioms: typo undo
curprev 13:0213:02, 10 November 2017‎ 137.250.162.16 talk‎ 8,546 bytes +43‎ →‎Logic-free calculus: typography undo

curprev 03:3203:32, 10 March 2017‎ CBM talk contribs‎ 8,503 bytes −85‎ Mentioning ultrafinitism seems like a diversion from the main point; there is much interest in finitism (and PRA) but not so much in ultrafinitism undo
curprev 01:2901:29, 10 March 2017‎ Ira Leviton talk contribs‎ m 8,588 bytes −1‎ Fixed a spelling error. undo

curprev 03:4903:49, 2 February 2017‎ 24.85.232.10 talk‎ 8,589 bytes 0‎ →‎Logic-free calculus undo

curprev 03:5903:59, 20 January 2017‎ 173.174.176.65 talk‎ 8,589 bytes +85‎ No edit summary undo

curprev 23:1723:17, 9 July 2016‎ CBM talk contribs‎ 8,504 bytes +9‎ →‎References: Better link 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

Retrieved from "https://en.wikipedia.org/wiki/Primitive_recursive_arithmetic"