Timeline for What do coherent topoi have to do with completeness?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 6, 2013 at 19:13 | comment | added | John Baez | I believe Torsten meant it doesn't have a model in the category of sets. I believe any consistent theory in geometric logic has a model in some topos. For example, we can take the theory, build its 'syntactic site', and find a model in the topos of sheaves on its syntactic site. For details see section 4.1 of the exposition by Benjamin Frot mentioned below. | |
| May 6, 2013 at 12:44 | comment | added | kakaz | "consistent geometric theory (with countable disjunctions) that doesn't have a model" - what is the meaning of that? Is it theory on the empty Domain of Discourse? | |
| Jun 21, 2011 at 13:45 | vote | accept | Akhil Mathew | ||
| Jun 21, 2011 at 10:34 | history | edited | Torsten Ekedahl | CC BY-SA 3.0 |
added 270 characters in body
|
| Jun 21, 2011 at 5:46 | history | answered | Torsten Ekedahl | CC BY-SA 3.0 |