Download PDFOpen PDF in browserFunayama's theorem revisited5 pages•Published: July 28, 2014AbstractWe revisit proofs of Funayama's theorem and extend Graetzer's proof to the case of a not necessarily complete lattice.Keyphrases: free boolean extensions and macneille completions, join and meet infinite distributive laws, nuclei and booleanization In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 22-26.
|