Timeline for Equivalences between statements of (seemingly) different order
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 19, 2022 at 11:54 | answer | added | Benedict Eastaugh | timeline score: 5 | |
| Oct 19, 2022 at 10:24 | comment | added | Emil Jeřábek | Both 1 and 2 are first-order statements with second-order parameters. In particular, 2 can be written without second-order quantifiers, using only $K$ and its field operations as second-order parameters. | |
| Oct 19, 2022 at 8:04 | history | asked | Sam Sanders | CC BY-SA 4.0 |