Lindenbaum–Tarski algebra: 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 01:4501:45, 15 October 2024 Holauqetal talk contribs m 4,218 bytes +18 The quotient hyerlink was wrong. undo

curprev 07:0407:04, 14 April 2024 Citation bot talk contribs 4,200 bytes +264 Alter: title, template type. Add: isbn, pages, volume, series, chapter. | Use this bot. Report bugs. | Suggested by Abductive | Category:Algebraic logic | #UCB_Category 22/23 undo

curprev 06:5006:50, 19 April 2023 WikiCleanerBot talk contribs m 3,936 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 13:0313:03, 16 April 2023 Srnstklqe talk contribs m 3,936 bytes −12 correct citations undo
curprev 13:0013:00, 16 April 2023 Srnstklqe talk contribs 3,948 bytes +406 explain role of Lindenbaum and more complete history undo

curprev 10:2210:22, 11 July 2021 Rodw talk contribs m 3,542 bytes +11 Disambiguating links to John Corcoran (link changed to John Corcoran (logician)) using DisamAssist. undo

curprev 15:0215:02, 8 June 2021 2a02:1812:110c:dc00:4993:8f90:ad74:25e2 talk 3,531 bytes +78 No edit summary undo

curprev 17:1717:17, 10 December 2020 Monkbot talk contribs m 3,453 bytes −8 Task 18 (cosmetic): eval 3 templates: del empty params (1×); undo Tag: AWB

curprev 15:4715:47, 21 November 2020 Tom.Reding talk contribs m 3,461 bytes −9 Category:CS1 errors: empty unknown parameters; WP:GenFixes on undo Tag: AWB

curprev 13:3813:38, 8 May 2019 D.Lazard talk contribs 3,470 bytes +29 →top: dab quotient algebra undo

curprev 10:4410:44, 12 March 2019 AugPi talk contribs 3,441 bytes +46 →See also: + undo

curprev 20:4220:42, 14 September 2017 86.139.80.94 talk 3,395 bytes −4 No edit summary undo

curprev 21:0321:03, 23 May 2016 67.164.92.149 talk 3,399 bytes −71 Fixed a misleading statement. See discussion here: http://math.stackexchange.com/questions/1796943/generators-of-the-lindenbaum-tarski-algebra/ undo
curprev 20:3520:35, 23 May 2016 Bandanna talk contribs m 3,470 bytes +27 Adjusted the claim about the set of generators to allow for non-logical axioms in the theory T. undo

curprev 14:5714:57, 8 December 2014 DavidHobby talk contribs 3,443 bytes −239 Removed request for clarification. Various logics are well-covered below? undo

curprev 16:2216:22, 4 July 2014 R.e.b. talk contribs 3,682 bytes +42 →top: Adding/removing wikilink(s) undo

curprev 10:2210:22, 24 June 2014 159.149.2.204 talk 3,640 bytes −12 "Boolean algebra of formulas" does not seem correct except under classical logic. undo

curprev 21:5421:54, 17 August 2013 AnomieBOT talk contribs m 3,652 bytes +17 Dating maintenance tags: {{Clarify}} undo
curprev 19:5419:54, 17 August 2013 Jochen Burghardt talk contribs 3,635 bytes −28 removed claimed restriction to prop. logic (since e.g. Chang and Keisler 1977, Model Theory, p.47,74 use full first-order logic) undo
curprev 19:3519:35, 17 August 2013 Jochen Burghardt talk contribs 3,663 bytes +222 No edit summary undo
curprev 19:1819:18, 17 August 2013 Jochen Burghardt talk contribs 3,441 bytes +380 added ref.+url, mentioned restriction to prop. logic (from Blok+Pigozzi p.1) undo

curprev 08:1408:14, 20 April 2013 Yobot talk contribs m 3,061 bytes +42 →References: WP:CHECKWIKI error fixes - Replaced endash with hyphen in sortkey per WP:MCSTJR using AWB (9100) undo

