AL（Algorithm & Logic）セミナー

　　　　　　　　　　　第 107回 ALセミナーのお知らせ

JAIST ではロジックを中心に情報科学の理論的な分野の話題をテーマにして
ALセミナーを開催しています。興味をおもちの方はどなたでもフラリと気楽
におたちより下さい。

今回のセミナーは JAIST 情報科学研究科 COE Project: Verifiable and
Evolvable e-Society および JAIST 研究プロジェクト LCCC (Logic for Cognition,
Computation and Communication) の一環として開催されます。

********************************************************************

日時： 　2月28日（月）(28 February) 15:30 -- 16:30

場所： 情報科学研究科 III 棟 5 階 コラボ 6
School of Information Science, 3rd bldg. 5th floor Collab. Room 6

-------------------------------------------------------

講演題目： Continuous Fraissé Conjecture

話題提供者： Norbert Preining (University of Siena)

概要：We will investigate the relation of countable closed linear orderings
with respect to continuous monotone embeddability and will show that there
are exactly $\alpha_1$ many equivalence classes with respect to this
embeddability relation. This is an extension of Laver's result, who considered
(plain) embeddabilitym which yields coarser equivalence classes. Using this
result we show that there are only $\alpha_0$ many different Gödel logics.

===========================================================
今回の世話人： 小野寛晰
===========================================================

AL セミナーに関する一般的なお問い合わせは以下にどうぞ。

〒923-1292 石川県 辰口町 旭台 1-1　北陸先端科学技術大学院大学（JAIST）

下嶋 篤 (ashimoji@jaist.ac.jp)
東条 敏 (tojo@jaist.ac.jp)
小野 寛晰 (ono@jaist.ac.jp)