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

Notes on use

Related materials as well as pre- and post-revision versions

Search by Bookstore

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: 自然数の超準モデルにおける1階定義可能性の研究
Title Transcription: シゼンスウノチョウジュンモデルニオケル 1カイテイギカノウセイノケンキュウ
Author Heading: 京都大学数理解析研究所キョウトダイガクスウリカイセキケンキュウショ
https://ci.nii.ac.jp/author/DA00277933
坪井, 明人ツボイ, アキト
https://ci.nii.ac.jp/author/DA13167993
Publication, Distribution, etc.: 京都大学数理解析研究所
Publication Date: 2006.2
Publication Date (W3CDTF): 2006
Size: 26cm
Alternative Title: Study of definability in nonstandard models of arithmetic
Place of Publication (Country Code): ja
Target Audience: 一般
Note (General): RIMS研究集会報告集: 2005年9月12日-9月15日
研究代表者: 坪井明人
欧文タイトルは目次による
参考文献: 各論末
Related Material: 数理解析研究所講究録
https://cir.nii.ac.jp/crid/1130000795806014720
Related Material (URI): https://ci.nii.ac.jp/ncid/BA76602332#entity
Periodical Title: 数理解析研究所講究録
https://cir.nii.ac.jp/crid/1130000795806014720
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA76602332 : BA76602332