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
12
23
34
45
56
67
78
89
912345679
順序集合
Ordered set因果集合
Causal setsヴェブレン階層
Veblen function宇宙 (数学)
Universe (mathematics)可算鎖条件
Countable chain condition完備半順序
Complete partial order完備ブール代数
Complete Boolean algebra吸収法則
Absorption law