1. Kyoto University Research Information Repository

検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。

 | 
検索結果表示: 1-10 / 15.
検索結果:
書誌情報ファイル
集合論で試される構造と構成のいくつか (数学基礎論とその応用)
  宮元, 忠敏 (2017-10)
  数理解析研究所講究録, 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)
  数理解析研究所講究録, 2050: 9-23
file type icon 
1980年代半ば, 米国中西部のモデル理論, そして未来 : モデル理論賛歌 (数学基礎論とその応用)
  板井, 昌典 (2017-10)
  数理解析研究所講究録, 2050: 48-56
file type icon 
計算可能前構造と横山吉川の性質 (数学基礎論とその応用)
  樋口, 幸治郎; 倉橋, 太志 (2017-10)
  数理解析研究所講究録, 2050: 24-40
file type icon 
表紙・目次
   (2017-10)
  数理解析研究所講究録, 2050
file type icon 
Properties characterized by generalized indiscernible (Mathematical Logic and Its Applications)
  Takeuchi, Kota (2017-10)
  数理解析研究所講究録, 2050: 41-47
file type icon 
BAD GROUPS (Mathematical Logic and Its Applications)
  Wagner, Frank O. (2017-10)
  数理解析研究所講究録, 2050: 57-66
file type icon 
Barwiseのモデル論的意味論の周辺と抽象設計学 (数学基礎論とその応用)
  向井, 国昭 (2017-10)
  数理解析研究所講究録, 2050: 100-122
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)
  数理解析研究所講究録, 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)
  数理解析研究所講究録, 2050: 77-99
file type icon 

絞り込み