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

@article{Caramello2014FrasssCF,
  title={Fra{\"i}ss{\'e}’s Construction from a Topos-Theoretic Perspective},
  author={Olivia Caramello},
  journal={Logica Universalis},
  year={2014},
  volume={8},
  pages={261-281}
}
  • Olivia Caramello
  • Published 2014
  • Mathematics, Computer Science
  • Logica Universalis
  • 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. 
    13 Citations

    Topics from this paper.

    Atomic Toposes and Countable Categoricity
    • 9
    • PDF
    Topological Galois Theory
    • 15
    • PDF
    Some aspects of topological Galois theory
    Topologies for intermediate logics
    • 2
    • PDF
    Motivic toposes
    Site characterizations for geometric invariants of toposes
    • 2
    • PDF
    Shapely monads and analytic functors
    • 8
    • PDF
    Amalgamable Diagram Shapes
    • R. Chen
    • Computer Science, Mathematics
    • J. Symb. Log.
    • 2019

    References

    SHOWING 1-10 OF 37 REFERENCES
    Atomic Toposes and Countable Categoricity
    • 9
    • PDF
    Sketches of an Elephant: A Topos Theory Compendium Volume 1
    • 716
    Topological Galois Theory
    • 15
    • PDF
    First order categorical logic
    • 217
    The unification of Mathematics via Topos Theory
    • 35
    • PDF
    A New Strongly Minimal Set
    • E. Hrushovski
    • Mathematics, Computer Science
    • Ann. Pure Appl. Log.
    • 1993
    • 240
    When is Flatness Coherent?
    • 8
    • PDF
    Injective objects and retracts of Fraïssé limits
    • 6
    • PDF