Scattered toposes

DOI10.1016/S0168-0072(99)00035-4MaRDI QIDQ1977486zbMATH OpenOpenAlexFDO

Authors D. Pataraia, Leo Esakia, M. Jibladze

Publication date 28 May 2001

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0168-0072(99)00035-4

zbMATH Keywords

fixed point theoreminternal logicKuroda's principle[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=L%EF%BF%BD%EF%BF%BDb%27s+principle&go=Go L��b's principle]

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Scattered spaces (54G12)

Recommendations

• scientific article; zbMATH DE number 3993822
• scientific article; zbMATH DE number 1180209
• On modal logics arising from scattered locally compact Hausdorff spaces
• On an aspect of scatteredness in the point-free setting
• Categories of topological spaces and scattered theories

Cites work

• 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?)
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Choice and well-ordering
• 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

Cited in

(6)

• Foreword to the special issue dedicated to the memory of Leo Esakia
• Intuitionistic logic and modality via topology
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• Conservative expansions of substructural logics
• Constructive modalities with provability smack
• On infinite variants of De Morgan law in locale theory

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)