Timeline for Intuitionistic Lowenheim-Skolem?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Apr 16, 2022 at 11:26 | history | suggested | Ulrik Buchholtz | CC BY-SA 4.0 |
Add the author names for the main reference
|
| Apr 16, 2022 at 7:25 | review | Suggested edits | |||
| S Apr 16, 2022 at 11:26 | |||||
| S Apr 15, 2022 at 17:33 | history | suggested | The Amplitwist | CC BY-SA 4.0 |
fixed broken link to springerlink.com
|
| Apr 15, 2022 at 15:15 | review | Suggested edits | |||
| S Apr 15, 2022 at 17:33 | |||||
| Nov 2, 2009 at 7:11 | comment | added | Mike Shulman | Thank you! That's very helpful, and lots of food for thought. | |
| Nov 2, 2009 at 7:10 | vote | accept | Mike Shulman | ||
| Oct 31, 2009 at 6:05 | history | answered | Kristal Cantwell | CC BY-SA 2.5 |