Boolean prime ideal theorem: 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:0403:04, 29 November 2023‎ OAbot talk contribs‎ m 15,751 bytes −4‎ Open access bot: doi updated in citation with #oabot. undo

curprev 17:3017:30, 17 January 2023‎ 74.111.98.156 talk‎ 15,755 bytes −116‎ Removing ridiculous tags undo Tags: Mobile edit Mobile web edit

curprev 20:2720:27, 15 December 2022‎ Mgkrupa talk contribs‎ m 15,871 bytes +18‎ Added {{Order theory}} undo

curprev 21:5921:59, 11 May 2022‎ Mgkrupa talk contribs‎ m 15,853 bytes −9‎ Updated internal links undo

curprev 20:0020:00, 8 November 2021‎ ヒナゲシさん talk contribs‎ m 15,862 bytes +122‎ Citation needed regarding some obscure statement undo
curprev 04:1604:16, 8 November 2021‎ ヒナゲシさん talk contribs‎ m 15,740 bytes +83‎ Questioning the focusing on order structures undo

curprev 13:0213:02, 16 October 2021‎ Yukad talk contribs‎ 15,657 bytes +96‎ →‎Prime ideal theorems undo

curprev 08:2708:27, 31 July 2021‎ TheMathCat talk contribs‎ m 15,561 bytes +26‎ doi-access=free undo

curprev 20:3420:34, 7 May 2021‎ Mgkrupa talk contribs‎ m 15,535 bytes +7‎ Updated internal links and copy editing undo

curprev 10:4710:47, 31 March 2021‎ Jason Quinn talk contribs‎ 15,528 bytes +11‎ source cleanup, mostly of cite templates undo

curprev 20:1720:17, 26 March 2021‎ David Eppstein talk contribs‎ 15,517 bytes +47‎ →‎References: Introduction to Lattices and Order undo

curprev 04:2204:22, 5 February 2021‎ OAbot talk contribs‎ m 15,470 bytes +21‎ Open access bot: doi added to citation with #oabot. undo

curprev 16:3516:35, 2 February 2021‎ Citation bot talk contribs‎ 15,449 bytes +84‎ Add: doi, s2cid, issue. | You can use this bot yourself. Report bugs here. | Suggested by Abductive | Category:Order theory | via #UCB_Category 89/180 undo

curprev 23:1823:18, 1 December 2020‎ Mgkrupa talk contribs‎ 15,365 bytes −583‎ Removed some information that I added. undo
curprev 22:1122:11, 1 December 2020‎ Mgkrupa talk contribs‎ m 15,948 bytes −18‎ Reworded undo
curprev 22:1022:10, 1 December 2020‎ Mgkrupa talk contribs‎ 15,966 bytes +637‎ Added sourced information undo

curprev 20:0520:05, 1 November 2020‎ Tarnoob talk contribs‎ 15,329 bytes +7‎ →‎References: cat. undo

curprev 01:2301:23, 13 October 2020‎ Mgkrupa talk contribs‎ 15,322 bytes +38‎ Added info undo

curprev 05:4905:49, 9 October 2020‎ Mgkrupa talk contribs‎ 15,284 bytes +492‎ Added info undo

curprev 17:1617:16, 10 May 2020‎ ArnoldReinhold talk contribs‎ 14,792 bytes +82‎ Adding local short description: "Ideals in a Boolean algebra can be extended to prime ideals", overriding Wikidata description "theorem" (Shortdesc helper) undo

curprev 19:3219:32, 15 April 2020‎ OAbot talk contribs‎ m 14,710 bytes +21‎ Open access bot: doi added to citation with #oabot. undo

curprev 17:5917:59, 14 December 2019‎ Ira Leviton talk contribs‎ m 14,689 bytes +33‎ Too hard for most readers to understand. undo

curprev 23:4823:48, 3 November 2018‎ 2600:1702:e30:7870:18da:e44c:9984:e90a talk‎ 14,656 bytes +36‎ No edit summary undo

curprev 23:2423:24, 6 September 2018‎ JCW-CleanerBot talk contribs‎ m 14,620 bytes +6‎ task, replaced: Journal of the London Mathematical Society. Second Series → Journal of the London Mathematical Society |series=Second Series undo Tag: AWB

