Completeness (order theory): Revision history

18 August 2023

• curprev 01:2101:21, 18 August 2023‎ Dionyziz talk contribs‎ 13,193 bytes −1‎ Suprema and infima may not always be computable -- use a different word here undo

7 January 2023

• curprev 20:5120:51, 7 January 2023‎ 2a01:e0a:8f7:4e10:d1f3:998e:17ec:21c5 talk‎ 13,194 bytes −84‎ →‎Relationships between completeness properties: We do not need to assume that B is nonempty, we prove it anyway. Assuming all suprema is stronger than assuming suprema only for non-empty subsets. undo

15 December 2022

• curprev 20:5220:52, 15 December 2022‎ Mgkrupa talk contribs‎ 13,278 bytes +70‎ →‎See also undo
• curprev 20:3320:33, 15 December 2022‎ Mgkrupa talk contribs‎ m 13,208 bytes +18‎ Added {{Order theory}} undo

4 February 2022

• curprev 14:0314:03, 4 February 2022‎ 188.69.195.236 talk‎ 13,190 bytes +14‎ →‎Completeness in terms of adjunctions: add lower adjoint for clarification, which function is being composed undo

14 November 2020

• curprev 18:5718:57, 14 November 2020‎ Joel Brennan talk contribs‎ m 13,176 bytes +89‎ No edit summary undo

19 February 2020

• curprev 10:4610:46, 19 February 2020‎ 134.106.3.254 talk‎ 13,087 bytes +84‎ →‎Relationships between completeness properties undo

2 July 2019

• curprev 17:5117:51, 2 July 2019‎ 134.59.11.233 talk‎ 13,003 bytes −2‎ →‎Completeness in terms of adjunctions undo
• curprev 17:3417:34, 2 July 2019‎ 134.59.11.233 talk‎ 13,005 bytes −14‎ →‎Relationships between completeness properties undo
• curprev 17:2317:23, 2 July 2019‎ 134.59.11.233 talk‎ 13,019 bytes +20‎ →‎Types of completeness properties undo

8 November 2018

• curprev 15:3615:36, 8 November 2018‎ 134.59.11.233 talk‎ 12,999 bytes 0‎ →‎Further completeness conditions undo

17 August 2018

• curprev 20:2520:25, 17 August 2018‎ Ira Leviton talk contribs‎ m 12,999 bytes −19‎ Deleted the phrase "it is obvious that" - see Wikipedia:Manual_of_Style/Words_to_watch#Editorializing. undo

27 March 2017

• curprev 23:5923:59, 27 March 2017‎ 24.85.232.10 talk‎ 13,018 bytes +36‎ →‎Further completeness conditions undo
• curprev 23:1823:18, 27 March 2017‎ 24.85.232.10 talk‎ 12,982 bytes 0‎ →‎Relationships between completeness properties undo
• curprev 23:1123:11, 27 March 2017‎ 24.85.232.10 talk‎ 12,982 bytes 0‎ →‎Further completeness conditions undo
• curprev 23:0923:09, 27 March 2017‎ 24.85.232.10 talk‎ 12,982 bytes 0‎ →‎Further completeness conditions undo
• curprev 23:0723:07, 27 March 2017‎ 24.85.232.10 talk‎ 12,982 bytes +32‎ No edit summary undo
• curprev 23:0423:04, 27 March 2017‎ 24.85.232.10 talk‎ 12,950 bytes +12‎ →‎Finite completeness undo

10 March 2016

• curprev 08:2508:25, 10 March 2016‎ BG19bot talk contribs‎ m 12,938 bytes −5‎ Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP undo

23 July 2015

• curprev 18:2718:27, 23 July 2015‎ Widr talk contribs‎ m 12,943 bytes −15‎ Reverted 1 edit by 202.51.69.11 using STiki undo
• curprev 18:0318:03, 23 July 2015‎ 202.51.69.11 talk‎ 12,958 bytes +15‎ →‎Notes: Pasang lhamu sherpa memorial college undo Tags: Mobile edit Mobile web edit

13 July 2015

• curprev 13:5313:53, 13 July 2015‎ 2.30.143.214 talk‎ 12,943 bytes +20‎ →‎Finite completeness undo

6 March 2014

• curprev 17:4117:41, 6 March 2014‎ 142.33.84.240 talk‎ 12,923 bytes −172‎ Undid revision 597767574 by 101.63.202.84 (talk) Poorly formatted, doesn't rhetorically follow from the rest of the page, etc. undo

2 March 2014

• curprev 05:0505:05, 2 March 2014‎ 101.63.202.84 talk‎ 13,095 bytes +172‎ →‎Types of completeness properties undo

8 February 2014

• curprev 03:1503:15, 8 February 2014‎ Mark Arsten talk contribs‎ m 12,923 bytes −74‎ Reverted edits by Banclark3 (talk) to last version by 173.25.54.191 undo
• curprev 02:5002:50, 8 February 2014‎ Banclark3 talk contribs‎ 12,997 bytes +74‎ No edit summary undo Tag: Mobile edit

