| Sunday 5 May 2024 | |
| Events for day: Wednesday 17 November 2021 |
| 14:00 - 15:00 Combinatorics and Computing Weekly Seminar On the Multicolor Size Ramsey Number of Cycles School MATHEMATICS Meeting Link: https://us06web.zoom.us/j/86917547255 Meeting ID: 869 1754 7255 ... 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 School MATHEMATICS 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 ... 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 School MATHEMATICS 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 ... |