Forcing (mathematics): 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 14:5714:57, 4 June 2024‎ 47.236.83.15 talk‎ 53,179 bytes −6‎ →‎Rigorous definitions undo
curprev 07:4307:43, 4 June 2024‎ Bbbbbbbbba talk contribs‎ 53,185 bytes −27‎ →‎The countable chain condition: This proof is in fact a slight rephrase of the proof in Cohen's 2008 book, although Cohen's original paper gives an explicit enumeration of any antichain, and also it seems to me that a measure-based proof could work for Cohen forcing too if we regard a condition as a finite union of open intervals. undo

curprev 09:4509:45, 4 May 2024‎ Onel5969 talk contribs‎ m 53,212 bytes −14‎ clean up, typo(s) fixed: i.e, → i.e., undo Tag: AWB

curprev 13:2913:29, 8 December 2023‎ SchwartzYosale talk contribs‎ 53,226 bytes +68‎ →‎Random reals: added clarification undo
curprev 12:3212:32, 8 December 2023‎ SchwartzYosale talk contribs‎ 53,158 bytes −12‎ →‎The countable chain condition: this might be clearer, with the codomain mentioned explicitly undo
curprev 12:0712:07, 8 December 2023‎ SchwartzYosale talk contribs‎ m 53,170 bytes +71‎ →‎The countable chain condition: no sources are cited in this section undo
curprev 11:5311:53, 8 December 2023‎ 109.186.162.165 talk‎ 53,099 bytes +27‎ →‎The countable chain condition: p and q are only required to be incompatible when they're distinct (of course, every p is compatible with itself) undo

curprev 18:5918:59, 5 December 2023‎ 109.186.162.165 talk‎ 53,072 bytes 0‎ →‎Internal definition: typo (switched v and u in definition) undo

curprev 00:2400:24, 21 November 2023‎ Trovatore talk contribs‎ 53,072 bytes −4‎ →‎Easton forcing: update anchor after heading was changed undo

curprev 04:3004:30, 5 October 2023‎ Alpinu talk contribs‎ m 53,076 bytes +1‎ →‎Bibligraphy: → Bibliography undo

curprev 14:2014:20, 23 August 2023‎ Headbomb talk contribs‎ 53,075 bytes −13‎ ce undo
curprev 14:1314:13, 23 August 2023‎ Citation bot talk contribs‎ 53,088 bytes +3‎ Alter: template type. Add: doi, eprint, class, date, arxiv. Removed proxy/dead URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

curprev 06:4906:49, 20 August 2023‎ Marc Schroeder talk contribs‎ m 53,085 bytes −3‎ resolved a link to a redirection page undo
curprev 02:5402:54, 20 August 2023‎ Marc Schroeder talk contribs‎ m 53,088 bytes +146‎ →‎Bibliography undo

curprev 04:0804:08, 18 August 2023‎ Marc Schroeder talk contribs‎ m 52,942 bytes +216‎ updated ''References'' undo

curprev 23:1923:19, 13 August 2023‎ Marc Schroeder talk contribs‎ m 52,726 bytes −49‎ →‎External links undo
curprev 21:4921:49, 13 August 2023‎ AnomieBOT talk contribs‎ m 52,775 bytes +47‎ Substing templates: {{Citeer boek}}. See User:AnomieBOT/docs/TemplateSubster for info. undo
curprev 21:0921:09, 13 August 2023‎ Marc Schroeder talk contribs‎ m 52,728 bytes +113‎ →‎External links: added a few fields to [Weaver, 2014] undo

curprev 21:2721:27, 6 August 2023‎ Plm203 talk contribs‎ 52,615 bytes +1‎ No edit summary undo

curprev 12:3012:30, 29 April 2023‎ Bbbbbbbbba talk contribs‎ 52,614 bytes 0‎ →‎Internal definition: Ouch, cases 1 and 2 should be q ≥ p, not q ≤ p. undo

curprev 05:1305:13, 28 April 2023‎ Bbbbbbbbba talk contribs‎ m 52,614 bytes +13‎ →‎References: Followed the example at WP:SFN and put the reflist and actual references into two separate sections. undo
curprev 05:0905:09, 28 April 2023‎ Bbbbbbbbba talk contribs‎ m 52,601 bytes +10‎ →‎References: Changed citations to work with SFRs. undo
curprev 05:0505:05, 28 April 2023‎ Bbbbbbbbba talk contribs‎ 52,591 bytes +3,092‎ →‎Forcing: Brought the details back, but hopefully in a more concise and easy-to-process way (and with more references to help clear potential confusion about the details). undo

curprev 02:2302:23, 26 April 2023‎ Bbbbbbbbba talk contribs‎ m 49,499 bytes +23‎ →‎Intuition: Added an in-line reference for unramified forcing. undo
curprev 02:2102:21, 26 April 2023‎ Bbbbbbbbba talk contribs‎ m 49,476 bytes +260‎ →‎References: Added a citation for Shoenfield's "Unramified forcing". undo

curprev 16:2916:29, 23 April 2023‎ Bbbbbbbbba talk contribs‎ 49,216 bytes +329‎ →‎Forcing: I'll add this one special (and probably notable) case back in before deciding how to interpret this intuitively. undo
curprev 15:5115:51, 23 April 2023‎ Bbbbbbbbba talk contribs‎ m 48,887 bytes +2‎ →‎Generic filters: Fixed grammar. undo
curprev 15:4915:49, 23 April 2023‎ Bbbbbbbbba talk contribs‎ 48,885 bytes +2,926‎ Major rewrite and restructure, with the main goal of moving "key ideas" such as generic filters up, and "implementation details" such as P-names down (and their recursive definitions further down). undo

