Collection home page

Study of definability in nonstandard models of arithmetic   14
(http://hdl.handle.net/2433/47157)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14
BibliographyContents
表紙・目次
   (2006-02)
  数理解析研究所講究録, 1469
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
包括原理のある集合論と超準的自然数(自然数の超準モデルにおける1階定義可能性の研究)
  矢田部, 俊介 (2006-02)
  数理解析研究所講究録, 1469: 4-16
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
$\mathsf{ACA}_0$ のモデルの特徴付けと超準解析(自然数の超準モデルにおける1階定義可能性の研究)
  横山, 啓太 (2006-02)
  数理解析研究所講究録, 1469: 27-34
file type icon
PAのモデルの中で定義可能な非標準モデル(自然数の超準モデルにおける1階定義可能性の研究)
  池田, 一磨, 坪井, 明人 (2006-02)
  数理解析研究所講究録, 1469: 35-45
file type icon
End-extension とstandardizable extension について(自然数の超準モデルにおける1階定義可能性の研究)
  Murakami, Masahiko (2006-02)
  数理解析研究所講究録, 1469: 46-49
file type icon
Weakly o-minimal structures(Study of definability in nonstandard models of arithmetic)
  田中, 広志 (2006-02)
  数理解析研究所講究録, 1469: 50-58
file type icon
Quantifier elimination of the products of ordered abelian groups(Study of definability in nonstandard models of arithmetic)
  Tanaka, Hiroshi, Yokoyama, Hirokazu (2006-02)
  数理解析研究所講究録, 1469: 59-64
file type icon
On pseudospaces(Study of definability in nonstandard models of arithmetic)
  米田, 郁生 (2006-02)
  数理解析研究所講究録, 1469: 65-78
file type icon
部分的デファイナブル$G$自明性について(自然数の超準モデルにおける1階定義可能性の研究)
  川上, 智博 (2006-02)
  数理解析研究所講究録, 1469: 79-85
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
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
理論の単純性について : n-simplicity に関する考察(自然数の超準モデルにおける1階定義可能性の研究)
  坪井, 明人 (2006-02)
  数理解析研究所講究録, 1469: 96-100
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14