Short note: Least fixed points versus least closed points
Keyword(s):
AbstractThis 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.
Keyword(s):
Keyword(s):
1993 ◽
Vol 62
(1)
◽
pp. 51-64
◽
2010 ◽
Vol 16
(3)
◽
pp. 378-402
◽
2014 ◽
Vol 165
(2)
◽
pp. 520-551
◽