Fraïssé's construction from a topos-theoretic perspective

DOI10.1007/s11787-014-0104-6zbMath1335.03073arXiv0805.2778OpenAlexW2053938049MaRDI QIDQ2254565

Olivia Caramello

Publication date: 5 February 2015

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0805.2778

zbMATH Keywords

countably categorical theoryhomogeneous modeluniversal objectatomic toposFraïssé's construction

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categoricity and completeness of theories (03C35)

Related Items (15)

Topological Galois theory ⋮ On the geometric theory of local MV-algebras ⋮ Katětov functors ⋮ LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE ⋮ The Unification of Mathematics via Topos Theory ⋮ Some aspects of topological Galois theory ⋮ On limits of betweenness relations ⋮ Ultrahomogeneous tensor spaces ⋮ Weak Fraisse categories ⋮ Sites whose topoi are the smooth representations of locally prodiscrete monoids ⋮ AMALGAMABLE DIAGRAM SHAPES ⋮ For a Continued Revival of the Philosophy of Mathematics ⋮ Cyclic theories ⋮ Grothendieck toposes as unifying `bridges': a mathematical morphogenesis ⋮ Maximal ideals in countable rings, constructively

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new strongly minimal set
• Atomic toposes and countable categoricity
• De Morgan classifying toposes
• De Morgan's law and the theory of fields
• The theory of the exponential differential equations of semiabelian varieties
• Injective objects and retracts of Fraïssé limits
• A survey of homogeneous structures
• Topological Galois theory
• Lattices of theories
• Yoneda representations of flat functors and classifying toposes
• Colimit completions and the effective topos
• Universal relational systems
• Projective Fraïssé limits and the pseudo-arc
• Universal domains and the amalgamation property
• Theories of presheaf type
• When is Flatness Coherent?
• Homogeneous Universal Relational Systems.

This page was built for publication: Fraïssé's construction from a topos-theoretic perspective