Timeline for Intuitionistic Lowenheim-Skolem?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 5, 2011 at 4:22 | comment | added | Mike Shulman | I intended to ask about intuitionistic models in intuitionistic metatheory. (-: But thanks anyway, the point you make is an interesting thing to note. | |
| Feb 4, 2011 at 15:12 | history | answered | Emil Jeřábek | CC BY-SA 2.5 |