Grothendieck Topology as Geometric Modality

Mathematical Logic Quarterly 27 (31-35):495-529 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19810273104

Links

PhilArchive



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

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

Grothendieck Topology as Geometric Modality.Robert I. Goldblatt - 1981 - Mathematical Logic Quarterly 27 (31‐35):495-529.
A characterization theorem for geometric logic.Olivia Caramello - 2011 - Annals of Pure and Applied Logic 162 (4):318-321.
Quantum Event Structures from the Perspective of Grothendieck Topoi.Elias Zafiris - 2004 - Foundations of Physics 34 (7):1063-1090.
On the notions of indiscernibility and indeterminacy in the light of the Galois–Grothendieck theory.Gabriel Catren & Julien Page - 2014 - Synthese 191 (18):4377-4408.
Whole and part in mathematics.John L. Bell - 2004 - Axiomathes 14 (4):285-294.
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.
Relativized Grothendieck topoi.Nathanael Leedom Ackerman - 2010 - Annals of Pure and Applied Logic 161 (10):1299-1312.
Syntax and Semantics of the Logic.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.
Grothendieck and the transformation of algebraic geometry: Leila Schneps : Alexandre Grothendieck: A mathematical portrait. Somerville, MA: International Press, 2014, vii+316pp, $63.24 HB.Jeremy Gray - 2014 - Metascience 24 (1):135-140.
Syntax and Semantics of the Logic $\mathcal{L}^\lambda_{\omega\omega}$.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.
Mathematics of Modality.Robert Goldblatt - 1993 - Center for the Study of Language and Information Publications.
On the notion of indiscernibility in the light of Galois-Grothendieck Theory.Gabriel Catren & Julien Page - unknown
The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.

Analytics

Added to PP
2015-12-02

Downloads
35 (#445,257)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Varieties of complex algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
Admissible rules for six intuitionistic modal logics.Iris van der Giessen - 2023 - Annals of Pure and Applied Logic 174 (4):103233.

View all 11 citations / Add more citations

References found in this work

An Introduction to Modal Logic.E. J. Lemmon, Dana Scott & Krister Segerberg - 1979 - Journal of Symbolic Logic 44 (4):653-654.
MIPC as the formalisation of an intuitionist concept of modality.R. A. Bull - 1966 - Journal of Symbolic Logic 31 (4):609-616.
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.

Add more references