ハイティング代数
数学におけるハイティング代数（ハイティングだいすう、）とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した性質を満たす半順序集合の一種である。必ずしも排中律が成り立たない直観論理のモデルとして提唱された。ハイティング代数のさらに特別な場合である完備ハイティング代数は層の理論の定式化にも用いられる。
Q395
数学
Concept
Q641771
アレン・ハイティング
PER
Q173183
ブール代数
Concept
Q474715
半順序集合
Concept
Q468422
排中律
Concept
Q176786
直観論理
Concept
Q595298
層
Concept
Q1617044
ハイティング代数
Concept
Q1617044
ハイティング代数
Concept
Q1617044
ハイティング代数
Concept
named after
field of work
notable work
notable work
notable work
named after
named after