自然数の超準モデルにおける1階定義可能性の研究

著者

• 京都大学数理解析研究所 キョウト ダイガク スウリ カイセキ ケンキュウショ
• 坪井, 明人 ツボイ, アキト

書誌事項

自然数の超準モデルにおける1階定義可能性の研究

（数理解析研究所講究録, 1469）

京都大学数理解析研究所, 2006.2

タイトル別名

Study of definability in nonstandard models of arithmetic

タイトル読み

シゼンスウ ノ チョウ ジュン モデル ニ オケル 1カイ テイギ カノウセイ ノ ケンキュウ

注記

RIMS研究集会報告集: 2005年9月12日-9月15日

研究代表者: 坪井明人

欧文タイトルは目次による

参考文献: 各論末

• NII書誌ID(NCID): BA76602332
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [京都]
• ページ数/冊数: 100p
• 大きさ: 26cm
• 親書誌ID:
  • BN06637050