Timeline for Lowenheim-Skolem numbers for SOL + correctness quantifiers
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 1, 2021 at 16:39 | vote | accept | Noah Schweber | ||
| May 1, 2021 at 11:54 | history | edited | Farmer S | CC BY-SA 4.0 |
Changed $\preceq$s to $\preccurlyeq$s
|
| May 1, 2021 at 11:45 | history | answered | Farmer S | CC BY-SA 4.0 |