搜索结果: 1-1 共查到“数理逻辑与数学基础 Prufer extensions”相关记录1条 . 查询时间(0.078 秒)
Arithmetic-arboreal residue structures induced by Prufer extensions : An axiomatic approach
Arithmetic-arboreal Prufer extensions An axiomatic approach
2010/11/9
We present an axiomatic framework for the residue structures induced by Prufer extensions with a stress upon the intimate connection between their arithmetic and arboreal theoretic properties. The ma...