RIMS Kôkyûroku

No.2050

2016/09/26〜2016/09/29

菊池　誠

Makoto Kikuchi

目　次

1. 集合論で試される構造と構成のいくつか (数学基礎論とその応用)-----------------------------------------------------------------------1

　　　　南山大学経営学部　　　宮元 忠敏　(Miyamoto,Tadatoshi)

　

2. COMPUTABLE QUOTIENT PRESENTATIONS OF MODELS OF ARITHMETIC AND SET THEORY (Mathematical Logic and Its Applications)----------------9

　　　　Logic Department, Institute of Philosophy, University of Warsaw / Mathematics, Philosophy, Computer Science, The Graduate Center of The City University of New York・Mathematics, College of Staten Island of CUNY　　　Godziszewski,Michal Tomasz / Hamkins,Joel David

　

3. 計算可能前構造と横山吉川の性質 (数学基礎論とその応用)----------------------------------------------------------------------------24

　　　　日本大学工学部 / 木更津工業高等専門学校　　　樋口 幸治郎 / 倉橋 太志　(Higuchi,Kojiro / Kurahashi,Taishi)

　

4. Properties characterized by generalized indiscernible (Mathematical Logic and Its Applications)----------------------------------41

　　　　筑波大学数理物質系　　　竹内 耕太　(Takeuchi,Kota)

　

5. 1980年代半ば, 米国中西部のモデル理論, そして未来 : モデル理論賛歌 (数学基礎論とその応用)-----------------------------------------48

　　　　東海大学理学部情報数理学科　　　板井 昌典　(Itai,Masanori)

　

6. BAD GROUPS (Mathematical Logic and Its Applications)-----------------------------------------------------------------------------57

　　　　Universite de Lyon, Universite Claude Bernard Lyon 1, CNRS, Institute Camille Jordan　　　Wagner,Frank O.

　

7. Recent studies on the proof-theoretic strength of Ramsey's theorem for pairs (Mathematical Logic and Its Applications)-----------67

　　　　北陸先端科学技術大学院大学情報科学系　　　横山 啓太　(Yokoyama,Keita)

　

8. The Dynamics of Duality : A Fresh Look at the Philosophy of Duality (Mathematical Logic and Its Applications)--------------------77

　　　　京都大学白眉センター・文学研究科　　　丸山 善宏　(Maruyama,Yoshihiro)

　

9. Barwiseのモデル論的意味論の周辺と抽象設計学 (数学基礎論とその応用)--------------------------------------------------------------100

　　　　慶応義塾大学　　　向井 国昭　(Mukai,Kuniaki)

　

10. 公理的集合論の一角を彷徨って : 一角からの結果紹介 (数学基礎論とその応用)-------------------------------------------------------123

　　　　大和大学教育学部　　　金井 康雄　(Kanai,Yasuo)

　

11. Coherence Spaces and Geometry of Interaction (Mathematical Logic and Its Applications)-----------------------------------------140

　　　　京都大学数理解析研究所　　　星野 直彦　(Hoshino,Naohiko)

　

12. Coding Polish spaces (Mathematical Logic and Its Applications)-----------------------------------------------------------------153

　　　　静岡大学理学部　　　Mejia,Diego Alejandro

　

13. 限量子記号消去アルゴリズムとその計算の現状について (数学基礎論とその応用)------------------------------------------------------162

　　　　東京理科大学理学部応用数学科　　　佐藤 洋祐　(Sato,Yosuke)

　

14. Genericな集合のチューリング次数について (数学基礎論とその応用)-----------------------------------------------------------------168

　　　　放送大学教養学部　　　隈部 正博　(Kumabe,Masahiro)