scientific article

zbMath0524.03055MaRDI QIDQ3037435

Willem Bastiaan Gijbertus Ruitenburg

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Galois connectionGalois theorylocal ringsKripke modelslinear algebraapartnesscoidealintuitionistic algebranatural number objectcogroupssheaf modelscategory of sheaves over a topological space

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items

Heyting valued considerations on some fundamental existence theorems in modern analysis, Pure Galois theory in categories, The Zariski spectrum as a formal geometry, A very weak Nullstellensatz over Heyting fields, Heyting valued set theory and Sato hyperfunctions, Global intuitionistic analysis, Formal Zariski topology: Positivity and points, Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice, Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness