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

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(99)00035-4

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

The Skolem-löwenheim theorem in toposes. II.Marek Zawadowski - 1985 - Studia Logica 44 (1):25 - 38.
The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.
Elementary Axioms for Local Maps of Toposes.Steve Awodey & Lars Birkedal - unknown
Local Realizability Toposes and a Modal Logic for Computability.Steve Awodey, Lars Birkedal & Dana Scott - unknown
Diana Described: Scattered Woman and Scattered Rhyme.Nancy J. Vickers - 1981 - Critical Inquiry 8 (2):265-279.
Relating first-order set theories and elementary toposes.Steve Awodey, Carsten Butz & Alex Simpson - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
Scattered Exemplification and Many-Place Copulas.Ingvar Johansson - 2013 - Axiomathes 23 (2):235-246.
Toposes in logic and logic in toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.
On poset Boolean algebras of scattered posets with finite width.Robert Bonnet & Matatyahu Rubin - 2004 - Archive for Mathematical Logic 43 (4):467-476.
A consistency result on cardinal sequences of scattered Boolean spaces.Juan C. Martínez - 2005 - Mathematical Logic Quarterly 51 (6):586-590.
The Skolem-löwenheim theorem in toposes.Marek Zawadowski - 1983 - Studia Logica 42 (4):461 - 475.
Syntax and Semantics of the Logic.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.

Analytics

Added to PP
2014-01-16

Downloads
14 (#968,362)

6 months
1 (#1,516,429)

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