upward Lowenheim-Skolem theorem
Let be a first-order language and let be an infinite -structure
. Then if is a cardinal with then there is an -structure such that and .
单词 | UpwardLowenheimSkolemTheorem |
释义 | upward Lowenheim-Skolem theoremLet be a first-order language and let be an infinite |
随便看 |
|
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。