A characterization theorem for geometric logic
Category Theory
2013-04-26 v1 Logic
Abstract
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.
Cite
@article{arxiv.0912.1404,
title = {A characterization theorem for geometric logic},
author = {Olivia Caramello},
journal= {arXiv preprint arXiv:0912.1404},
year = {2013}
}
Comments
8 pages