Download PDFOpen PDF in browser

Funayama's theorem revisited

5 pagesPublished: July 28, 2014

Abstract

We 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.

BibTeX entry
@inproceedings{TACL2013:Funayamas_theorem_revisited,
  author    = {Guram Bezhanishvili and David Gabelaia and Mamuka Jibladze},
  title     = {Funayama's theorem revisited},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/jCdM},
  doi       = {10.29007/q7bq},
  pages     = {22-26},
  year      = {2014}}
Download PDFOpen PDF in browser