Talk:Lindenbaum–Tarski algebra

boolean algebra of formulas

Since, 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

Jon Awbrey 06:04, 5 February 2006 (UTC)

Henkin set?

Can 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)