[logic-ml] Kobe Colloquium on Logic, Statistics and Informatics, June 25 (Paul Larson)

[Joerg Brendle]

Kobe Colloquium on Logic, Statistics and Informatics

以下の要領でコロキウムを開催します。

日時：2013年6月25日（火）13:20-14:50
講演者：Paul Larson (Miami University, Oxford, Ohio)
場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）

============================================================

題目： Fragments of MM(c^+) in Pmax extensions

アブストラクト：
Hugh Woodin invented the forcing construction Pmax in the early 1990's,
and proved that MM(c), the restriction of Martin's Maximum to partial
orders
of cardinality the continuum, holds in the Pmax extension of a model of
AD_R
+ ``Theta is regular". We will survey some recent work (with Caicedo,
Sargsyan,
Schindler, Steel and Zeman) on getting fragments of MM(c^+) to hold in Pmax
extensions of models of stronger forms of determinacy.
Of particular interest are various principles asserting the nonexistence of
square
sequences of length omega_3.

============================================================

交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」
行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ．
http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20130611/f019cc1f/attachment.html>