Fraïssé’s Construction from a Topos-Theoretic Perspective

Fraïssé’s Construction from a Topos-Theoretic Perspective

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.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Logica universalis 2014-06, Vol.8 (2), p.261-281
1. Verfasser: Caramello, Olivia
Format: Artikel
Sprache:eng
Schlagworte:
Computer Science
Logic
Mathematics
Mathematics and Statistics
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:1661-8297
1661-8300
DOI:10.1007/s11787-014-0104-6