Timeline for Logic-Compactness in complete lattice
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| 18 hours ago | comment | added | Emil Jeřábek | @KeithKearnes As transpired in the later revisions, the property is intended to be something completely different (to begin with, it is a property of classes rather than individual lattices). I think I’ll just delete this answer. | |
| 21 hours ago | comment | added | Keith Kearnes | If I understand logic compactness, it is exactly the lattice property that every element is dually compact. This is equivalent to well-foundedness if the lattice is complete, but need not be equivalent otherwise. | |
| yesterday | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
added 202 characters in body
|
| yesterday | comment | added | Florian | Thank you for your kind and conscientious reply! Please forgive my ambiguous expressions; there was some ambiguity in my question, indeed. I have modified some of my expressions again, which should be crucial. | |
| yesterday | history | answered | Emil Jeřábek | CC BY-SA 4.0 |