Timeline for Is every Heyting algebra the Lindenbaum algebra of an intuitionistic first order theory?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 7, 2022 at 6:06 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
Replaced broken Project Euclid JSL link with doi and JSTOR links; https
|
| Apr 1, 2014 at 5:24 | history | edited | მამუკა ჯიბლაძე | CC BY-SA 3.0 |
added 60 characters in body
|
| Apr 1, 2014 at 5:14 | history | answered | მამუკა ჯიბლაძე | CC BY-SA 3.0 |