Timeline for Viewing simplicially the Stone space of types of a first-order theory
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 6, 2023 at 7:40 | history | edited | Ivan Di Liberti | CC BY-SA 4.0 |
deleted 39 characters in body
|
| Apr 2, 2023 at 1:40 | comment | added | user494312 | Thanks, but this does not answer the question about categorical logic (namely, whether this simplicial point of view on types is known in categorical logic) or spaces of orbits. | |
| Apr 1, 2023 at 18:06 | history | answered | Ivan Di Liberti | CC BY-SA 4.0 |