A characterization theorem for geometric logic
| Autor: | Olivia Caramello |
|---|---|
| Rok vydání: | 2011 |
| Předmět: |
Class (set theory)
Pure mathematics Classifying topos First-order theory Geometric morphism Geometric theory Grothendieck topos Subtopos Logic 03G30 18C10 18B25 Mathematics - Category Theory Mathematics - Logic Characterization (mathematics) Topos theory Mathematics::Logic Geometric group theory Mathematics::Category Theory FOS: Mathematics Category Theory (math.CT) Logic (math.LO) First order theory Mathematics |
| Zdroj: | Annals of Pure and Applied Logic. 162(4):318-321 |
| ISSN: | 0168-0072 |
| DOI: | 10.1016/j.apal.2010.08.004 |
| Popis: | We establish a criterion for deciding whether a class of structures is the class of models of a geometric theory inside Grothendieck toposes; then we specialize this result to obtain a characterization of the infinitary first-order theories which are geometric in terms of their models in Grothendieck toposes, solving a problem posed by Ieke Moerdijk in 1989. 8 pages |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect