＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- magnetic spiral
- magnetic star
- magnetic stiffness
- magnetic stimulation
- magnetic stirrer
- magnetic stirring bioreactor
- magnetic storage
- magnetic storm
- magnetic stream
- magnetic strength
- magnetic stress
- magnetic stripe
- magnetic stripe reader
- magnetic structural transition
- magnetic structure
- magnetic structure of magnetosphere
- magnetic subband
- magnetic sublattice
- magnetic substorm
- magnetic superstructure
- magnetic surface
- magnetic surface recording
- magnetic survey parameters
- magnetic susceptibility
- magnetic susceptibility anisotropy