Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


I just want to see examples of vaughtian pairs.


share|cite|improve this question
This question and its answer will give you two examples. – arjafi Oct 27 '12 at 20:16
up vote 1 down vote accepted

I think more generally Vaughtian pairs may be "constructed" as follows:

Let $\mathcal{N}$ is a model of uncountable cardinality $\kappa$ in some denumerable (relational) language. Suppose $\bar{b}$ is some tuple of elements of $N$ and $\varphi ( x , \bar{y} )$ is a formula such that $$A = \{ x \in N : \mathcal{N} \models \varphi ( x , \bar{b} ) \}$$ is infinite of cardinality $\lambda < \kappa$. By Downward Löwenheim-Skolem let $\mathcal{M}$ be an elementary submodel of $\mathcal{N}$ of cardinality $\lambda$ including $A \cup \{ \bar{b} \}$. Then $\mathcal{M} , \mathcal{N}$ will be a Vaughtian pair.

  • The example in the answer above is certainly of this type.
  • Consider an uncountable linear order $\mathcal{N} = ( N , < )$ with an element $b \in N$ such that $A = \{ x \in N : x < b \}$ is countably infinite. Letting $\mathcal{M}$ be a countable elementary submodel of $\mathcal{N}$ including $A \cup \{ b \}$, and then $\mathcal{M} , \mathcal{N}$ will be as required.
share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.