请输入您要查询的字词:

 

单词 ProofOfVaughtsTest
释义

proof of Vaught’s test


Let φ be an L-sentenceMathworldPlanetmath, and let 𝒜 be the unique model of S of cardinality κ. Suppose 𝒜φ. Then if is any model of S then by the upward (http://planetmath.org/UpwardLowenheimSkolemTheorem) and downward Lowenheim-Skolem theorems, there is a model 𝒞 of S which is elementarily equivalent to such that |𝒞|=κ. Then 𝒞 is isomorphicPlanetmathPlanetmath to 𝒜, and so 𝒞φ, and φ. So φ for all models of S, so Sφ.

Similarly, if 𝒜¬φ then S¬φ. So S is completePlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath (http://planetmath.org/Complete6).

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/5 5:31:35