[logic-ml] Kobe Colloquium on Logic, Statistics and Informatics June 28, 2012

[Joerg Brendle]

Kobe Colloquium on Logic, Statistics and Informatics

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

日時：2012年6月28日（木）15:10-16:40
場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）
講演者：Paul Larson (Miami University, Oxford, Ohio)

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

題目：Models of size aleph_1 in abstract elementary classes

アブストラクト：
We will present some applications of set theoretic techniques to the study
of models of
cardinality aleph_1 in various abstract elementary classes. The impetus for
this work was the still-open
question of absoluteness of aleph_1-categoricity for the class of models of
a fixed sentence of L_{omega_1, omega}.
Most of our results apply to the class of analytically presented AEC's,
those whose restriction to countable models is analytic.
These classes have been studied for many years under various names. Time
permitting, connections with Vaught's
Conjecture will also be discussed. This is joint work with Baldwin and
Shelah.

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

交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」
行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ．
http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

連絡先：ブレンドレ ヨーグ  brendle at kurt.scitec.kobe-u.ac.jp
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.sato.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20120625/3033073c/attachment.htm>