Fixed-point theorem: Difference between revisions

Revision as of 14:31, 9 March 2020

Revision as of 07:06, 30 March 2020

Line 91:

*[[Caristi fixed-point theorem]]

*[[Diagonal lemma]], also known as the fixed-point lemma, for producing self-referential sentences of [[first-order logic]]

*[[Herings-Laan-Talman-YangDiscrete fixed-point theorem]]s

*[[Fixed-point combinator]], which shows that every term in untyped [[lambda calculus]] has a fixed point

*[[Fixed-point lemma for normal functions]]

*[[Fixed-point property]]

*[[Herings-Laan-Talman-Yang fixed-point theorem]]

*[[Injective metric space]]

*[[Kakutani fixed-point theorem]]