Similar to 領域理論
構造的帰納法
Structural induction
コンパクト要素
Compact element
最大と最小
Greatest element and least element
辞書式順序
Lexicographic order
順序環
Ordered ring順序群
Partially ordered group
順序数
Ordinal number
昇鎖条件
Ascending chain condition
数学的帰納法
Mathematical induction
ススリンの問題
Suslin's problem
全順序
Total order
単項式順序
Monomial order
単調写像
Monotonic function
超フィルター
Ultrafilter
直積順序
Product order
ツォルンの補題
Zorn's lemma
ハッセ図
Hasse diagram
フィルター (数学)
Filter (mathematics)プロセス (曖昧さ回避)
Process
メビウスの反転公式
Möbius inversion formula
有界
Bounded set
有向点族
Net (mathematics)
列 (数学)
Sequence
ブール素イデアル定理
Boolean prime ideal theorem
上方集合
Upper set
完備ブール代数
Complete Boolean algebra
計算理論
Theory of computation
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
