非标准算术模型

编辑:蚂蚱网互动百科 时间:2019-12-14 13:06:58
编辑 锁定
本词条缺少信息栏名片图,补充相关内容使词条更完整,还能快速升级,赶紧来编辑吧!
非标准算术模型(nonstandard model of peanoarithmetic)佩亚诺算术理论的一种模型.指与自然数模型N初等等价,但不同构的模型.设T是语言}_ {+,·,5,0}上的佩亚诺算术理论,令艺(二)={0奔二,SO荞二,SSO奔x. } ... },设}l是T的一个模型,其论域为A.如果A的元素a能适合
,则称a为邻的非标准元素.当A中存在非标准元素时,称}l为T的非标准模型,或称c}为非标准算术模型.否则称Gu为T的标准模型.
[1] 
参考资料
  • 1.    数学辞海(第四卷)