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

Author(s)

Bibliographic Information

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

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

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

Other Title

Study of definability in nonstandard models of arithmetic

Title Transcription

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

Available at  / 4 libraries

Search this Book/Journal

Note

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

研究代表者: 坪井明人

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

参考文献: 各論末

Related Books： 1-1 of 1

Details

  • NCID
    BA76602332
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpneng
  • Place of Publication
    [京都]
  • Pages/Volumes
    100p
  • Size
    26cm
  • Parent Bibliography ID
Page Top