curprev 13:2613:26, 21 April 2023‎ Bbbbbbbbba talk contribs‎ 45,959 bytes −3,493‎ →‎Forcing: I believe all these nitty-gritty has to go (per WP:NOTTEXTBOOK). This is a hard decision because I don't know how to find these details anywhere else on the internet (then again, that also reflects a lack of in-line reference). undo
curprev 11:4911:49, 21 April 2023‎ Bbbbbbbbba talk contribs‎ 49,452 bytes +198‎ Tweaked the introduction and the first section, explaining as soon as possible that forcing is a technique to expand the universe. undo

curprev 17:3917:39, 2 April 2023‎ Bbbbbbbbba talk contribs‎ 49,254 bytes +2,291‎ →‎Intuition: Rewrote the section again. It's becoming a bit long but I'm trying to emphasize the importance of viewing M[X] from the viewpoints of both V and M. I'm having trouble giving an intuitive explanation for the concept of "forcing", but I feel that it's important to show where the name of this technique came from. undo

curprev 23:3123:31, 30 March 2023‎ Bbbbbbbbba talk contribs‎ m 46,963 bytes 0‎ →‎Intuition: Fixed a typo. undo
curprev 18:0318:03, 30 March 2023‎ ActivelyDisinterested talk contribs‎ 46,963 bytes +15‎ →‎References: Resolving Category:Harv and Sfn no-target errors. Changed cite to work with SFRs, also added missing reflist undo
curprev 17:5217:52, 30 March 2023‎ Bbbbbbbbba talk contribs‎ 46,948 bytes +224‎ →‎Interpretation: Fixed the definition so that it doesn't explicitly refer to G (so that it can be referred to within M). undo
curprev 17:3917:39, 30 March 2023‎ Bbbbbbbbba talk contribs‎ 46,724 bytes +1,026‎ →‎Intuition: Rewrote the section, mentioning the model M, the concept of genericity, and the origin of the name "forcing". undo

curprev 05:2305:23, 27 March 2023‎ ClueBot NG talk contribs‎ m 45,698 bytes +40‎ Reverting possible vandalism by Aaaadd to version by Rkieferbaum. Report False Positive? Thanks, ClueBot NG. (4226642) (Bot) undo Tag: Rollback
curprev 05:2305:23, 27 March 2023‎ Aaaadd talk contribs‎ m 45,658 bytes −11‎ No edit summary undo Tags: Reverted Visual edit
curprev 05:1905:19, 27 March 2023‎ Aaaadd talk contribs‎ m 45,669 bytes −29‎ →‎Intuition undo Tags: Reverted Visual edit

curprev 18:3418:34, 23 February 2023‎ Rkieferbaum talk contribs‎ m 45,698 bytes −32‎ v2.05 - Fix errors for CW project (Link equal to linktext) undo Tag: WPCleaner

curprev 22:1222:12, 11 February 2023‎ 185.47.220.165 talk‎ 45,730 bytes −38‎ →‎Forcing: Fix typo undo Tag: possibly inaccurate edit summary

curprev 14:4514:45, 5 December 2022‎ 2a02:1812:110c:dc00:5cf:abfa:df26:4da2 talk‎ 45,768 bytes −2‎ →‎Boolean-valued models undo

curprev 20:0520:05, 31 October 2022‎ Set theorist talk contribs‎ m 45,770 bytes −2‎ →‎Logical explanation: removing extra blank lines before {{NumBlk}} undo

curprev 05:0705:07, 5 September 2022‎ Hpecora1 talk contribs‎ 45,772 bytes +57‎ Made statement about adding reals more precise (and actually correct). undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 23:5523:55, 7 August 2022‎ 107.5.94.180 talk‎ 45,715 bytes 0‎ →‎P-names: Fixed wrong parentheses undo Tags: Manual revert Mobile edit Mobile web edit

curprev 15:4615:46, 7 July 2022‎ Jessymilare talk contribs‎ 45,715 bytes 0‎ →‎P-names undo Tag: Reverted

curprev 23:4123:41, 21 May 2022‎ Michael Hardy talk contribs‎ 45,715 bytes +38‎ →‎Forcing undo

curprev 10:0310:03, 2 March 2022‎ 217.173.201.253 talk‎ 45,677 bytes −75‎ No edit summary undo

curprev 18:4118:41, 9 February 2022‎ InternetArchiveBot talk contribs‎ 45,752 bytes +122‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.8.6 undo

curprev 10:5210:52, 26 January 2022‎ Goooosh talk contribs‎ 45,630 bytes 0‎ No edit summary undo

curprev 19:5319:53, 13 November 2021‎ BlueSeaViolet talk contribs‎ m 45,630 bytes +187‎ →‎External links undo

4 June 2024

4 May 2024

8 December 2023

5 December 2023

21 November 2023

5 October 2023

23 August 2023

20 August 2023

18 August 2023

13 August 2023

6 August 2023

29 April 2023

28 April 2023

26 April 2023

23 April 2023

21 April 2023

2 April 2023

30 March 2023

27 March 2023

23 February 2023

11 February 2023

5 December 2022

31 October 2022

5 September 2022

7 August 2022

7 July 2022

21 May 2022

2 March 2022

9 February 2022

26 January 2022

13 November 2021