Jump to content

Equiconsistency: 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 23:0623:06, 17 February 2011‎ RjwilmsiBot talk contribs‎ m 4,225 bytes +3‎ →‎References: Per WP:ISBN formatted 1 ISBNs using AWB (7596) undo

curprev 09:1309:13, 12 February 2010‎ Xnn talk contribs‎ 4,222 bytes +498‎ Brought out definition and removed some <math> tags undo

curprev 20:1720:17, 6 August 2009‎ 128.97.19.141 talk‎ 3,724 bytes 0‎ →‎Consistency strength undo

curprev 21:2821:28, 3 June 2009‎ Gregbard talk contribs‎ m 3,724 bytes +4‎ Undid revision 294230114 by Gregbard (talk) undo
curprev 19:2719:27, 3 June 2009‎ Gregbard talk contribs‎ 3,720 bytes −4‎ Removing backlinks to Consistency because ""; using TW undo

curprev 02:3902:39, 19 May 2009‎ DrilBot talk contribs‎ m 3,724 bytes −5‎ WikiProject Check Wikipedia cleanup (category before last headline) and general fixes undo

curprev 14:4814:48, 24 September 2008‎ JRB-Europe talk contribs‎ m 3,729 bytes +4‎ Added hyperlink to mathematical object undo

curprev 17:3117:31, 22 December 2007‎ SmackBot talk contribs‎ m 3,651 bytes +1‎ Standard headings &/or gen fixes. using AWB undo

curprev 13:2013:20, 26 May 2007‎ CBM talk contribs‎ 3,650 bytes +85‎ add reference undo

curprev 08:3008:30, 17 May 2007‎ 82.46.15.220 talk‎ 3,565 bytes +24‎ Avoided redirect on 'forcing' link undo

curprev 08:3108:31, 2 March 2007‎ JRSpriggs talk contribs‎ 3,541 bytes +26‎ recursively enumerable rather than recursive undo
curprev 05:3805:38, 2 March 2007‎ CRGreathouse talk contribs‎ m 3,515 bytes −51‎ link undo

curprev 16:2016:20, 21 September 2006‎ 84.189.154.188 talk‎ 3,566 bytes 0‎ No edit summary undo
curprev 16:1916:19, 21 September 2006‎ 84.189.154.188 talk‎ 3,566 bytes 0‎ of -> or undo

curprev 06:2806:28, 24 August 2006‎ JRSpriggs talk contribs‎ 3,566 bytes +8‎ →‎Consistency strength: change category "Set theory" to "Large cardinals" undo

curprev 16:2716:27, 23 August 2006‎ 192.75.48.150 talk‎ 3,558 bytes +4‎ →‎Consistency strength: primitive recursive arithmetic undo

curprev 04:5304:53, 1 April 2006‎ JRSpriggs talk contribs‎ 3,554 bytes +1‎ →‎Consistency strength: *Large cardinal property undo
curprev 04:1404:14, 1 April 2006‎ JRSpriggs talk contribs‎ 3,553 bytes +39‎ →‎Consistency strength: See also:Large cardinal property undo

curprev 06:5506:55, 31 March 2006‎ JRSpriggs talk contribs‎ m 3,514 bytes −1‎ fix typo undo
curprev 06:5206:52, 31 March 2006‎ JRSpriggs talk contribs‎ 3,515 bytes +273‎ No edit summary undo
curprev 06:3306:33, 31 March 2006‎ JRSpriggs talk contribs‎ 3,242 bytes +52‎ add subsection header "Consistency strength" & put in "Set theory" category undo

curprev 05:4805:48, 17 March 2006‎ Paul August talk contribs‎ 3,190 bytes +33‎ cat undo

curprev 00:4900:49, 16 December 2005‎ Aecea 1 talk contribs‎ 3,157 bytes +3,157‎ created page

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