Fraïssé's construction from a topos-theoretic perspective
From MaRDI portal
Publication:2254565
DOI10.1007/s11787-014-0104-6zbMath1335.03073arXiv0805.2778OpenAlexW2053938049MaRDI QIDQ2254565
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
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