Timeline for Quantifier elimination and categorical dimension
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 6 at 14:12 | answer | added | Andrej Bauer | timeline score: 3 | |
| Aug 6 at 13:09 | history | edited | Alec Rhea | CC BY-SA 4.0 |
missed a prime
|
| Aug 4 at 20:03 | vote | accept | Alec Rhea | ||
| Aug 4 at 19:56 | answer | added | Qiaochu Yuan | timeline score: 7 | |
| Aug 4 at 19:34 | comment | added | Noah Schweber | I don't think this has anything to do with quantifier elimination as the phrase is usually used; it seems closer to the observation (initially of Skolem, later elaborated on by Godel in the context of functional interpretations if I have my history right) that we can hide quantifiers by using higher-type objects. But I'm not familiar enough with category theory to be certain. | |
| Aug 4 at 19:13 | history | asked | Alec Rhea | CC BY-SA 4.0 |