ＩＳＳＮ1880−2818
数理解析研究所講究録 1602
ＲＩＭＳ共同研究
モデル理論の手法による 無限構造の構成法
京都大学数理解析研究所
2008 年 6 月
RIMS K6kyOroku 1602
Model theoretic techniques for constructing infinite structures
7tzne, 2008
Research instztute for Mathematzcal Sciences
K)2oto Ujpziversity, Kyoto, ,7iipan
This is a report of research done at Research Institute fbr Mathematical Sciences, Kyoto Umversity The papers contamed herem are m final fbrm
and will not be submitted for publication elsewhere
モデル理論の手法による無限構造の構成法 Ｍｏｄｅｌ ｔｈｅｏｒｅｔｉｃ ｔｅｃｈｎｉｑｕｅｓ ｆｏｒ ｃｏｎｓｔｒｕｃｔｍｇ ｍｆｉｎｒｔｅ ｓｔｒｕｃｔｕｒｅｓ
ＲＩＭＳ共同研究報告集
2007年10月29日〜11月1日
研究代表者 他田 宏一郎（Ｋｏｌｃｈｌｒｏ Ｉｋｅｄａ）
目 次
1コンパクト底空間をもったデファイナブルＧファイバ・一一一.ｓ東一一・一一一一・・一ｔ一一一一一・一一一一一一一一一一1
和歌山大・教育（Ｗａｋａｙａｍａ Ｕ） 川上 智博（Ｔｏｍｏｈｌｒｏ Ｋａｗａｋａｍ
1）2
弱順序極小構造とｄｅｆｉｎａｂｌｙ ｃｏｎｎｅｃｔｅｄについて 一・一一一一一一一一一一一一一一一一・一
6阿南工業高専（Ａｎａｎ Ｎａｔ Ｃｏｌｌ Ｔｅｃｈ） 田中 広志（Ｈｉｒｏｓｈｉ Ｔａｎａｋａ）
3Ｎｏｎｓｔａｎｄａｒｄ ａｒｇｕｍｅｎｔｓ ａｎｄ ｔｈｅ ｓｔａｂｉｈｔｙ ｏｆ ｇｅｎｅｎｃ ｓｒｍｃｔｕｒｅｓ 一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一10
筑波大・数理物質科学（ＵＴｓｕ
kmｂａ） 安保 勇希（Ｙｕｋｌ Ａｎｂｏ）
4Ａ Ｔｈｅｏｒｙ ｏｆ Ｓｕｐｅｒｓｔｒｕｃｔｕｒｅｓ 一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一17
法政大・教養教育センタＭ一一一ｉ（Ｈｏｓｅｉ Ｕ） 村上 雅彦（Ｍａｓａｈｌｋｏ Ｍｕｒａｋａｍ
1）
5Ａ ｎｏｔｅ ｏｎ ｍｄｅｐｅｎｄｅｎｃｅ ｍ ｇｅｎｅｎｃ ｓｔｒｕｃｔｕｒｅｓ 一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一22法政大・経営（Ｈｏｓｅｌ Ｕ） 他田 宏一郎（Ｋｏｌｃｈｌｒｏ Ｉｋｅｄａ）
6Ａ ＳＨＯＲＴ ＰＲＯＯＦ ＯＦ ＮＵＢＬＩＮＧ Ｓ ＲＥＳＵＬＴ 一一一 ｎ一 一 一 一一一 ・ ｅ 一 一 ｅ ・・ 一ｉｎ一一一・一一一・一一一26
東海大・理（Ｔｏｋａｌ Ｕ） 米田 郁生（ｌｋＵｏ Ｙｏｎｅｄａ）
7ｌｎｄｅｐｅｎｄｅｎｃｅ ｍ ｇｅｎｅｎｃ ｓｔｒｕｃｔｕｒｅｓ 一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一33
筑波大・数理物質科学（ＵＴｓｕｋｕｂａ） 坪井 明人（Ａｋｌｔｏ Ｔｓｕｂｏ
1）
8
ＵＮＤＥＣＩＤＡＢＬＥ ＩＮＦＩＮＩＴＥ ＴＯＴＡＬＬＹ ＲＥＡＬ ＥＸＴＥＮＳＩＯＮＳ ＯＦ （（ｌｌ） 一ｅｄ ｈ 一 ｅ
37鹿児島国際大・国際文化（Ｉｎｔｅｍａｔ Ｕ Ｋａｇｏｓｈｌｍａ）
福崎 賢治（ＫｅｎＪｉ Ｆｕｋｕｚａｋｉ）
9解析的ザリスキー構造とＣｈｏｗの定理一一一一一一一一ｅ一一一。一一一一一一ｅｂ一一一一一一一一一一一一.64
東海大・理（Ｔｏｋａｌ Ｕ） 板井 昌典（Ｍａｓａｎｏｎ Ｉｔａ
1）10体を解釈するＭｏｒｌｅｙランク2の群一一一…一一・・一一一・ｎ一・一一一一一一一一一・・一一一…一一一一一一一一・・一一一一一.70
岡山大・理（Ｏｋａｙａｍａ Ｕ） 田中 克己（Ｋａｔｓｕｍｌ Ｔａｎａｋａ）
11 0Ｎ ＲＡＮＤＯＭ ＫＲＩＰＫＥ ＦＲＡＭＥＳ 一一一一一＿＿.一一）一 .、.一..一.、一一一一ｅ一一一一一 一一一一一一一 .、一.一一一＿..一一一＿.一一一一フ4
法政大・経営（Ｈｏｓｅｌ Ｕ） 他田 宏一郎（Ｋｏｌｃｈｌｒｏ Ｉｋｅｄａ）
産業技術総合研究所（ＡＩＳＴ） 岡本 圭史（Ｋｅｌｓｈ
10ｋａｍｏｔｏ）
1 2 0ｎ ｇｅｎｅｒｌｃ Ｋｒｉｐｋｅ Ｓｔｒロｃｔｕｒｅｓ 一一一一一一一一一一一一一一一一一一一一一一一一一一・一一一一・・一一一一一一一。一一一一一一一一。一・・一・・一一・一一一一一一・・一一・ｐ一一一一一.85
法政大・経営（Ｈｏｓｅｌ Ｕ） 池田 宏一郎（Ｋｏｌｃｈｌｒｏ Ｉｋｅｄａ）
産業技術総合研究所（ＡＩＳＴ） 岡本 圭史（Ｋｅｌｓｈｌ Ｏｋａｍｏｔｏ）
1 3Ｓｏｍｅ ｒｅｍａｒｋ ｏｎ ｗｅａｋ ｄｉｖｉｄｍｇ 一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一90
早大・メディアネットワークセンター（Ｗａｓｅｄａ Ｕ）
前園 久智（Ｈｌｓａｔｏｍｏ Ｍａｅｓｏｎｏ）
1 4Ｏｎ ｔｈｅ Ａｍａｌｇａｍａｔｉｏｎ Ｐｒｏｐｅｒｔｙ ｆｏｒ Ａｕｔｏｍｏｒｐｈｉｓｍｓ 一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一93
