1. Kyoto University Research Information Repository

検索


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

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

 | 
検索結果表示: 1-10 / 14.
検索結果:
書誌情報ファイル
部分的デファイナブル$G$自明性について(自然数の超準モデルにおける1階定義可能性の研究)
  川上, 智博 (2006-02)
  数理解析研究所講究録, 1469: 79-85
file type icon 
Second order bounded arithmetic and computational complexity(Study of definability in nonstandard models of arithmetic)
  安本, 雅洋 (2006-02)
  数理解析研究所講究録, 1469: 1-3
file type icon 
表紙・目次
   (2006-02)
  数理解析研究所講究録, 1469
file type icon 
On weak determinacy of infinite binary games(Study of definability in nonstandard models of arithmetic)
  Nemoto, Takako; MedSalem, MedYahya Ould; Tanaka, Kazuyuki (2006-02)
  数理解析研究所講究録, 1469: 17-26
file type icon 
PAのモデルの中で定義可能な非標準モデル(自然数の超準モデルにおける1階定義可能性の研究)
  池田, 一磨; 坪井, 明人 (2006-02)
  数理解析研究所講究録, 1469: 35-45
file type icon 
包括原理のある集合論と超準的自然数(自然数の超準モデルにおける1階定義可能性の研究)
  矢田部, 俊介 (2006-02)
  数理解析研究所講究録, 1469: 4-16
file type icon 
End-extension とstandardizable extension について(自然数の超準モデルにおける1階定義可能性の研究)
  Murakami, Masahiko (2006-02)
  数理解析研究所講究録, 1469: 46-49
file type icon 
On P-closure operator in quasi-minimal structures(Study of definability in nonstandard models of arithmetic)
  MAEZONO, Hisatomo (2006-02)
  数理解析研究所講究録, 1469: 92-95
file type icon 
Forking in Generic Structures(Study of definability in nonstandard models of arithmetic)
  IKEDA, Koichiro (2006-02)
  数理解析研究所講究録, 1469: 86-91
file type icon 
Weakly o-minimal structures(Study of definability in nonstandard models of arithmetic)
  田中, 広志 (2006-02)
  数理解析研究所講究録, 1469: 50-58
file type icon 

絞り込み