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)CFL条件
Courant–Friedrichs–Lewy condition0
0▼-1 trends1
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