＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- homological method
- homological perturbation theory
- homological projection
- homological property
- homological resolution
- homological theory
- homological triangles
- homologization
- homologous
- homologous alternation of generation
- homologous chromosome
- homologous community
- homologous cycle
- homologous deformation
- homologous design
- homologous flare
- homologous gaseous sphere
- homologous gene
- homologous image points
- homologous mapping
- homologous minor
- homologous organ
- homologous pair
- homologous pairing
- homologous points