Completions and co-products of Heyting algebras

DOI10.21099/TKBJM/1496159401zbMath0492.03020OpenAlexW1567059530MaRDI QIDQ1167717

Katsuya Eda

Publication date: 1981

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21099/tkbjm/1496159401

zbMATH Keywords

Heyting algebrascompactnessprime idealsStone spacebounded distributive latticesforcing extensionscanonical completionintuitionistic methods

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Intuitionistic mathematics (03F55) Other aspects of forcing and Boolean-valued models (03E40)

This page was built for publication: Completions and co-products of Heyting algebras