Forcing (computability): 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 03:0603:06, 4 June 2025 Psychastes talk contribs 5,965 bytes −89 Removed {{Expert needed}} tag: not a valid reason to request an expert undo Tag: Twinkle

curprev 22:0522:05, 18 January 2024 Citation bot talk contribs 6,054 bytes +37 Altered pages. Add: s2cid, jstor. Formatted dashes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Computability theory | #UCB_Category 90/100 undo

curprev 04:1904:19, 7 January 2024 JohnAdams1800 talk contribs 6,017 bytes −89 I fixed the missing information, but this article still may need more work. undo
curprev 04:1604:16, 7 January 2024 JohnAdams1800 talk contribs 6,106 bytes +794 Added information on the forcing relation as an expert. undo
curprev 04:0804:08, 7 January 2024 JohnAdams1800 talk contribs 5,312 bytes +4 hyperlink added. undo
curprev 04:0604:06, 7 January 2024 JohnAdams1800 talk contribs 5,308 bytes +91 →Terminology: Fixed the compatibility definition. undo

curprev 14:2614:26, 20 August 2023 Marc Schroeder talk contribs m 5,217 bytes +497 →References undo

curprev 08:2708:27, 9 March 2023 Rchard2scout talk contribs m 4,720 bytes −15 Fix lint errors undo

curprev 00:4800:48, 26 April 2021 Jordan Mitchell Barrett talk contribs m 4,735 bytes +104 added "needs attention" tag undo Tag: Visual edit
curprev 00:4300:43, 26 April 2021 Jordan Mitchell Barrett talk contribs m 4,631 bytes +90 added "missing info" warning undo Tag: Visual edit
curprev 00:3700:37, 26 April 2021 Jordan Mitchell Barrett talk contribs m 4,541 bytes −12 "recursive" => "computable" per discussion here: https://en.wikipedia.org/wiki/Wikipedia_talk:WikiProject_Mathematics#Proposal:_change_terminology_from_%22recursive%22_to_%22computable%22 undo Tag: Visual edit
curprev 00:3400:34, 26 April 2021 Jordan Mitchell Barrett talk contribs m 4,553 bytes 0 Jordan Mitchell Barrett moved page Forcing (recursion theory) to Forcing (computability): Consensus in WikiProject discussion: https://en.wikipedia.org/wiki/Wikipedia_talk:WikiProject_Mathematics#Proposal:_change_terminology_from_%22recursive%22_to_%22computable%22 undo

curprev 17:4817:48, 28 November 2019 193.127.193.53 talk 4,553 bytes 0 →Generic objects undo

curprev 16:0716:07, 21 October 2019 Zero sharp talk contribs 4,553 bytes −2 No edit summary undo
curprev 16:0716:07, 21 October 2019 Zero sharp talk contribs 4,555 bytes −8 rm peacock word undo

curprev 16:2516:25, 13 October 2019 2001:861:3ac0:4fa0:f1cb:b0bb:ca58:2a11 talk 4,563 bytes +23 No edit summary undo

curprev 12:2612:26, 7 March 2018 AndrewWTaylor talk contribs 4,540 bytes −5 fix comma splice, remove redundant word undo

curprev 18:0218:02, 7 August 2016 LilHelpa talk contribs m 4,545 bytes −4 General fixes and Typo fixing, typo(s) fixed: Therefore → Therefore, (4) using AWB undo

curprev 17:4517:45, 14 August 2015 Alexey Muranov talk contribs 4,549 bytes −59 →Terminology: fix up my previous edit undo
curprev 17:3917:39, 14 August 2015 Alexey Muranov talk contribs 4,608 bytes +49 →Terminology: avoid defining a negation of a term ("incompatible") using a negation of a property, and defining the term as a negation of its negaton undo

curprev 08:0808:08, 9 July 2012 Marcos talk contribs 4,559 bytes 0 correctly placed bracket undo

curprev 12:2612:26, 4 February 2012 CBM talk contribs 4,559 bytes −81 Rm symbol for now; I would use that for "incomparable" rather than "incompatible" undo

curprev 20:0020:00, 14 February 2011 Cydebot talk contribs m 4,640 bytes +4 Robot - Moving category Recursion theory to Computability theory per CFD at Wikipedia:Categories for discussion/Log/2011 February 5. undo

curprev 04:2204:22, 22 November 2010 Ego White Tray talk contribs m 4,636 bytes −48 Delete merge tag as suggested to talk page undo

curprev 19:3419:34, 21 February 2010 CBM talk contribs 4,684 bytes +111 Remove stub tag, add a couple general references undo

curprev 15:5515:55, 16 March 2008 67.175.23.32 talk 4,573 bytes −1 No edit summary undo
curprev 15:5515:55, 16 March 2008 67.175.23.32 talk 4,574 bytes −1 No edit summary undo
curprev 05:4505:45, 16 March 2008 67.175.23.32 talk 4,575 bytes +49 No edit summary undo

curprev 21:5421:54, 16 February 2008 84.22.8.158 talk 4,526 bytes +1 No edit summary undo

curprev 20:2120:21, 11 January 2008 Zero sharp talk contribs m 4,525 bytes 0 →Terminology: 'Cohen' is a proper name; capitalize undo
curprev 04:5604:56, 11 January 2008 Zero sharp talk contribs 4,525 bytes +34 adding references template undo
curprev 01:4401:44, 11 January 2008 Zero sharp talk contribs m 4,491 bytes +1 →Terminology: close paren undo

curprev 20:2820:28, 8 November 2007 129.11.36.26 talk 4,490 bytes −1 →Generic objects undo

curprev 21:0321:03, 4 October 2007 89.240.141.206 talk 4,491 bytes +1 Corrected typo (eliminate -> eliminated) undo

curprev 22:0522:05, 23 September 2007 Oleg Alexandrov talk contribs m 4,490 bytes −229 cleanup a bit. This needs more work. undo
curprev 17:1817:18, 23 September 2007 Peter M Gerdes talk contribs 4,719 bytes +1,319 Added more undo

curprev 12:2612:26, 15 September 2007 Peter M Gerdes talk contribs 3,400 bytes +720 Added a bit more undo
curprev 12:0312:03, 15 September 2007 Peter M Gerdes talk contribs 2,680 bytes +1,444 Got started...I'll come back and leave it less half-finished later undo

curprev 17:2117:21, 1 September 2007 Michael Hardy talk contribs m 1,236 bytes +1 No edit summary undo
curprev 17:2017:20, 1 September 2007 Michael Hardy talk contribs 1,235 bytes −10 The meaning of "generic" in mathematics is not limited to the concept related to forcing; there's also "generic geometry", which is a different concept. undo
curprev 17:1917:19, 1 September 2007 Michael Hardy talk contribs 1,245 bytes +6 No edit summary undo

curprev 04:2504:25, 31 August 2007 Oleg Alexandrov talk contribs m 1,239 bytes −35 Category:Recursion theory, rm empty section undo

curprev 15:4515:45, 30 August 2007 Squids and Chips talk contribs m 1,274 bytes +15 stub sort undo
curprev 13:5513:55, 30 August 2007 172.165.239.75 talk 1,259 bytes +35 →Definition of Forcing undo
curprev 02:4602:46, 30 August 2007 Peter M Gerdes talk contribs 1,224 bytes +1,224 Created it...stub

4 June 2025

18 January 2024

7 January 2024

20 August 2023

9 March 2023

26 April 2021

28 November 2019

21 October 2019

13 October 2019

7 March 2018

7 August 2016

14 August 2015

9 July 2012

4 February 2012

14 February 2011

22 November 2010

21 February 2010

16 March 2008

16 February 2008

11 January 2008

8 November 2007

4 October 2007

23 September 2007

15 September 2007

1 September 2007

31 August 2007

30 August 2007