| 词条 | Łoś–Vaught test |
| 释义 |
In model theory, a branch of mathematical logic, the Łoś–Vaught test is a criterion for a theory to be complete, unable to be augmented without becoming inconsistent. For theories in classical logic, this means that for every sentence the theory contains either the sentence or its negation but not both. According to this test, if a satisfiable theory is κ-categorical (there exists an infinite cardinal κ such that it has only one model up to isomorphism of cardinality κ, with κ at least equal to the cardinality of its language) and in addition it has no finite model, then it is complete. This theorem was proved independently by {{harvs|first=Jerzy|last=Łoś|authorlink=Jerzy Łoś|year=1954|txt}} and {{harvs|first= Robert L.|last= Vaught |authorlink=Robert Lawson Vaught |year=1954|txt}}, after whom it is named. References
| last = Enderton | first = Herbert B. | authorlink = Herbert Enderton | mr = 0337470 | page = 147 | publisher = Academic Press, New York-London | title = A mathematical introduction to logic | url = https://books.google.com/books?id=LHjNCgAAQBAJ&pg=PA147 | year = 1972}}.
| last = Łoś | first = J. | authorlink = Jerzy Łoś | journal = Colloquium Math. | mr = 0061561 | pages = 58–62 | title = On the categoricity in power of elementary deductive systems and some related problems | volume = 3 | year = 1954}}.
| last = Vaught | first = Robert L. | authorlink = Robert Lawson Vaught | journal = Indagationes Mathematicae | mr = 0063993 | pages = 467–472 | title = Applications to the Löwenheim-Skolem-Tarski theorem to problems of completeness and decidability | volume = 16 | year = 1954}}.{{DEFAULTSORT:Los-Vaught test}} 1 : Model theory |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。