Collection home page

2050 Mathematical Logic and Its Applications   15
(http://hdl.handle.net/2433/236726)

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