RISC Forum
Heinrich Rolletschek: Lattice axioms
When |
May 25, 2009
from 01:30 PM to 02:00 PM |
---|---|
Where | RISC seminar room |
Attendees |
all@risc |
Add event to calendar |
vCal iCal |
Lattice axioms
Heinrich Rolletschek
Abstract
In contrast to groups and other structures, lattices are often characterized by redundant sets of axioms. In this talk we consider the question, which of the basic properties of lattices, distributive lattices and Boolean algebras are really needed as axioms.
Slides