Fraisse's construction from a topos-theoretic perspective
Abstract
Description
We present a topos-theoretic interpretation of (a categorical generalization of) Fraisse's construction in model theory, with applications to countably categorical theories.
17 pages; new version with generalized theorems
17 pages; new version with generalized theorems