All seminars will be held in the Informatics Forum (IF), 10 Crichton Street, Edinburgh.
Although these seminars are open to all, space is limited. Please contact Alex.Simpson@ed.ac.uk if you plan to attend. First come first served.
Constructions of complete Boolean algebras. Boolean-valued completeness for first-order logic. Modeling Lewis S4 modal logic. Connections with intuitionistic logic.
The Lebesgue measure algebra. Finding the modal structure. Proof of the 0-1 Law for measure-preserving automorphisms. Semantics for higher-order logic. Boolean-valued real numbers.
Defining a Boolean-valued Modal Set Theory. Derivation of first principles involving modality. Introduction of random elements and their properties. Some discussion of probabilistic logic.