Dominika Burešová presents Generation and Local Finiteness in Orthomodular Lattices
On 2026-06-04 - 2026-06-04 11:00:00 at E112, Karlovo náměstí 13, Praha 2
How complicated can a structure generated by a few elements be? In familiar
settings such as Boolean algebras, the answer is clear: finite sets generate
finite substructures, and the way of generating is well understood. However,
once we move to orthomodular lattices—structures arising naturally as quantum
logic—the situation changes considerably.
settings such as Boolean algebras, the answer is clear: finite sets generate
finite substructures, and the way of generating is well understood. However,
once we move to orthomodular lattices—structures arising naturally as quantum
logic—the situation changes considerably.