書誌情報 | ファイル |
表紙・目次 (2017-10) 数理解析研究所講究録, 2050
| |
集合論で試される構造と構成のいくつか (数学基礎論とその応用) 宮元, 忠敏 (2017-10) 数理解析研究所講究録, 2050: 1-8
| |
COMPUTABLE QUOTIENT PRESENTATIONS OF MODELS OF ARITHMETIC AND SET THEORY (Mathematical Logic and Its Applications) Godziszewski, Michal Tomasz; Hamkins, Joel David (2017-10) 数理解析研究所講究録, 2050: 9-23
| |
計算可能前構造と横山吉川の性質 (数学基礎論とその応用) 樋口, 幸治郎; 倉橋, 太志 (2017-10) 数理解析研究所講究録, 2050: 24-40
| |
Properties characterized by generalized indiscernible (Mathematical Logic and Its Applications) Takeuchi, Kota (2017-10) 数理解析研究所講究録, 2050: 41-47
| |
1980年代半ば, 米国中西部のモデル理論, そして未来 : モデル理論賛歌 (数学基礎論とその応用) 板井, 昌典 (2017-10) 数理解析研究所講究録, 2050: 48-56
| |
BAD GROUPS (Mathematical Logic and Its Applications) Wagner, Frank O. (2017-10) 数理解析研究所講究録, 2050: 57-66
| |
Recent studies on the proof-theoretic strength of Ramsey's theorem for pairs (Mathematical Logic and Its Applications) Yokoyama, Keita (2017-10) 数理解析研究所講究録, 2050: 67-76
| |
The Dynamics of Duality : A Fresh Look at the Philosophy of Duality (Mathematical Logic and Its Applications) Maruyama, Yoshihiro (2017-10) 数理解析研究所講究録, 2050: 77-99
| |
Barwiseのモデル論的意味論の周辺と抽象設計学 (数学基礎論とその応用) 向井, 国昭 (2017-10) 数理解析研究所講究録, 2050: 100-122
| |
公理的集合論の一角を彷徨って : 一角からの結果紹介 (数学基礎論とその応用) 金井, 康雄 (2017-10) 数理解析研究所講究録, 2050: 123-139
| |
Coherence Spaces and Geometry of Interaction (Mathematical Logic and Its Applications) Hoshino, Naohiko (2017-10) 数理解析研究所講究録, 2050: 140-152
| |
Coding Polish spaces (Mathematical Logic and Its Applications) Mejía, Diego Alejandro (2017-10) 数理解析研究所講究録, 2050: 153-161
| |
限量子記号消去アルゴリズムとその計算の現状について (数学基礎論とその応用) 佐藤, 洋祐 (2017-10) 数理解析研究所講究録, 2050: 162-167
| |
Genericな集合のチューリング次数について (数学基礎論とその応用) 隈部, 正博 (2017-10) 数理解析研究所講究録, 2050: 168-181
| |