Timeline for Is every Heyting algebra the Lindenbaum algebra of an intuitionistic first order theory?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 1, 2014 at 7:55 | comment | added | godelian | I was rather thinking on sentences, so it's ok. I'm however not sure if this could be generalized to the Heyting case since it seems to rely on the fact that $b \vee \neg b=1$ | |
| Apr 1, 2014 at 1:33 | comment | added | Joel David Hamkins | I'm using only sentences in my algebra, but do you want to allow formulas also, with free variables? If so, that is a complication. | |
| Apr 1, 2014 at 1:29 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |