|Monday 6 December 2021|
|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 ...