Free Boolean algebra: Revision history

14 January 2025

• curprev 05:1305:13, 14 January 2025 Chipmunkdavis talk contribs m 7,433 bytes −111 Llm generated SDs of very variable quality undo Tag: Rollback

4 January 2025

• curprev 02:2002:20, 4 January 2025 Ai777 talk contribs m 7,544 bytes +111 Added short description undo Tags: Reverted Mobile edit Mobile app edit iOS app edit App description add

31 December 2022

• curprev 01:0001:00, 31 December 2022 Joriki talk contribs m 7,433 bytes −15 →Topological realization: one link only undo

20 July 2021

• curprev 17:1117:11, 20 July 2021 164.52.242.130 talk 7,448 bytes −14 →Topological realization: This is quite elementary and in no way surprising. undo

12 July 2019

• curprev 16:2916:29, 12 July 2019 216.21.162.208 talk 7,462 bytes +345 →A simple example undo

17 October 2018

• curprev 12:2412:24, 17 October 2018 Yukad talk contribs m 7,117 bytes +1 →Category-theoretic definition undo

9 June 2017

• curprev 23:1123:11, 9 June 2017 Magic links bot talk contribs m 7,116 bytes +4 Replace magic links with templates per local RfC and MediaWiki RfC undo

17 March 2017

• curprev 18:0318:03, 17 March 2017 Chris-martin talk contribs 7,112 bytes +24 →A simple example: Switch from File:Hasse2Free.png to Free-boolean-algebra-hasse-diagram.svg undo

28 August 2015

• curprev 11:0911:09, 28 August 2015 Vaughan Pratt talk contribs m 7,088 bytes +103 this property has nothing to do with Boolean algebras per se undo

29 July 2015

• curprev 19:2919:29, 29 July 2015 Trovatore talk contribs 6,985 bytes −212 restoring lead para from revision of 12 nov 2007. Adding a set of operations (and especially calling it "F") is not particularly helpful; the rest of the article doesn't use it. BAs have a standard set of operations. undo
• curprev 16:2516:25, 29 July 2015 81.249.27.174 talk 7,197 bytes −8 →Category-theoretic definition undo

7 July 2014

• curprev 13:1613:16, 7 July 2014 R.e.b. talk contribs 7,205 bytes +41 →Topological realization: Adding/removing wikilink(s) undo

20 February 2014

• curprev 20:1820:18, 20 February 2014 LilHelpa talk contribs m 7,164 bytes +3 contractions undo

11 December 2013

• curprev 13:5513:55, 11 December 2013 AnomieBOT talk contribs m 7,161 bytes +19 Dating maintenance tags: {{Dn}} undo
• curprev 13:3513:35, 11 December 2013 BD2412 talk contribs m 7,142 bytes +6 →Category-theoretic definition: Fixing links to disambiguation pages, replaced: adjunction → adjunction{{dn}} using AWB undo

14 March 2013

• curprev 20:1720:17, 14 March 2013 Addbot talk contribs m 7,136 bytes −27 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q5499761 undo

11 May 2012

• curprev 18:4418:44, 11 May 2012 Helpful Pixie Bot talk contribs m 7,163 bytes 0 ISBNs (Build KG) undo

7 January 2012

• curprev 12:0312:03, 7 January 2012 Jiri 1984 talk contribs 7,163 bytes −1 Based on the explanation, indpendent are elements of X, some elements of FX depend on element of X at least, so are mutualy dependent undo

29 October 2010

• curprev 16:0016:00, 29 October 2010 R'n'B talk contribs m 7,164 bytes +12 Fix links to disambiguation page Boolean algebra undo

12 March 2010

• curprev 19:5419:54, 12 March 2010 R'n'B talk contribs m 7,152 bytes +7 Fix links to disambiguation page Finite undo

18 December 2009

• curprev 23:3723:37, 18 December 2009 Gregbard talk contribs 7,145 bytes +24 →A simple example: logical equivalence using Project:AWB undo

1 September 2009

• curprev 23:3123:31, 1 September 2009 Gregbard talk contribs 7,121 bytes −25 →A simple example: disambiguate redirect "proposition", Removed: Proposition (philosophy)|, using AWB undo

21 June 2009

