World Logic Day Workshop 2026

Title:  Cardinal Invariants and Advances in Forcing Theory

Abstract: Cardinal invariants of the continuum describe the combinatorial structure of the reals and are usually defined as the smallest size of a set of reals with some combinatorial property. Problems about the order relationship between cardinal invariants have spurred the development of new forcing techniques for obtaining models in which various cardinal invariants simultaneously attain distinct values. We will present an overview of recent independence results of this type with a focus on several forcing methods used to achieve them.

Date and time: 16:00-16:50(Astana time), 14.01.2026

Title: Descriptive Set Theory as a Complexity Theory 

Abstract: I will give a survey of the descriptive set-theoretic framework that is used to measure the relative complexity of classification problems in mathematics. 

Date and time: 17:00-17:50(Astana time), 14.01.2026

Title: Ultrafilters and Ramsey theory

Abstract: The talk will survey the role played by ultrafilters in aspects of Ramsey theory. The focus will be on consistency and independence results. Several open questions will be surveyed.

Date and time: 18:30-19:20 (Astana time), 14.01.2026