The Development of Categorical Logic

Abstract

5.5. Every topos is linguistic: the equivalence theorem.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

A globalisation of the Gelfand duality theorem.Bernhard Banaschewski & Christopher J. Mulvey - 2006 - Annals of Pure and Applied Logic 137 (1-3):62-103.
A Categorical Equivalence for Product Algebras.Franco Montagna & Sara Ugolini - 2015 - Studia Logica 103 (2):345-373.
Classifying toposes for first-order theories.Carsten Butz & Peter Johnstone - 1998 - Annals of Pure and Applied Logic 91 (1):33-58.
Some results on ordered structures in toposes.Luís Sbardellini & Marcelo Coniglio - 2006 - Reports on Mathematical Logic:181-198.
On the Fatal Mistake Made by John S. Bell in the Proof of His Famous Theorem.Joy Christian - unknown
Testing Definitional Equivalence of Theories Via Automorphism Groups.Hajnal Andréka, Judit Madarász, István Németi & Gergely Székely - 2024 - Review of Symbolic Logic 17 (4):1097-1118.
Uncountable theories that are categorical in a higher power.Michael Chris Laskowski - 1988 - Journal of Symbolic Logic 53 (2):512-530.
Implication Systems For Many-dimensional Logics.Alexej Pynko - 1999 - Reports on Mathematical Logic:11-27.
A theorem on ROD-hypersmooth equivalence relations in the Solovay model.M. Reeken & V. Kanovei - 2003 - Mathematical Logic Quarterly 49 (3):299.

Analytics

Added to PP
2010-12-22

Downloads
27 (#822,464)

6 months
27 (#121,656)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John L. Bell
University of Western Ontario

Citations of this work

Studies in logical theory.John Dewey - 1903 - New York: AMS Press.
Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.
A comparison between monoidal and substructural logics.Clayton Peterson - 2016 - Journal of Applied Non-Classical Logics 26 (2):126-159.
Axiomatic Method and Category Theory.Rodin Andrei - 2013 - Cham: Imprint: Springer.
A New–old Characterisation of Logical Knowledge.Ivor Grattan-Guinness - 2012 - History and Philosophy of Logic 33 (3):245 - 290.

View all 9 citations / Add more citations

References found in this work

Set theory and the continuum hypothesis.Paul J. Cohen - 1966 - New York,: W. A. Benjamin.
Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
General Theory of Natural Equivalences.Saunders MacLane & Samuel Eilenberg - 1945 - Transactions of the American Mathematical Society:231-294.
Set Theory and the Continuum Hypothesis.Kenneth Kunen - 1966 - Journal of Symbolic Logic 35 (4):591-592.

View all 44 references / Add more references