当前位置:
X-MOL 学术
›
Arch. Math. Logic
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Short note: Least fixed points versus least closed points
Archive For Mathematical Logic ( IF 0.4 ) Pub Date : 2021-02-08 , DOI: 10.1007/s00153-021-00761-y Gerhard Jäger
中文翻译:
简短说明:最小固定点与最小封闭点
更新日期:2021-02-08
Archive For Mathematical Logic ( IF 0.4 ) Pub Date : 2021-02-08 , DOI: 10.1007/s00153-021-00761-y Gerhard Jäger
This short note is on the question whether the intersection of all fixed points of a positive arithmetic operator and the intersection of all its closed points can proved to be equivalent in a weak fragment of second order arithmetic.
中文翻译:
简短说明:最小固定点与最小封闭点
这个简短的注释是关于在二阶算术的一个弱片段中是否可以证明正算术算子的所有不动点的交点及其所有闭点的交点是否相等。