IPM Calendar 
Monday 6 December 2021   Today  
Events for day: Sunday 24 October 2021    
           10:00 - 13:00     ILSF Technical Groups Weekly Meeting

ILSF Technical Groups Weekly Meeting

           15:30 - 17:30     Mathematical Logic Weekly Seminar
Semantics of Boolean-valued Models and their Connection and Application to the Standard Model of Set Theory


This talk has two parts. In the first part, we will explore some basic aspects of the semantics in Boolean-valued models using tools developed in conditional set theory. The focus will be on Boolean-valued models built from measure algebras. We will describe some basic definitions and theorems in the naive set theory, topology, measure theory, and functional analysis in such models and show with a few examples how such Boolean-valued theorems can be proved from first things and by hand using Boolean reasoning and the exhaustion principle (and without employing a transfer principle). In the second part of the talk, we will interpret some of ...