We present a topos-theoretic interpretation of (a categorical generalization of) Fraïssé's construction in Model Theory, with applications to homogeneous models and countably categorical theories. © 2014 Springer Basel.
Fraïssé's Construction from a Topos-Theoretic Perspective
CARAMELLO, OLIVIA
2014-01-01
Abstract
We present a topos-theoretic interpretation of (a categorical generalization of) Fraïssé's construction in Model Theory, with applications to homogeneous models and countably categorical theories. © 2014 Springer Basel.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.