Journal of Symbolic Logic 74 (3):861-890 (2009)
|Abstract||We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Gábor Sági (2000). A Completeness Theorem for Higher Order Logics. Journal of Symbolic Logic 65 (2):857-884.
Silvio Ghilardi & Marek Zawadowski (1995). A Sheaf Representation and Duality for Finitely Presented Heyting Algebras. Journal of Symbolic Logic 60 (3):911-939.
Piero Pagliani, Intrinsic Co-Heyting Boundaries and Information Incompleteness in Rough Set Analysis.
Mike Prest, Vera Puninskaya & Alexandra Ralph (2004). Some Model Theory of Sheaves of Modules. Journal of Symbolic Logic 69 (4):1187 - 1199.
Steve Awodey, Henrik Forssell & Michael A. Warren, Algebraic Models of Sets and Classes in Categories of Ideals.
Claire Kouwenhoven-Gentil & Jaap van Oosten (2005). Algebraic Set Theory and the Effective Topos. Journal of Symbolic Logic 70 (3):879 - 890.
Steve Awodey (2008). A Brief Introduction to Algebraic Set Theory. Bulletin of Symbolic Logic 14 (3):281-298.
Colin McLarty (1990). The Uses and Abuses of the History of Topos Theory. British Journal for the Philosophy of Science 41 (3):351-375.
Added to index2009-04-15
Total downloads10 ( #106,196 of 549,037 )
Recent downloads (6 months)4 ( #19,160 of 549,037 )
How can I increase my downloads?