神戸大学システム情報学研究科の渕野 昌です．

2010年12月29日（月）に，

Kobe Colloquium on Logic, Statistics and Informatics

の第4回の講演会として，神戸を通過される Sy-David Friedman 先生の講演を以下のように，予定しております．

講演者： Professor Dr. Sy-David Firedman (Kurt Goedel Research Center, 　　　　　University of Vienna) 講演日時： 2010年12月29日（月）17:10 〜 講演場所： 神戸大学 自然科学総合研究棟３号館４階４２１号室 　　　　　 (渕野グループ プレゼンテーション室) 講演題目： Cardinal Characteristics and Definability

Abstract:

In this talk I'll discuss ways of mixing coding techniques with both countable and finite support iteration methods to obtain results about cardinal characteristics and maximal almost disjoint families in the presence of a projective wellorder. This is joint work with Fischer and Zdomskyy. Then I'll apply these methods in a large cardinal setting to obtain a definable failure of the Singular Cardinal Hypothesis (joint work with Honzik).