• curprev 01:3401:34, 21 June 2009 BD2412 talk contribs m 7,146 bytes +22 Fixing links to disambiguation pages and other minor cleanup tasks, Replaced: [[Image: → [[File: (3), [[proposition using AWB undo

13 June 2009

• curprev 19:4819:48, 13 June 2009 Trovatore talk contribs 7,124 bytes −29 my comment the first time I removed this still stands undo
• curprev 14:4714:47, 13 June 2009 Watchduck talk contribs 7,153 bytes +29 →A simple example: Replaced old diagram by SVG. By the way: The "thumb" in the source was forgotten, thus the text didn't appear. undo

28 September 2008

• curprev 19:5119:51, 28 September 2008 83.23.227.203 talk 7,124 bytes −42 →A simple example: I think this is more natural (like empty sum or empty product) undo

19 June 2008

• curprev 06:5606:56, 19 June 2008 Daniel Brown talk contribs 7,166 bytes −16 →References: Made name order consistent undo
• curprev 06:5506:55, 19 June 2008 Daniel Brown talk contribs 7,182 bytes +255 →References: Added Awodey and Mac Lane's "Categories Work" undo
• curprev 06:5306:53, 19 June 2008 Daniel Brown talk contribs m 6,927 bytes +63 →Category-theoretic definition: Link "laws for Boolean algebra homomorphisms" undo
• curprev 06:5206:52, 19 June 2008 Daniel Brown talk contribs 6,864 bytes +1,428 →Category-theoretic definition: Another diagram, a better explanation. (If you give a mouse a cookie...) undo
• curprev 04:3304:33, 19 June 2008 Daniel Brown talk contribs 5,436 bytes +482 →Category-theoretic definition: Diagrams! undo

29 December 2007

• curprev 01:1001:10, 29 December 2007 Trovatore talk contribs 4,954 bytes −2 →Topological realization: "denumerable" is kind of disused, and there's no need to emphasize that this set is infinite (that's obvious) undo
• curprev 00:0400:04, 29 December 2007 Trovatore talk contribs 4,956 bytes −4 →Category-theoretic definition: delinking universal; currently nothing useful there undo

28 December 2007

• curprev 14:1914:19, 28 December 2007 SmackBot talk contribs m 4,960 bytes −64 Standard headings &/or gen fixes. using AWB undo

25 December 2007

• curprev 09:3909:39, 25 December 2007 Trovatore talk contribs 5,024 bytes +22 →Topological realization: no requirement that kappa be countable undo

23 December 2007

• curprev 20:2720:27, 23 December 2007 132.181.160.42 talk 5,002 bytes −20 →Topological realization: clarify last sentence of first para. undo
• curprev 20:2120:21, 23 December 2007 132.181.160.42 talk 5,022 bytes +79 →Reference: add Stoll (1963) undo

22 December 2007

• curprev 02:0302:03, 22 December 2007 Trovatore talk contribs 4,943 bytes −10 restore old image -- new one is pretty, but way too Baroque, and it's not clear at all what all the complexity is supposed to represent undo

19 December 2007

• curprev 05:4405:44, 19 December 2007 132.181.160.42 talk 4,953 bytes +459 many style edits, add links, replace numbered lists with bullets, add reference, See also. undo

12 November 2007

• curprev 11:0111:01, 12 November 2007 87.123.112.110 talk 4,494 bytes +35 →Motivation and example undo
• curprev 10:5610:56, 12 November 2007 87.123.112.110 talk 4,459 bytes +4 →Motivation and example undo

5 October 2007

• curprev 20:0820:08, 5 October 2007 CBM talk contribs 4,455 bytes +88 Add a reference undo

14 August 2007

• curprev 10:5610:56, 14 August 2007 Output~enwiki talk contribs m 4,367 bytes −5 No edit summary undo

24 July 2007

• curprev 04:4904:49, 24 July 2007 Trovatore talk contribs 4,372 bytes +28 dab ba undo

14 July 2007

• curprev 18:5418:54, 14 July 2007 Zundark talk contribs 4,344 bytes +132 add a link to Stone's representation theorem for Boolean algebras undo

1 May 2007

• curprev 06:5806:58, 1 May 2007 Mhss talk contribs m 4,212 bytes +27 No edit summary undo

13 April 2007

• curprev 15:4215:42, 13 April 2007 Arthur Rubin talk contribs m 4,185 bytes +143 Reverted edits by 66.189.62.195 (talk) to last version by SmackBot undo
• curprev 15:2915:29, 13 April 2007 66.189.62.195 talk 4,042 bytes −143 No edit summary undo

29 November 2006

• curprev 08:2408:24, 29 November 2006 SmackBot talk contribs m 4,185 bytes +15 Date the maintenance tags using AWB undo

26 April 2006

• curprev 18:4918:49, 26 April 2006 165.189.91.148 talk 4,170 bytes +17 {{unreferenced}} undo