書誌情報	ファイル
表紙・目次    (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