Scattered toposes (Q1977486): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Leo Esakia / rank | |||
Property / author | |||
Property / author: Mamuka Jibladze / rank | |||
Property / reviewed by | |||
Property / reviewed by: Q805731 / rank | |||
Property / author | |||
Property / author: Leo Esakia / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Mamuka Jibladze / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Peter T. Johnstone / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3801546 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Choice and well-ordering / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intuitionism. An introduction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3889051 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4260331 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intuitionistische Untersuchungen der formalistischen Logik / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On superintuitionistic logics as fragments of proof logic extensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheaves in geometry and logic: a first introduction to topos theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3958510 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 16:04, 29 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Scattered toposes |
scientific article |
Statements
Scattered toposes (English)
0 references
28 May 2001
0 references
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.
0 references
internal logic
0 references
Kuroda's principle
0 references
Löb's principle
0 references
fixed point theorem
0 references