Talks

Introductory lecture summary: 1. Finite dimensional hilbert spaces and (complemented) modular lattices; infinite-dimensional hilbert spaces and orthomodularity. 2. von Neumann's QL; von Neumann-Birkhoff (briefly!); reconstruction of QM from P(H) 3. Mackey's programme; some early axiomatics (e.g., Zierler); QLs as OMPs + order-determining sets of states 4. Piron's Theorem; some discussion of Piron's axioms 5. Keller's examples (maybe just a mention, though I'd like to indicate how they come up); Soler's theorem (just the statement) 6. Abstract OMLs; Greechie Diagrams and the Loop Lemma; brief mention of Harding's results on decompositions 7. Tensor products (the F-R example, showing OMLs not stable under tensor products); orthoalgebras. 8. Orthoalgebras from test spaces