[logic-ml] Talk by Prof. Sy-David Friedman on Nov.29

[Sakae Fuchino]

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

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).

-- 
best regards                                    Saka\'e Fuchino (渕野 昌)
-------------------------------------------------------------------------
Kobe University 
Graduate School of System Informatics 
Rokko-dai 1-1, Nada, Kobe 657-8501

                   e-mail: fuchino at diamond.kobe-u.ac.jp 
                   web page: http://kurt.scitec.kobe-u.ac.jp/~fuchino/
-------------------------------------------------------------------------