Timeline for What sort of cardinal number is the Löwenheim–Skolem number for second-order logic?
Current License: CC BY-SA 4.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 3, 2021 at 17:30 | history | answered | Dmytro Taranovsky | CC BY-SA 4.0 |