Vaught’s test
Let be a first order language, and let be a set of -sentences with no finite models which is -categorical for some . Then is complete
(http://planetmath.org/FirstOrderTheories).
单词 | VaughtsTest |
释义 | Vaught’s testLet be a first order language, and let be a set of -sentences |
随便看 |
|
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。