池田 宏一郎  IKEDA Koichiro

京都大学数理解析研究所講究録

巻: 2119 ページ: 17-22

14th & 15th Asian Logic Conference Proceedings, World Scientific

巻: なし ページ: 168-174

京都大学数理解析研究所講究録

巻: 2079 ページ: 13-20

京都大学数理解析研究所講究録

巻: 2084 ページ: 10-20

京都大学数理解析研究所講究録

巻: 2002 ページ: 54-60

Proceedings of the 13th Asian Logic Conference, World Scientific

巻: - ページ: 105-113

京都大学数理解析研究所講究録

巻: 1938 ページ: 4-9

Proceedings of the 13th Asian Logic Conference, World Scientific

巻: - ページ: 114-123

Proceedings of the 13th Asian Logic Conference

巻: なし ページ: 105-113

Proceedings of the 13th Asian Logic Conference

巻: 1 ページ: 114-123

Proceedings of the 13th Asian Logic Conference

巻: なし ページ: 114-123

Proceedings of the 13th Asian Logic Conference

巻: なし ページ: 114-123

京都大学数理解析研究所講究録

巻: 1888 ページ: 28-34

京都大学数理解析研究所講究録

巻: 1888 ページ: 28-34

Archive for Mathematical Logic

巻: 51

Archive for Mathematical Logic

巻: -

Archive for Mathematical Logic

巻: 51

Archive for Mathematical Logic 51

巻: no.1 ページ: 203-211

京都大学数理解析研究所講究録

巻: 1794 ページ: 28-42

Archive for Mathematical Logic 51

巻: no.5 ページ: 591-600

京都大学数理解析研究所講究録に (掲載決定)

京都大学数理解析研究所講究録に (掲載決定)

京都大学数理解析研究所講究録

巻: 1741

京都大学数理解析研究所講究録

巻: 1741 ページ: 1-8

京都大学数理解析研究所講究録

巻: 1741 ページ: 9-12

Proceedings of the 10th Asian logic conference

ページ: 214-226

Mathematical Logic Quarterly 56

ページ: 257-261

Mathematical Logic Quarterlyに掲載確定 56巻

Proceedings of the 10th Asian logic conference, World Scientific

ページ: 214-226

Proceedings of the 10th Asian logic conference, World Scientific

ページ: 214-226

Journal of Symboloc Logic 74 no.3

ページ: 721-733

journal of Symbolic Logic 74

ページ: 721-733

Journal of Symbolic Logic Vol.74

ページ: 721-733

J.Symb.Log. 74, No. 3

ページ: 721-733

Journal of Symbolic Logic 74, No.3

ページ: 721-733

Journal of Symbolic Logic 第74巻3号(掲載確定)

Journal of Symboloc Logic 74巻

ページ: 721-733

数理解析研究所講究録 1602

ページ: 74-84

数理解析研究所講究録 1602

ページ: 85-89

数理解析研究所講究録 1602

ページ: 22-25

京都大学数理解析研究所講究録 1602

ページ: 85-89

京都大学数理解析研究所講究録 1602

ページ: 74-84

京都大学数理解析研究所講究録 1602

ページ: 22-25

京都大学数理解析研究所講究録 1602

ページ: 22-25

京都大学数理解析研究所講究録 (掲載決定)

Kokyuroku of RIMS 1555

ページ: 104-109

京都大学数理解析研究所講究録 1555

ページ: 104-109

都大学数理解析研究所講究録 1555

ページ: 104-109

数理解析研究所講究録 1555

ページ: 104-109

京都大学数理解析研究所講究録 第1555巻

ページ: 104-109

京都大学数理解析研究所講究録 1555

ページ: 104-109

京都大学数理解析研究所講究録 525

ページ: 5-14

Mathematical Bulletin of the Graduate School of Science, Josai University 9

ページ: 55-66

数理解析研究所講究録 1469

ページ: 86-91

Kokyuroku of RIMS 1525

ページ: 5-14

Mathematical Bulletin of the Graduate School of Science, Josai University 9号

ページ: 55-66

Kokyuroku of RIMS 1469

ページ: 86-91

数理解析研究所講究録 1525

ページ: 5-14

Mathematical Bulletin of the Graduate School of Science, Josai University no.9

ページ: 55-66

京都大学数理解析研究所講究録 (掲載予定)

ページ: 6-6

Journal of the Mathematical Society of Japan 57

ページ: 1229-1234

10017178248

京都大学数理解析研究所講究録 1450

ページ: 63-68

京都大学数理解析研究所講究録 1450

ページ: 69-74

数理解析研究所講究録 1450

ページ: 69-74

Kokyuroku of RIMS 1450

ページ: 69-74

Journal of the Mathematical Society of Japan 57巻4号

ページ: 1229-1334

10017178248

Journal of the Mathematical Society of Japan (掲載予定)

10017178248

Journal of the Mathematical Society of Japan vol.57, No.4

ページ: 1229-1234

10017178248

数理解析研究所講究録 1450

ページ: 63-68

Kokyuroku of RIMS 1450

ページ: 63-68

京都大学数理解析研究所講究録 1390

ページ: 9-17

Kokyuroku of the Research Institute of Mathematical Sciences in Kyoto 1390

ページ: 9-17

数理解析研究所講究録 1390

ページ: 9-17

Kokyuroku of the Research Institute of Mathematical Sciences in Kyoto 1344

ページ: 33-39

数理解析研究所講究録 1344

ページ: 33-39

Notre Dame Journal of Formal Logic 43

ページ: 249-254

Bulletin of Toyota National College of Technology 35

ページ: 321-324

110000468659

Notre Dame Journal of Formal Logic, 43

ページ: 249-254

数理解析研究所講究録 1283

ページ: 55-60

豊田高専研究紀要 35

ページ: 321-324

110000468659

Kokyuroku of the Research Institute of Mathematical Sciences in Kyoto 1283

ページ: 55-60

数理解析研究所講究録 (掲載確定)

Journal of Symbolic Logic (掲載確定)