In mathematics, Pataraia's theorem states each monotone map f : P → P {\displaystyle f:P\to P} for an inductive poset P {\displaystyle P} admits a least fixed point, where an inductive poset means a dcpo with a least element. It was introduced by Dito Pataraia in 1997.
In mathematics, Pataraia's theorem states each monotone map f : P → P {\displaystyle f:P\to P} for an inductive poset P {\displaystyle P} admits a least fixed point, where an inductive poset means a dcpo with a least element. It was introduced by Dito Pataraia in 1997.
Source: Wikipedia "Pataraia's theorem" · CC BY-SA 4.0
Share this article: X · Bluesky