Scott continuity: 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 09:4009:40, 6 January 2024 Jean Abou Samra talk contribs m 6,255 bytes +1 "show up" seemed too informal undo

curprev 19:2919:29, 27 November 2023 The Anome talk contribs 6,254 bytes +76 Adding local short description: "Definition of continuity for functions between posets", overriding Wikidata description "for functions between posets" undo Tag: Shortdesc helper

curprev 20:1320:13, 15 November 2023 128.237.82.5 talk 6,178 bytes +111 →Properties: Clarify meaning of monotonic in this context. undo

curprev 23:3823:38, 27 November 2022 Ancheta Wis talk contribs 6,067 bytes +21 →Examples: +anchor undo
curprev 12:0812:08, 27 November 2022 Waltpohl talk contribs m 6,046 bytes +14 →References: fix planetmath link undo

curprev 09:5609:56, 9 August 2022 Tea2min talk contribs 6,032 bytes −9 →top: Prefer redirect over non-obvious piped link. undo

curprev 10:2910:29, 5 March 2022 2603:800c:3601:b83b:113c:dac5:174a:6eba talk 6,041 bytes +9 While it may be true that the Sierpinski space is the "classifying topos for open sets" that is not the point made by the paragraph as written (the fact that such a space can be understood as a certain kind of topos isn't really relevant to the point being made!). Instead, it should say that the Sierpinski space is the classifying space for open sets, or just the classifier for open sets. Either of these is more acceptable. undo

curprev 06:4606:46, 28 January 2022 BattyBot talk contribs m 6,032 bytes −5 →Properties: Fixed CS1 errors: extra text: volume and general fixes undo Tag: AWB

curprev 16:4416:44, 10 October 2021 Pauli133 talk contribs m 6,037 bytes −14 cleanup undo

curprev 21:2721:27, 12 September 2021 Citation bot talk contribs 6,051 bytes +15 Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:General topology | #UCB_Category 9/174 undo

curprev 19:3519:35, 18 May 2021 129.199.131.46 talk 6,036 bytes +10 Change the definition of the scott topology as given in the reference undo

curprev 23:2923:29, 16 December 2020 Monkbot talk contribs m 6,026 bytes −4 Task 18 (cosmetic): eval 5 templates: del empty params (1×); hyphenate params (5×); undo Tag: AWB

curprev 23:1023:10, 13 October 2020 Tom.Reding talk contribs m 6,030 bytes +2 Category:CS1 errors: deprecated parameters (last-author-amp=y/yes → name-list-style=amp; etc.) undo Tag: AWB

curprev 01:5601:56, 13 December 2019 Rgdboer talk contribs 6,028 bytes +277 →Examples: re Belnap connectives undo

curprev 10:4810:48, 12 November 2019 73.41.42.81 talk 5,751 bytes −47 →Properties undo

curprev 18:4618:46, 19 October 2019 Joel Brennan talk contribs 5,798 bytes −20 No edit summary undo
curprev 18:4218:42, 19 October 2019 Joel Brennan talk contribs 5,818 bytes +14 fixed red link undo

curprev 09:4909:49, 30 July 2019 2001:41b8:83c:fb01:3602:86ff:fe69:4646 talk 5,804 bytes +8 use more words instead of pointless symbols undo
curprev 09:3009:30, 30 July 2019 2001:41b8:83c:fb01:3602:86ff:fe69:4646 talk 5,796 bytes +2 add commas to help readability undo

curprev 13:4113:41, 18 February 2019 Citation bot talk contribs m 5,794 bytes +8 Alter: isbn. Add: citeseerx, issue. Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 12:5712:57, 25 March 2018 Turgidson talk contribs m 5,786 bytes +7 diacritics undo

curprev 23:0023:00, 28 March 2017 24.85.232.10 talk 5,779 bytes 0 →Properties undo

curprev 12:4612:46, 16 March 2017 Hyperbolick talk contribs m 5,779 bytes +19 Disambiguated: characteristic function → Indicator function undo

curprev 18:2618:26, 27 August 2016 67.198.37.16 talk 5,760 bytes 0 classifying topos is a better link undo
curprev 18:0018:00, 27 August 2016 67.198.37.16 talk 5,760 bytes +264 the classifying space is sierpinski space. undo
curprev 17:5317:53, 27 August 2016 67.198.37.16 talk 5,496 bytes 0 move phrase undo
curprev 17:5117:51, 27 August 2016 67.198.37.16 talk 5,496 bytes +61 define terms undo

curprev 20:3520:35, 5 June 2016 Dcirovic talk contribs m 5,435 bytes +21 refs using AWB undo

curprev 21:4321:43, 18 August 2015 SindHind talk contribs m 5,414 bytes −21 →Examples: Copyedit (minor) undo Tag: Visual edit

curprev 13:3413:34, 11 February 2015 Hairy Dude talk contribs 5,435 bytes −13 use "directed supremum" symbol (square union), square brackets for applying functions to subsets of their domain undo Tags: Mobile edit Mobile web edit

curprev 00:3800:38, 24 February 2014 124.170.241.132 talk 5,448 bytes +27 Crucial cat undo

curprev 14:1614:16, 7 March 2013 Addbot talk contribs m 5,421 bytes −102 Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q895815 undo

curprev 10:5810:58, 16 January 2013 90.196.52.19 talk 5,523 bytes +1 No edit summary undo

curprev 00:0100:01, 14 December 2012 ZéroBot talk contribs m 5,522 bytes +23 r2.7.1) (Robot: Adding de:Scott-Topologie undo

curprev 12:2512:25, 22 October 2012 203.180.112.49 talk 5,499 bytes +60 Added usage in model theory of lambda calculi undo

curprev 18:0118:01, 22 January 2012 IluvatarBot talk contribs m 5,439 bytes +52 r2.7.1) (Robot: Adding ru:Непрерывность по Скотту undo

curprev 18:5318:53, 9 October 2010 Tea2min talk contribs 5,387 bytes +292 A set is Scott-closed iff it is a lower set and closed under suprema of directed subsets. undo
curprev 10:3110:31, 9 October 2010 Tea2min talk contribs 5,095 bytes +1,602 Some more properties, added "Abramsky & Jung" as reference. undo

curprev 10:4310:43, 8 October 2010 Tea2min talk contribs 3,493 bytes +1,706 Added some content, added some references undo

curprev 15:5715:57, 28 April 2010 129.67.150.181 talk 1,787 bytes +44 Clearer definition, where f is defined. undo

curprev 08:3708:37, 11 July 2009 Tea2min talk contribs m 1,743 bytes +388 Revert content removal/test edits undo

curprev 02:2402:24, 10 July 2009 122.144.68.218 talk 1,355 bytes −29 →Examples undo
curprev 02:2302:23, 10 July 2009 122.144.68.218 talk 1,384 bytes −359 →Examples undo Tag: references removed

curprev 06:4506:45, 5 May 2009 Tea2min talk contribs m 1,743 bytes +14 →References: Added Footnotes section undo

curprev 23:5423:54, 24 February 2009 Ezrakilty talk contribs 1,729 bytes +8 No edit summary undo

curprev 17:2517:25, 15 April 2008 Tea2min talk contribs m 1,721 bytes +74 Swapped definitions for better flow. undo
curprev 16:2016:20, 15 April 2008 Vina-iwbot~enwiki talk contribs m 1,647 bytes +4 robot Modifying: zh:斯科特连续性 undo

curprev 17:3417:34, 8 April 2008 Giftlite talk contribs m 1,643 bytes +1 +. undo
curprev 15:4215:42, 8 April 2008 Linas talk contribs 1,642 bytes +57 →References undo
curprev 15:2815:28, 8 April 2008 Linas talk contribs 1,585 bytes +105 →Examples: mention denotational semantics undo

6 January 2024

27 November 2023

15 November 2023

27 November 2022

9 August 2022

5 March 2022

28 January 2022

10 October 2021

12 September 2021

18 May 2021

16 December 2020

13 October 2020

13 December 2019

12 November 2019

19 October 2019

30 July 2019

18 February 2019

25 March 2018

28 March 2017

16 March 2017

27 August 2016

5 June 2016

18 August 2015

11 February 2015

24 February 2014

7 March 2013

16 January 2013

14 December 2012

22 October 2012

22 January 2012

9 October 2010

8 October 2010

28 April 2010

11 July 2009

10 July 2009

5 May 2009

24 February 2009

15 April 2008

8 April 2008