PAのモデルの中で定義可能な非標準モデル

PAのモデルの中で定義可能な非標準モデル
复制标题

可在 PA 模型中定义的非标准模型

DOI:
--
复制
发表时间:
2006
期刊:
京都大学数理解析研究所講究録(自然数の超準モデルにおける1階定義可能性の研究) 1469号
影响因子:
--
通讯作者:
坪井明人
坪井明人
中科院分区:
--
文献类型:
--
作者:
池田一磨;坪井明人

文献摘要

相似文献