Scattered toposes

DOI10.1016/S0168-0072(99)00035-4zbMath0961.03062OpenAlexW4212818683MaRDI QIDQ1977486

D. Pataraia, Mamuka Jibladze, Leo Esakia

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 principleLöb's principle

Mathematics Subject Classification ID

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

Related Items

Intuitionistic logic and modality via topology ⋮ On infinite variants of De Morgan law in locale theory ⋮ Conservative expansions of substructural logics ⋮ Foreword to the special issue dedicated to the memory of Leo Esakia ⋮ The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ ⋮ Constructive Modalities with Provability Smack

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Choice and well-ordering
• Intuitionism. An introduction
• On superintuitionistic logics as fragments of proof logic extensions
• Sheaves in geometry and logic: a first introduction to topos theory
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Intuitionistische Untersuchungen der formalistischen Logik