Balbus, Lukasz; Olszewski, Wojciech; Reffett, Kevin; … - 2023
For a strong set order increasing (resp., strongly monotone) upper order hemicontinuous correspondence mapping a complete lattice A into itself (resp., a σ-complete lattice into itself), we provide conditions for tight fixed-point bounds for sufficiently large iterations starting from any...