Talk:Lindenbaum–Tarski algebra
Latest comment: 11 years ago by G. Blaine in topic boolean algebra of formulas
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
boolean algebra of formulas
editSince, for example, a&b, b&a are distinct formulas, the formulas do not form a Boolean Algebra. Perhaps the author had something else in mind? — Preceding unsigned comment added by G. Blaine (talk • contribs) 22:00, 27 October 2013 (UTC)
Notes & Queries
editHenkin set?
editCan someone write something accessible about the Henkin set here, or should it have its own article? [1]. Tijfo098 (talk) 10:03, 18 April 2011 (UTC)
Apparently a separate article should exist, and be called Henkin construction [2]. Tijfo098 (talk) 10:55, 18 April 2011 (UTC)