scientific article; zbMATH DE number 1823882
The author gives a precise specification of the Birkhoff-Frink representation of lattices (see \textit{G. Birkhoff} and \textit{O. Frink} [Trans. Am. Math. Soc. 64, 299-316 (1948; Zbl 0032.00504)]). By this representation every lattice is isomorphic to a lattice whose elements are sets of sets whose meet operation is defined as intersection and whose join operation \(\vee^*\) is defined as \[ A\vee^*B=A\cup B\cup\{Z:(\exists X\in A)(\exists Y\in B)X\cap Y\subset Z\}. \] This is the specification of the Birkhoff-Frink representation given by the author, and it corresponds to the semantic clause for disjunction introduced previously by the author [Stud. Logica 48, 41-65 (1989; Zbl 0688.03012)]. It also enables one to connect this representation with Stone's representation theory for distributive lattices. For the entire collection see [Zbl 0977.00051].
- Representations of Lattices by Sets
- A remark on complete lattices represented by sets
- On a representation of lattices
- On the representation of the lattices of the algebraic sets of the universal algebras
- On representation of lattices by lattices of semigroups
- Set-theoretic reducibilities with respect to a lattice of sets
- On representation of finite lattices
- scientific article; zbMATH DE number 3859188
- On a representation of distributive lattices
- A representation theorem for certain Boolean lattices
- A description of the segment \([1,T]\), where \(T\) is the meeting number of a set-lattice
- On set-representable orthocomplemented difference lattices
- A review of some of Bjarni Jónsson's results on representation of Arguesian lattices
- A normal form for arithmetical representation of \({\mathcal N}{\mathcal P}\)-sets
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3153291)
