ＩＳＳＮ1880−2818
数理解析研究所講究録 1646
ＲＩＭＳ共同研究
弱順序極小構造上での実代数幾何の研究
京都大学数理解析研究所
2009 年 4 月
RZMS K6I(yOroku Z646
A study ofreal aigebraic geometry
in weakly o-minimal structures
mpriL 2009
Research .bzstitute for Mathematical Sciences
1¡yoto Unzvei’sity, 1¡)2oto, lapan
This is a report of research done at the Research Institute fbr Mathematical Sciences, Kyoto University The papers contained herem are in final form and will not be submitted fbr publication elsewhere
弱順序極小構造上での実代数幾何の研究
Ａ ｓｔｕｄｙ ｏｆ ｒｅａｌ ａｌｇｅｂｒａｉｃ ｇｅｏｍｅｔｒｙ ｍ ｗｅａｋｌｙ ｏ−ｍｉｎｉｍａｌ ｓｔｒｕｃｔｕｒｅｓ ＲＩＭＳ共同研究報告集
2008年3月17日〜3月19日
研究代表者 田中 広志（Ｈｉｒｏｓｈｉ Ｔａｎａｋａ）
1
2
3
4
5
6
7
目 次
ＢＯＲＥＬ ＤＥＦＩＮＡＢＬＥ ＳＵＢＧＲＯＵＰ Ｓ ＡＮＤ ＡＬＭＯＳＴ ＩＮＴＥＲＮＡＬＩＴＹ
ＩＮ ＲＯＳＹ ＤＥＰＥＮＤＥＮＴ ＧＲＯＵＰＳ ｅ…一 一 一一一一 一一一一 一ｅｍ 一一 ｍ−ｎ一一 ｅ一一ｍｍ…一一一一一一・一一一1
東海大・理（Ｔｏｋａｌ Ｕ） 米田 郁生（ｌｋＵｏ Ｙｏｎｅｄａ）
Ｎｏｎｓｔａｎｄａｒｄ ａｒｇｕｍｅｎｔｓ ａｎｄ ｔｈｅ ｃｈａｒａｃｔｅｎｚａｔｉｏｎ ｏ ｆ ｍｄｅｐｅｎｄｅｎｃｅ ｉｎ ｇｅｎｅｎｃ ｓｔｒｕｃｔｕｒｅｓ 一一一4
筑波大・数理物質科学（ＵＴｓｕ
kmｂａ） 安保 勇希（Ｙｕｋｌ Ａｎｂｏ）
デファイナブルＣ・Ｇ多様体とその部分多様体の同時コンパクト化について ・一一
18和歌山大・教育（Ｗａｋａｙａｍａ Ｕ） 川上 智博（Ｔｏｍｏｈｌｒｏ Ｋａｗａｋａｍ
1）
弱順序極小構造とｄｅｆｉｎａｂｌｅ集合の完備化 一一一…一 一……一一一一一一一一一23
阿南工業高専（Ａｎａｎ Ｎａｔ Ｃｏｌｌ Ｔｅｃｈ） 田中 広志（Ｈｌｒｏｓｈｌ Ｔａｎａｋａ）
Ｑのｓｕｂｎｎｇｓ,ｓｕｂｆｉｅｌｄｓの決定問題について 一一一一一一・一・…一一一ｅ一・・ｅ・一一ｅ一一一一一一一一一28
鹿児島国際大・国際文化（ｌｎｔ Ｕ Ｋａｇｏｓｈｌｍａ）福崎 賢治（ＫｅｎＪｉ Ｆｕｋｕｚａｋ
1）
群の決定問題について一…。・・ｄ…ｂｄｂ一一一。一・一一一・一一一。・一一一。一一一一一一。一一一一 ・一ｅ一一一ｅ一。・一一一一一一.34 岡山大・理（Ｏｋａｙａｍａ Ｕ） 田中 克己（Ｋａｔｓｕｍｌ Ｔａｎａｋａ）
Ｏｎ Ｗｅａｋ ｆＯｒｋｌｎｇ 一一一一一一 一一一一一一一一一一一一一一一一一一一一一・・一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一 一一一一一一一一一一一一一一一一一一一37
早大・メディアネットワ・…一…クセンター（Ｗａｓｅｄａ Ｕ）
前園 無智（Ｈｌｓａｔｏｍｏ Ｍａｅｓｏｎｏ）
