Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces
Heyting algebra of ideals of atomless Boolean algebra
scientific article; zbMATH DE number 3827951