curprev 01:4501:45, 7 March 2013 Addbot talk contribs m 3,019 bytes −96 Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q841805 undo

curprev 21:3221:32, 11 May 2012 Helpful Pixie Bot talk contribs m 3,115 bytes 0 ISBNs (Build KH) undo

curprev 13:2713:27, 28 April 2012 ChrisGualtieri talk contribs m 3,115 bytes +1 TypoScan Project / General Fixes, typos fixed: , → , using AWB undo

curprev 10:0310:03, 24 November 2011 Ripchip Bot talk contribs m 3,114 bytes +28 r2.7.1) (Robot: Adding fr:Algèbre de Lindenbaum undo

curprev 15:3115:31, 15 November 2011 70.74.81.61 talk 3,086 bytes +1 No edit summary undo

curprev 14:1914:19, 14 September 2011 Sneakfast talk contribs m 3,085 bytes +1 →Related algebras undo

curprev 08:5408:54, 10 July 2011 Gelingvistoj talk contribs m 3,084 bytes −2 →Related algebras: grammar undo

curprev 04:3604:36, 13 April 2011 Tijfo098 talk contribs 1,829 bytes +22 →See also: woohoo, we have this undo

curprev 10:5310:53, 3 April 2011 Hugo Herbelin talk contribs 1,807 bytes +106 →Operations: Explaining terms better undo
curprev 10:4610:46, 3 April 2011 Hugo Herbelin talk contribs m 1,701 bytes 0 →Operations: Typo undo
curprev 10:4510:45, 3 April 2011 Hugo Herbelin talk contribs 1,701 bytes +136 →Operations: Link to free Boolean algebra undo
curprev 10:4410:44, 3 April 2011 Hugo Herbelin talk contribs 1,565 bytes −393 Undo very doubtful edit on March 2006 by 130.107.7.50: e.g. how an atomless countable algebra can be isomorphic to a L-T algebra? (can experts confirm?) undo

curprev 21:2421:24, 21 February 2010 CBM talk contribs 1,958 bytes −18 Removing stub tag(s) undo

curprev 05:2605:26, 27 May 2009 Charvest talk contribs 1,976 bytes +31 Category:Algebraic logic Category:Algebraic structures undo

curprev 23:4123:41, 16 May 2009 CBM talk contribs 1,945 bytes +92 copyedit undo

curprev 21:4121:41, 9 January 2009 Nortexoid talk contribs 1,853 bytes +122 clarification undo

curprev 19:4319:43, 13 December 2008 Citation bot talk contribs m 1,731 bytes −3 Updating page numbers after recent improvement to Template:Cite book. Removed redundant parameters. undo

curprev 21:2821:28, 27 August 2008 AlleborgoBot talk contribs m 1,734 bytes +3 robot Modifying: zh:林登鲍姆-塔斯基代数 undo

curprev 18:0018:00, 6 July 2008 Classicalecon talk contribs 1,731 bytes +50 linking algebraic logic and abstract algebraic logic undo

curprev 20:0020:00, 4 July 2008 Classicalecon talk contribs 1,681 bytes +55 modal logic S4 --> interior algebras undo

curprev 03:3103:31, 24 July 2007 Trovatore talk contribs 1,626 bytes +28 dab ba undo

15 October 2024

14 April 2024

19 April 2023

16 April 2023

11 July 2021

8 June 2021

10 December 2020

21 November 2020

8 May 2019

12 March 2019

14 September 2017

23 May 2016

8 December 2014

4 July 2014

24 June 2014

17 August 2013

20 April 2013

7 March 2013

11 May 2012

28 April 2012

24 November 2011

15 November 2011

14 September 2011

10 July 2011

15 April 2011

13 April 2011

3 April 2011

21 February 2010

27 May 2009

16 May 2009

9 January 2009

13 December 2008

27 August 2008

6 July 2008

4 July 2008

24 July 2007