北京师范大学学报(自然科学版)
北京師範大學學報(自然科學版)
북경사범대학학보(자연과학판)
JOURNAL OF BEIJING NORMAL UNIVERSITY
2008年
2期
146-148
,共3页
归纳环%双向归纳环%量词消去
歸納環%雙嚮歸納環%量詞消去
귀납배%쌍향귀납배%량사소거
证明了环理论扩充到具有量词消去理论时,其任意模型都是归纳环,而且带有一阶可定义序关系的环理论扩充到具有量词消去时,其模型是双向归纳环.
證明瞭環理論擴充到具有量詞消去理論時,其任意模型都是歸納環,而且帶有一階可定義序關繫的環理論擴充到具有量詞消去時,其模型是雙嚮歸納環.
증명료배이론확충도구유량사소거이론시,기임의모형도시귀납배,이차대유일계가정의서관계적배이론확충도구유량사소거시,기모형시쌍향귀납배.