curprev 00:2900:29, 30 August 2018‎ Headbomb talk contribs‎ 14,614 bytes +3‎ →‎References: | journal = Journal of the London Mathematical Society. Second Series undo

curprev 03:4603:46, 22 August 2018‎ A loose necktie talk contribs‎ 14,611 bytes +1‎ comma undo
curprev 03:4503:45, 22 August 2018‎ A loose necktie talk contribs‎ m 14,610 bytes −35‎ fixed more misused bolds per WP:MOS undo
curprev 03:4303:43, 22 August 2018‎ A loose necktie talk contribs‎ 14,645 bytes −313‎ several formatting issues fixed undo

curprev 04:5404:54, 22 April 2018‎ David Eppstein talk contribs‎ 14,958 bytes +579‎ →‎Applications: [[De Bruijn–Erdős theorem (graph theory) undo

curprev 14:3714:37, 8 June 2017‎ 82.137.12.72 talk‎ 14,379 bytes 0‎ deduction undo

curprev 05:3805:38, 27 January 2017‎ Tea2min talk contribs‎ m 14,379 bytes −3‎ Reverted 1 edit by 144.32.240.117 (talk) to last revision by Absolutelypuremilk. (TW) undo

curprev 20:3620:36, 26 January 2017‎ 144.32.240.117 talk‎ 14,382 bytes +3‎ No edit summary undo

curprev 14:0314:03, 4 December 2016‎ Bellowhead678 talk contribs‎ 14,379 bytes +16‎ →‎Prime ideal theorems: add link undo
curprev 14:0014:00, 4 December 2016‎ Bellowhead678 talk contribs‎ 14,363 bytes 0‎ →‎See also: capitalise undo

curprev 12:3512:35, 19 August 2015‎ 129.206.108.128 talk‎ 14,363 bytes −4‎ Undid revision 676829352 by 129.206.108.128 (talk) undo
curprev 12:3312:33, 19 August 2015‎ 129.206.108.128 talk‎ 14,367 bytes +4‎ →‎The ultrafilter lemma undo

curprev 10:3010:30, 14 December 2014‎ Alexey Muranov talk contribs‎ 14,363 bytes +112‎ →‎The ultrafilter lemma: No need to give a vague reference to Tarski for an obvious fact. (Otherwise some historical context should have been added.) undo

curprev 23:0723:07, 30 June 2014‎ Ott2 talk contribs‎ 14,251 bytes +34‎ →‎References: add link to Priestley undo

curprev 22:2522:25, 2 April 2014‎ 31.49.91.108 talk‎ 14,289 bytes −2‎ →‎Prime ideal theorems undo

curprev 05:3305:33, 4 March 2014‎ 114.166.213.104 talk‎ 14,291 bytes 0‎ →‎Applications undo

curprev 14:1514:15, 14 January 2014‎ Myasuda talk contribs‎ m 14,291 bytes +1‎ →‎Boolean prime ideal theorem: added missing diacritic undo

curprev 07:2307:23, 2 September 2013‎ Chinju talk contribs‎ 14,290 bytes −1,217‎ Removed irrelevant section (what was proven is that the Prime Ideal Theorem is equivalent to the compactness theorem restricted to 3-literal disjunctions, but calling this latter _theorem_ "3-SAT" seems odd...) undo Tags: Visual edit Visual edit: Check

curprev 01:0801:08, 27 August 2013‎ 179.215.11.70 talk‎ 15,507 bytes +57‎ →‎Conexions with Computational Complexity undo

curprev 22:1122:11, 14 August 2013‎ 179.215.11.70 talk‎ 15,450 bytes +1‎ →‎Conexions with Coputational Complexity undo

29 November 2023

17 January 2023

15 December 2022

11 May 2022

8 November 2021

16 October 2021

31 July 2021

7 May 2021

31 March 2021

26 March 2021

5 February 2021

2 February 2021

1 December 2020

1 November 2020

13 October 2020

9 October 2020

10 May 2020

15 April 2020

14 December 2019

3 November 2018

6 September 2018

30 August 2018

22 August 2018

22 April 2018

8 June 2017

27 January 2017

26 January 2017

4 December 2016

19 August 2015

14 December 2014

30 June 2014

8 April 2014

2 April 2014

4 March 2014

14 January 2014

2 September 2013

27 August 2013

14 August 2013