Topos Theory in Montréal in the 1970s: My Personal Involvement

History and Philosophy of Logic 40 (4):389-402 (2019)
  Copy   BIBTEX

Abstract

Volume 40, Issue 4, November 2019, Page 389-402.

Categories

Keywords

Reprint years

DOI

10.1080/01445340.2018.1554471

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Classifying toposes for first-order theories.Carsten Butz & Peter Johnstone - 1998 - Annals of Pure and Applied Logic 91 (1):33-58.
Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity.C. J. Isham & J. Butterfield - 2000 - Foundations of Physics 30 (10):1707-1735.
What do Freyd’s Toposes Classify?Peter Johnstone - 2013 - Logica Universalis 7 (3):335-340.
Toposes in logic and logic in toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.
The Weak Choice Principle WISC may Fail in the Category of Sets.David Michael Roberts - 2015 - Studia Logica 103 (5):1005-1017.
Categories, toposes and sets.J. L. Bell - 1982 - Synthese 51 (3):293 - 337.
Philosophie et relations interpersonnelles: Rencontre de deux traditions. Publié sous la direction de Alan Montefiore. Montréal: Les Presses de l'Université de Montréal, 1973. 204 pages. - Philosophy and Personal Relations: An Anglo-French Study. Edited by Alan Montefiore. London: Routledge & Kegan Paul Ltd.; Montreal: McGill-Queen's University Press, 1973. Pp.228. $9.00. [REVIEW]G. G. - 1975 - Dialogue 14 (1):159-167.
Topos Theoretic Quantum Realism.Benjamin Eva - 2017 - British Journal for the Philosophy of Science 68 (4):1149-1181.
Ultrapowers as sheaves on a category of ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
Complete topoi representing models of set theory.Andreas Blass & Andre Scedrov - 1992 - Annals of Pure and Applied Logic 57 (1):1-26.
Modality and Contextuality in Topos Quantum Theory.Benjamin Eva - 2016 - Studia Logica 104 (6):1099-1118.
Intelligible Gunk.Dan Kurth - manuscript
Ultrasheaves and Double Negation.Jonas Eliasson & Steve Awodey - 2004 - Notre Dame Journal of Formal Logic 45 (4):235-245.
Ancient Persian Empire: Through Arsitotle Notions of Topos and Logos.Mostafa Younesie - manuscript
Double-slit Interference and Temporal Topos.Goro Kato & Tsunefumi Tanaka - 2006 - Foundations of Physics 36 (11):1681-1700.

Analytics

Added to PP
2019-02-02

Downloads
33 (#482,422)

6 months
6 (#510,793)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Adjointness in Foundations.F. William Lawvere - 1969 - Dialectica 23 (3‐4):281-296.
Functional Semantics of Algebraic Theories.F. William Lawvere - 1974 - Journal of Symbolic Logic 39 (2):340-341.
Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.
Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1986 - Journal of Symbolic Logic 51 (4):1076-1077.

View all 11 references / Add more references