Research seminar, Kurt Gödel Research Center - October 9th Abstract: Least fixed points of monotone operators are well-studied objects in many areas of mathematical logic. Typically, they are characterized as the intersection of all sets closed under the respective operator or as the result of i[...]

https://settheory.mathtalks.org/gerhard-jager-from-fixed-points-in-weak-set-theories-to-some-open-problems/