- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Relativized Grothendieck topoi
Annals of Pure and Applied Logic 161 (10):1299-1312 (2010)
Abstract
In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi relativizes to all models of set theory with choiceMy notes
Similar books and articles
A characterization theorem for geometric logic.Olivia Caramello - 2011 - Annals of Pure and Applied Logic 162 (4):318-321.
Combinatorics with definable sets: Euler characteristics and grothendieck rings.Jan Krajíček & Thomas Scanlon - 2000 - Bulletin of Symbolic Logic 6 (3):311-330.
Combinatorics with definable sets: Euler characteristics and Grothendieck rings.Jan Krají Cek & Thomas Scanlon - 2000 - Bulletin of Symbolic Logic 6 (3):311-330.
Classifying toposes for first-order theories.Carsten Butz & Peter Johnstone - 1998 - Annals of Pure and Applied Logic 91 (1):33-58.
Quantum Event Structures from the Perspective of Grothendieck Topoi.Elias Zafiris - 2004 - Foundations of Physics 34 (7):1063-1090.
Grothendieck rings of theories of modules.Amit Kuber - 2015 - Annals of Pure and Applied Logic 166 (3):369-407.
Complete topoi representing models of set theory.Andreas Blass & Andre Scedrov - 1992 - Annals of Pure and Applied Logic 57 (1):1-26.
Syntax and Semantics of the Logic.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.
Logic in Topoi: Functorial Semantics for High-Order Logic.Steven M. Awodey - 1997 - Dissertation, The University of Chicago
Analytics
Added to PP
2013-12-18
Downloads
109 (#48,191)
6 months
15 (#941,355)
2013-12-18
Downloads
109 (#48,191)
6 months
15 (#941,355)
Historical graph of downloads
Citations of this work
On Transferring Model Theoretic Theorems of $${\mathcal{L}_{{\infty},\omega}}$$ L ∞, ω in the Category of Sets to a Fixed Grothendieck Topos.Nathanael Leedom Ackerman - 2014 - Logica Universalis 8 (3-4):345-391.
Encoding Complete Metric Structures by Classical Structures.Nathanael Leedom Ackerman - 2020 - Logica Universalis 14 (4):421-459.
References found in this work
Admissible sets and structures: an approach to definability theory.Jon Barwise - 1975 - New York: Springer Verlag.
Relating First-Order Set Theories and Elementary Toposes.Steve Awodey & Thomas Streicher - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
Relating first-order set theories and elementary toposes.Steve Awodey, Carsten Butz & Alex Simpson - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-6mvtb uwo