Similar to 領域理論
スコット連続
Scott continuityアルキメデスの性質
Archimedean property最小不動点
Least fixed point縮小写像
Contraction mappingアッカーマン関数
Ackermann function不動点コンビネータ
Fixed-point combinatorΜ再帰関数
General recursive functionAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)0
01
1▲3 trends2
23
34
45
56
67
78
89
912345679
順序集合
Ordered set因果集合
Causal setsヴェブレン階層
Veblen function宇宙 (数学)
Universe (mathematics)可算鎖条件
Countable chain condition完備半順序
Complete partial order吸収法則
Absorption lawクリーネの不動点定理
Kleene fixed-point theorem