Timeline for Grothendieck toposes and logic
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jul 1, 2017 at 15:59 | history | suggested | Matthieu FG |
Added cat logic tag
|
|
| Jul 1, 2017 at 15:50 | review | Suggested edits | |||
| S Jul 1, 2017 at 15:59 | |||||
| Jun 17, 2017 at 11:42 | history | edited | Qfwfq | CC BY-SA 3.0 |
edited body; edited title
|
| Jun 17, 2017 at 7:49 | answer | added | Topological | timeline score: 1 | |
| Jun 6, 2017 at 14:38 | answer | added | godelian | timeline score: 8 | |
| Jun 5, 2017 at 10:41 | comment | added | Ingo Blechschmidt | Sorry, the link to Caramello and Johnstone's result is wrong. This one is it. | |
| Jun 5, 2017 at 10:27 | comment | added | Ingo Blechschmidt | Can you be a bit more specific? "Gödel = Deligne" does come to my mind. Olivia Caramello has lots of papers on the subject. For instance, you might check out her article Lattices of theories, where she relates quotient theories with subtoposes, or her and Johnstone's result that the de Morganization of the classifying topos of the theory of fields is the classifying topos of fields of finite characteristic in which every element is algebraic over the ground field. | |
| Jun 4, 2017 at 20:27 | history | asked | tttbase | CC BY-SA 3.0 |