Scattered toposes

Annals of Pure and Applied Logic 103 (1-3):97-107 (2000)
  Copy   BIBTEX

Abstract

A class of toposes is introduced and studied, suitable for semantical analysis of an extension of the Heyting predicate calculus admitting Gödel's provability interpretation

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,369

External links

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

Through your library

Analytics

Added to PP
2014-01-16

Downloads
16 (#912,482)

6 months
3 (#984,212)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intuitionistic logic and modality via topology.Leo Esakia - 2004 - Annals of Pure and Applied Logic 127 (1-3):155-170.
Foreword.Daniele Mundici - 1998 - Studia Logica 61 (1):1-1.

Add more citations

References found in this work

Choice and well-ordering.Peter Freyd - 1987 - Annals of Pure and Applied Logic 35 (C):149-166.

Add more references