26 January 2014

• curprev 05:1005:10, 26 January 2014‎ 173.25.54.191 talk‎ 12,923 bytes −27‎ del 'it is easy to see that' undo
• curprev 04:5804:58, 26 January 2014‎ 173.25.54.191 talk‎ 12,950 bytes −27‎ del 'it is easy to see that' undo
• curprev 04:4804:48, 26 January 2014‎ 173.25.54.191 talk‎ 12,977 bytes +207‎ clarify undo
• curprev 03:0003:00, 26 January 2014‎ 173.25.54.191 talk‎ 12,770 bytes −23‎ del 'it is easy to see that' undo

4 November 2013

• curprev 21:0621:06, 4 November 2013‎ MidgleyC talk contribs‎ m 12,793 bytes +1‎ No edit summary undo
• curprev 21:0621:06, 4 November 2013‎ MidgleyC talk contribs‎ m 12,792 bytes −50‎ external -> internal link undo

9 September 2013

• curprev 12:5912:59, 9 September 2013‎ 137.146.212.111 talk‎ 12,842 bytes +53‎ Added a link to "Partially ordered set" undo Tag: Visual edit

16 April 2013

• curprev 12:5412:54, 16 April 2013‎ Pmokeefe talk contribs‎ 12,789 bytes −102‎ →‎References: Removed the reference to Clinger because I removed the section in which it was mentioned undo
• curprev 12:5312:53, 16 April 2013‎ Pmokeefe talk contribs‎ 12,891 bytes −3,472‎ →‎Completions of domains: I removed the entire section "Completeness of Domains", because of its non-traditional formulation of Domain Theory, I elaborated my reasons in the talk section undo
• curprev 12:2812:28, 16 April 2013‎ Pmokeefe talk contribs‎ 16,363 bytes −55‎ →‎Further completeness conditions: Chain completeness and omega completeness are not the same! See the chain completeness article. undo
• curprev 12:1612:16, 16 April 2013‎ Pmokeefe talk contribs‎ 16,418 bytes −193‎ →‎Completions of domains: Removed another unhelpful reference to Actor Semantics undo
• curprev 12:1312:13, 16 April 2013‎ Pmokeefe talk contribs‎ 16,611 bytes −138‎ →‎Completions of domains: Removed reference to Denotational Semantics, which didn't seem helpful, and the only hits relating "completions of domains" and "denotational semantics" are related to this article! undo
• curprev 12:0612:06, 16 April 2013‎ Pmokeefe talk contribs‎ 16,749 bytes −66‎ →‎Completions of domains: Removed Actor Model reference which doesn't seem helpful, and when I googled "actor model" and "completion of domains" I only got hits related to this article! undo

20 August 2012

• curprev 09:0809:08, 20 August 2012‎ Krauss talk contribs‎ m 16,815 bytes +18‎ →‎See also undo

15 August 2012

• curprev 17:5117:51, 15 August 2012‎ David Eppstein talk contribs‎ 16,797 bytes +4‎ →‎Further completeness conditions: link chain complete undo

31 July 2012

• curprev 13:2213:22, 31 July 2012‎ Kingdon talk contribs‎ 16,793 bytes −17‎ already linked twice in the text; don't need another link at the bottom undo
• curprev 13:2013:20, 31 July 2012‎ Kingdon talk contribs‎ 16,810 bytes +71‎ Help introduce the subject to the reader who isn't an order theorist by mentioning a more familiar example. Might want text about linear order versus more general partial order, but I wasn't sure how many words to add to the intro. undo

21 July 2012

• curprev 17:3017:30, 21 July 2012‎ Khazar2 talk contribs‎ 16,739 bytes 0‎ →‎Completeness in terms of adjunctions: clean up, typos fixed: well-known → well known using AWB (8097) undo

29 April 2012

• curprev 21:1321:13, 29 April 2012‎ Dratman talk contribs‎ m 16,739 bytes −5‎ →‎Relationships between completeness properties: Why write "best well-known" when you can write "best-known"? undo
• curprev 21:1221:12, 29 April 2012‎ Dratman talk contribs‎ m 16,744 bytes +23‎ →‎Further completeness conditions: add link undo
• curprev 21:0921:09, 29 April 2012‎ Dratman talk contribs‎ m 16,721 bytes −1‎ →‎Further completeness conditions: see previous summary undo
• curprev 21:0821:08, 29 April 2012‎ Dratman talk contribs‎ m 16,722 bytes −1‎ →‎Further completeness conditions: for placing an abbreviation just after its full name, parentheses are a quickly recognizable idiomatic signal, at least in technical literature, undo

3 July 2009

• curprev 21:5021:50, 3 July 2009‎ Dranorter talk contribs‎ 16,723 bytes +12‎ No edit summary undo
• curprev 21:4621:46, 3 July 2009‎ Dranorter talk contribs‎ 16,711 bytes +38‎ No edit summary undo