Scattered toposes
A topos \(\mathbb X\) is said to be scattered if every Boolean subtopos of \(\mathbb X\) is locally closed (i.e., is an open subtopos of its closure). This is the natural generalization of the notion of `scattered space' from spaces to toposes; in the present paper, the authors show that it is equivalent to the validity in the internal logic of \(\mathbb X\) of a `relativized' version of Kuroda's principle, namely the formula \(\forall x[(p(x)\Rightarrow\forall y p(y))\Rightarrow\forall y p(y)]\Rightarrow\forall x p(x)\), and also to the validity of Löb's principle \([\forall\psi(\psi\vee(\psi\Rightarrow\phi)) \Rightarrow\phi]\Rightarrow\phi\). Some examples and applications are given, in particular an application to a fixed point theorem for `unchanging' maps.
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
- Choice and well-ordering
- scientific article; zbMATH DE number 4068863 (Why is no real title available?)
- scientific article; zbMATH DE number 3695180 (Why is no real title available?)
- scientific article; zbMATH DE number 3779393 (Why is no real title available?)
- scientific article; zbMATH DE number 1333339 (Why is no real title available?)
- Intuitionism. An introduction
- Intuitionistische Untersuchungen der formalistischen Logik
- On superintuitionistic logics as fragments of proof logic extensions
- Sheaves in geometry and logic: a first introduction to topos theory
- On infinite variants of De Morgan law in locale theory
- The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
- Foreword to the special issue dedicated to the memory of Leo Esakia
- Constructive modalities with provability smack
- Intuitionistic logic and modality via topology
- Conservative expansions of substructural logics
This page was built for publication: Scattered toposes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1977486)
