自然数の超準モデルにおける1階定義可能性の研究
著者
書誌事項
自然数の超準モデルにおける1階定義可能性の研究
(数理解析研究所講究録, 1469)
京都大学数理解析研究所, 2006.2
- タイトル別名
-
Study of definability in nonstandard models of arithmetic
- タイトル読み
-
シゼンスウ ノ チョウ ジュン モデル ニ オケル 1カイ テイギ カノウセイ ノ ケンキュウ
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
RIMS研究集会報告集: 2005年9月12日-9月15日
研究代表者: 坪井明人
欧文タイトルは目次による
参考文献: 各論末