西尔维奥·博齐;吉安·卡洛·梅洛尼 理想性质和直觉代数。 （英语） Zbl 0393.03026号 问题。伦巴多·阿卡德。科学。莱特。，渲染。，塞兹。A类 111, 145-150 (1977). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 MSC公司： 03C90号 非经典模型（布尔值、层等） 03G30型 分类逻辑，拓扑 03楼55 直觉数学 13小时99 局部环和半局部环 11标准99 代数数论：局部域 关键词：克里普克模型;直觉代数;理想性质;代数闭域;局部环;逻辑 引文：Zbl 0369.13019号;Zbl 0375.02016号 PDF格式BibTeX公司 XML格式引用 \textit{S.Bozzi}和\textit{G.C.Meloni}，Ist。伦巴多·阿卡德。科学。莱特。，渲染。，塞兹。A 111145-150（1977年；Zbl 0393.03026）