Bulletin of Symbolic Logic 14 (3):281-298 (2008)
|Abstract||This brief article is intended to introduce the reader to the field of algebraic set theory, in which models of set theory of a new and fascinating kind are determined algebraically. The method is quite robust, applying to various classical, intuitionistic, and constructive set theories. Under this scheme some familiar set theoretic properties are related to algebraic ones, while others result from logical constraints. Conventional elementary set theories are complete with respect to algebraic models, which arise in a variety of ways, including topologically, type-theoretically, and through variation. Many previous results from topos theory involving realizability, permutation, and sheaf models of set theory are subsumed, and the prospects for further such unification seem bright.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Josep Maria Font, Ramon Jansana & Don Pigozzi (2006). On the Closure Properties of the Class of Full G-Models of a Deductive System. Studia Logica 83 (1-3):215 - 278.
Nobu-Yuki Suzuki (1999). Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics. Studia Logica 63 (3):387-416.
Colin McLarty (1990). The Uses and Abuses of the History of Topos Theory. British Journal for the Philosophy of Science 41 (3):351-375.
Andrzej Nowik & Tomasz Weiss (2002). On the Ramseyan Properties of Some Special Subsets of 2ω and Their Algebraic Sums. Journal of Symbolic Logic 67 (2):547-556.
Claire Kouwenhoven-Gentil & Jaap van Oosten (2005). Algebraic Set Theory and the Effective Topos. Journal of Symbolic Logic 70 (3):879 - 890.
Steve Awodey, Carsten Butz & Alex Simpson (2007). Relating First-Order Set Theories and Elementary Toposes. The Bulletin of Symbolic Logic 13 (3):340 - 358.
S. Awodey, N. Gambino & M. A. Warren (2009). Lawvere—Tierney Sheaves in Algebraic Set Theory. Journal of Symbolic Logic 74 (3):861-890.
Added to index2009-02-05
Total downloads33 ( #36,559 of 549,074 )
Recent downloads (6 months)2 ( #37,333 of 549,074 )
How can I increase my downloads?