Fraisse's construction from a topos-theoretic perspective
Category Theory
2008-12-01 v3 Logic
Abstract
We present a topos-theoretic interpretation of (a categorical generalization of) Fraisse's construction in model theory, with applications to countably categorical theories.
Cite
@article{arxiv.0805.2778,
title = {Fraisse's construction from a topos-theoretic perspective},
author = {Olivia Caramello},
journal= {arXiv preprint arXiv:0805.2778},
year = {2008}
}
Comments
17 pages; new version with generalized theorems