| 一类特殊的双向归纳环 |
| |
| 引用本文： | 马鑫,王来.一类特殊的双向归纳环[J].首都师范大学学报(自然科学版),2011,32(4):8-10. |
| |
| 作者姓名： | 马鑫 王来 |
| |
| 作者单位： | 1. 甘肃农业大学理学院,甘肃
2. 甘肃省农业科学院,兰州,730070 |
| |
| 摘 要： | 证明了在语言L={+,.,0,1}下,带有一阶可定义序关系的环理论扩充到具有量词消去时,其模型是双向归纳环,进而得出一类特殊的双向归纳模型.
|
| 关 键 词： | 双向归纳环 量词消去 双向归纳模型 |
One Particular Bl-inductive Rings |
| |
| Ma Xin,Wang Lai.One Particular Bl-inductive Rings[J].Journal of Capital Normal University(Natural Science Edition),2011,32(4):8-10. |
| |
| Authors: | Ma Xin Wang Lai |
| |
| Institution: | Ma Xin1 Wang Lai2(1.Science of College,Gansu Agricultural University,2.Agricultural Sciences College of Gansu,730070,LanZhou) |
| |
| Abstract: | It is shown that in the language L={+,·,0,1},if ring theory with a first-order definable order relation is added to a new theory which has a quantifier elimination,any model of this new theory is bi-inductive ring. |
| |
| Keywords: | bi-inductive rings quantifier elimination bi-inductive models |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
