Jump to content

Axiom of reducibility: 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 16:3816:38, 12 October 2024 LucasBrown talk contribs 39,437 bytes +66 Importing Wikidata short description: "Axiom in Russell's ramified theory of types" undo Tag: Shortdesc helper

curprev 23:3123:31, 22 April 2024 Tule-hog talk contribs m 39,371 bytes +4 link to another wiki article undo

curprev 13:1913:19, 11 November 2023 2a02:1812:110c:dc00:38b3:5749:19e8:f6a5 talk 39,367 bytes +16 No edit summary undo

curprev 17:4817:48, 30 January 2023 Citation bot talk contribs 39,351 bytes +17 Alter: template type. Add: encyclopedia. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Kline | Category:Type theory | #UCB_Category 75/111 undo

curprev 17:0017:00, 21 January 2023 LicenceToCrenellate talk contribs 39,334 bytes +2 Linting fix undo

curprev 04:4204:42, 11 February 2021 73.168.5.183 talk 39,332 bytes +40 →External links undo

curprev 21:0621:06, 6 February 2021 73.168.5.183 talk 39,292 bytes +24 →External links undo

curprev 15:1215:12, 24 October 2020 Dawnseeker2000 talk contribs m 39,268 bytes −6 date formats per MOS:DATEFORMAT by script undo

curprev 00:1900:19, 25 October 2019 160.2.0.254 talk 39,274 bytes +5 →Kleene 1952 undo
curprev 00:1200:12, 25 October 2019 160.2.0.254 talk 39,269 bytes −7 →Quine 1967 undo
curprev 00:1100:11, 25 October 2019 160.2.0.254 talk 39,276 bytes +1 →Quine 1967 undo

curprev 08:1708:17, 23 May 2019 94.65.216.254 talk 39,275 bytes +14 add date of publication undo
curprev 08:1508:15, 23 May 2019 94.65.216.254 talk 39,261 bytes +60 add wikilinks undo

curprev 16:0516:05, 1 February 2019 WereSpielChequers talk contribs m 39,201 bytes +3 →Gödel 1944: Typo fixing, replaced: if is → if it is undo Tag: AWB

curprev 23:1323:13, 27 May 2017 Magic links bot talk contribs m 39,198 bytes +12 Replace magic links with templates per local RfC and MediaWiki RfC undo

curprev 00:0500:05, 30 March 2017 24.85.232.10 talk 39,186 bytes 0 →History undo
curprev 00:0000:00, 30 March 2017 24.85.232.10 talk 39,186 bytes +4 →History undo

curprev 01:4901:49, 19 September 2016 Mailmindlin talk contribs m 39,182 bytes +16 →Zermelo 1908: Fixed link target from Poincaré disambiguation page. undo Tag: Visual edit

curprev 12:1112:11, 2 July 2016 The Anome talk contribs 39,166 bytes +1 →Gödel 1944: the c-cedilla is in the original source of this quote: at least it is in the edition ISBN 9780195039726, p. 133 undo
curprev 11:0011:00, 2 July 2016 The Anome talk contribs 39,165 bytes +22 →Gödel 1944: 'facon de parler'' undo
curprev 10:5510:55, 2 July 2016 The Anome talk contribs 39,143 bytes +4 →Gödel 1944: ''facon de parler'' undo

curprev 08:2408:24, 2 May 2016 Anypodetos talk contribs m 39,139 bytes −29 Remove caps, minor fixes undo Tag: Visual edit

curprev 11:3711:37, 18 March 2016 Omnipaedista talk contribs 39,168 bytes −17 no emphasis here undo

curprev 09:2209:22, 14 March 2016 Klbrain talk contribs 39,185 bytes 0 Disambiguated: intensional → intension undo

curprev 00:3500:35, 27 February 2015 73.25.106.171 talk 39,174 bytes +3 →Russell 1919 undo

curprev 08:1208:12, 14 August 2014 Ohconfucius talk contribs 39,171 bytes +74 Script-assisted fixes per WP:TIES, MOS:NUM, MOS:LINK undo

curprev 02:0902:09, 2 February 2014 Monkbot talk contribs m 39,097 bytes −11 Fix CS1 deprecated date parameter errors undo

curprev 14:1214:12, 5 November 2013 Paradoctor talk contribs 39,108 bytes −36 →History: replaced Wiktionary link with article link undo

curprev 15:2515:25, 6 April 2013 Rjwilmsi talk contribs m 39,144 bytes −27 page/pages cleanup of Category:Pages with citations using conflicting page specifications, using AWB (9066) undo

curprev 04:3204:32, 19 March 2013 Byelf2007 talk contribs 39,171 bytes −29 mrowr? undo

curprev 19:1919:19, 14 November 2012 MattVariety talk contribs 39,200 bytes −497 Copyedited. undo
curprev 16:4716:47, 14 November 2012 MattVariety talk contribs m 39,697 bytes +14 Added inuse tag. undo

curprev 00:3800:38, 17 October 2012 Gregbard talk contribs m 39,683 bytes +67 External links using AWB undo

curprev 12:2912:29, 6 October 2012 SamuelTheGhost talk contribs 39,616 bytes −111 remove irrelevant material from lead undo
curprev 08:5808:58, 6 October 2012 Hessamnia talk contribs 39,727 bytes −8 No edit summary undo

curprev 22:0722:07, 21 July 2012 Larry Hockett talk contribs m 39,735 bytes 0 WPCleaner v1.14 - Reference before punctuation (Fixed using WP:WCW) undo

curprev 15:1615:16, 27 June 2012 Remotelysensed talk contribs m 39,735 bytes −9 →History: The Problem of Impredicativity undo

curprev 12:0112:01, 25 June 2012 Jihadcola talk contribs m 39,744 bytes +11 →Ramsey 1925: grammar (general) undo
curprev 12:0012:00, 25 June 2012 Jihadcola talk contribs m 39,733 bytes −1 →Wiener 1914: grammar (tense) undo
curprev 11:5911:59, 25 June 2012 Jihadcola talk contribs 39,734 bytes +1 →Russell's Axiom of Reducibility: grammar and punctuation (general) undo

curprev 00:3600:36, 28 May 2012 Anybob talk contribs m 39,733 bytes 0 →History: The Problem of Impredicativity: Additional punctuation correction undo
curprev 00:3500:35, 28 May 2012 Anybob talk contribs m 39,733 bytes +1 →History: The Problem of Impredicativity: Fixed additional punctuation errors undo
curprev 00:3400:34, 28 May 2012 Anybob talk contribs m 39,732 bytes +1 →History: The Problem of Impredicativity: Added missing period undo

curprev 02:5002:50, 17 April 2012 FrescoBot talk contribs m 39,731 bytes −14 Bot: link syntax/spacing and minor changes undo

curprev 14:0914:09, 29 March 2012 Soulparadox talk contribs m 39,745 bytes +26 Re-arrangement of Wiki link for cohesion and inclusion of relevant additional information. undo

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