Fraisse's construction from a topos-theoretic perspective

Date
Authors
Caramello, Olivia
Journal Title
Journal ISSN
Volume Title
Publisher
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.
Comment: 17 pages; new version with generalized theorems
Keywords
Mathematics - Category Theory, Mathematics - Logic, 03G30, 03C35, 18C10, 18B25
Citation
Collections