海廷代数
规范用词
海廷代数
英文翻译
Heyting algebra
所属学科
数学
>
组合学一般数学系统
>
泛代数
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
泛代数 的上级学科
数学
组合学一般数学系统
海廷代数 相关科技名词
泛代数
universal algebra
空元运算
nullary operation
一元运算
unary operation
二元运算
binary operation
n元运算
n-ary operation
基本运算
fundamental operations
底集
universe
泛代数的型
type of an universal algebra
海廷代数
Heyting algebra
布劳威尔代数
Brauwerian algebra
柱形代数
cylindric algebra
子底集
subuniverse
无赘基
irredundant basis
泛代数的同余[关系]
congruence on universal algebra
商泛代数
quotient universal algebra
主同余
principal congruence
同余分配代数
congruence-distributive algebra
同余模代数
congruence-modular algebra
同余可换代数
congruence-permutable algebra
因子同余
factor congruence
单泛代数
simple universal algebra
极大泛代数
maximal universal algebra
类算子
class operator
泛代数类
class of universal algebras
泛代数簇
variety of universal algebras
项泛代数
term universal algebra
自由泛代数
free universal algebra
全不变同余
fully invariant congruence
布尔幂
Boolean power
超积
ultraproduct
超幂
ultrapower
布尔积
Boolean product
判别子簇
discriminantor variety
半单泛代数
semi-simple universal algebra
半单簇
semi-simple variety