PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Low Entry average rating: No information on entry rating
[parent] proof of Vaught's test (Proof)

Let $\varphi$ be an $L$ -sentence, and let $\mathcal{A}$ be the unique model of S of cardinality $\kappa$ . Suppose $\mathcal{A}\vDash\varphi$ . Then if $\mathcal{B}$ is any model of $S$ then by the upward and downward Lowenheim-Skolem theorems, there is a model $\mathcal{C}$ of $S$ which is elementarily equivalent to $\mathcal{B}$ such that $|\mathcal{C}|=\kappa$ . Then $\mathcal{C}$ is isomorphic to $\mathcal{A}$ , and so $\mathcal{C}\vDash\varphi$ , and $\mathcal{B}\vDash\varphi$ . So $\mathcal{B}\vDash\varphi$ for all models $\mathcal{B}$ of $S$ , so $S\vDash\varphi$ .

Similarly, if $\mathcal{A}\vDash\lnot\varphi$ then $S\vDash\lnot\varphi$ . So $S$ is complete.$\square$




"proof of Vaught's test" is owned by Evandar.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: isomorphic, elementarily equivalent, downward Lowenheim-Skolem theorems, cardinality

This is version 1 of proof of Vaught's test, born on 2002-08-29.
Object id is 3395, canonical name is ProofOfVaughtsTest.
Accessed 2102 times total.

Classification:
AMS MSC03C35 (Mathematical logic and foundations :: Model theory :: Categoricity and completeness of theories)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)