Continuous Truth II: Reflections

Michael P. Fourman

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In the late 1960s, Dana Scott first showed how the Stone-Tarski topological interpretation of Heyting’s calculus could be extended to model intuitionistic analysis; in particular Brouwer’s continuity principle. In the early ’80s we and others outlined a general treatment of non-constructive objects, using sheaf models—constructions from topos theory—to model not only Brouwer’s non-classical conclusions, but also his creation of “new mathematical entities”. These categorical models are intimately related to, but more general than Scott’s topological model.

The primary goal of this paper is to consider the question of iterated extensions. Can we derive new insights by repeating the second act?

In Continuous Truth I, presented at Logic Colloquium ’82 in Florence, we showed that general principles of continuity, local choice and local compactness hold in the gros topos of sheaves over the category of separable locales equipped with the open cover topology.

We touched on the question of iteration. Here we develop a more general analysis of iterated categorical extensions, that leads to a reflection schema for statements of predicative analysis.

We also take the opportunity to revisit some aspects of both Continuous Truth I and Formal Spaces (Fourman & Grayson 1982), and correct two long-standing errors therein.
Original languageEnglish
Title of host publicationLogic, Language, Information, and Computation
Subtitle of host publication20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
EditorsLeonid Libkin, Ulrich Kohlenbach, Ruy Queiroz
PublisherSpringer-Verlag GmbH
Pages153-167
Number of pages15
ISBN (Electronic)978-3-642-39992-3
ISBN (Print)978-3-642-39991-6
DOIs
Publication statusPublished - 2013

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume8071
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • sheaf model
  • logic
  • intuitionism
  • predicative
  • analysis
  • topos

Fingerprint

Dive into the research topics of 'Continuous Truth II: Reflections'. Together they form a unique fingerprint.

Cite this