Skip to main content
MathOverflow

Return to Question

added 4 characters in body
Source Link
Kyle Gannon
Kyle Gannon
  • 756
  • 3
  • 13

Please note that this might be some confusion on my part about the work surrounding Vaught's conjecture.

First of all, Vaught Conjecture states that if a first-order complete theory $T$ in a countable language has infinitely many models of size $\aleph_0$, then either $I(T,\aleph_0)=\aleph_0$ or $I(T,\aleph_0)=2^{\aleph_0}$. We will denote this conjecture as $VC$.

It has been shown that if $I(T,\aleph_0)> \aleph_1$, then $I(T,\aleph_0)=2^{\aleph_0}$. Therefore, we know that $ZFC+CH \vdash VC$.

If one wants to prove that $VC$ is false, theythen one must construct a model $M$ such that $M\models ZFC$ and a theory $T_1$, such that $M\models ZFC+ \neg CH$ and $M \models I(T_1,\aleph_0)=\aleph_1$.

But here lies my problem: Let $M_1,M_2 \models ZFC + \neg CH$. Suppose that we can construct a first order theories $T_1$ and $T_2$ such that $M_1 \models I(T_1,\aleph_0)=\aleph_1$ and $M_2 \models I(T_2,\aleph_0)=\aleph_1$. Is it possible that $M_1\models I(T _2,\aleph_0)=2^{\aleph_0}$ and $M_2\models I(T_2,\aleph_0)=2^{\aleph_0}$?

Better yet, we can simply ask: if $T$ is a counterexample to Vaught's Conjecture in some model $M$ of $ZFC$ must it be the case that $N\models I(T,\aleph_0)=\aleph_1$ for any $N$ such that $N\models ZFC$?

Thanks!

Please note that this might be some confusion on my part about the work surrounding Vaught's conjecture.

First of all, Vaught Conjecture states that if a first-order complete theory $T$ in a countable language has infinitely many models of size $\aleph_0$, then either $I(T,\aleph_0)=\aleph_0$ or $I(T,\aleph_0)=2^{\aleph_0}$. We will denote this conjecture as $VC$.

It has been shown that if $I(T,\aleph_0)> \aleph_1$, then $I(T,\aleph_0)=2^{\aleph_0}$. Therefore, we know that $ZFC+CH \vdash VC$.

If one wants to prove that $VC$ is false, they must construct a model $M$ such that $M\models ZFC$ and a theory $T_1$, such that $M\models ZFC+ \neg CH$ and $M \models I(T_1,\aleph_0)=\aleph_1$.

But here lies my problem: Let $M_1,M_2 \models ZFC + \neg CH$. Suppose that we can construct a first order theories $T_1$ and $T_2$ such that $M_1 \models I(T_1,\aleph_0)=\aleph_1$ and $M_2 \models I(T_2,\aleph_0)=\aleph_1$. Is it possible that $M_1\models I(T _2,\aleph_0)=2^{\aleph_0}$ and $M_2\models I(T_2,\aleph_0)=2^{\aleph_0}$?

Better yet, we can simply ask: if $T$ is a counterexample to Vaught's Conjecture in some model $M$ of $ZFC$ must it be the case that $N\models I(T,\aleph_0)=\aleph_1$ for any $N$ such that $N\models ZFC$?

Thanks!

Please note that this might be some confusion on my part about the work surrounding Vaught's conjecture.

First of all, Vaught Conjecture states that if a first-order complete theory $T$ in a countable language has infinitely many models of size $\aleph_0$, then either $I(T,\aleph_0)=\aleph_0$ or $I(T,\aleph_0)=2^{\aleph_0}$. We will denote this conjecture as $VC$.

It has been shown that if $I(T,\aleph_0)> \aleph_1$, then $I(T,\aleph_0)=2^{\aleph_0}$. Therefore, we know that $ZFC+CH \vdash VC$.

If one wants to prove that $VC$ is false, then one must construct a model $M$ such that $M\models ZFC$ and a theory $T_1$, such that $M\models ZFC+ \neg CH$ and $M \models I(T_1,\aleph_0)=\aleph_1$.

But here lies my problem: Let $M_1,M_2 \models ZFC + \neg CH$. Suppose that we can construct first order theories $T_1$ and $T_2$ such that $M_1 \models I(T_1,\aleph_0)=\aleph_1$ and $M_2 \models I(T_2,\aleph_0)=\aleph_1$. Is it possible that $M_1\models I(T _2,\aleph_0)=2^{\aleph_0}$ and $M_2\models I(T_2,\aleph_0)=2^{\aleph_0}$?

Better yet, we can simply ask: if $T$ is a counterexample to Vaught's Conjecture in some model $M$ of $ZFC$ must it be the case that $N\models I(T,\aleph_0)=\aleph_1$ for any $N$ such that $N\models ZFC$?

Thanks!

Source Link
Kyle Gannon
Kyle Gannon
  • 756
  • 3
  • 13

How do we know if Vaught's Conjecture is Absolute?

Please note that this might be some confusion on my part about the work surrounding Vaught's conjecture.

First of all, Vaught Conjecture states that if a first-order complete theory $T$ in a countable language has infinitely many models of size $\aleph_0$, then either $I(T,\aleph_0)=\aleph_0$ or $I(T,\aleph_0)=2^{\aleph_0}$. We will denote this conjecture as $VC$.

It has been shown that if $I(T,\aleph_0)> \aleph_1$, then $I(T,\aleph_0)=2^{\aleph_0}$. Therefore, we know that $ZFC+CH \vdash VC$.

If one wants to prove that $VC$ is false, they must construct a model $M$ such that $M\models ZFC$ and a theory $T_1$, such that $M\models ZFC+ \neg CH$ and $M \models I(T_1,\aleph_0)=\aleph_1$.

But here lies my problem: Let $M_1,M_2 \models ZFC + \neg CH$. Suppose that we can construct a first order theories $T_1$ and $T_2$ such that $M_1 \models I(T_1,\aleph_0)=\aleph_1$ and $M_2 \models I(T_2,\aleph_0)=\aleph_1$. Is it possible that $M_1\models I(T _2,\aleph_0)=2^{\aleph_0}$ and $M_2\models I(T_2,\aleph_0)=2^{\aleph_0}$?

Better yet, we can simply ask: if $T$ is a counterexample to Vaught's Conjecture in some model $M$ of $ZFC$ must it be the case that $N\models I(T,\aleph_0)=\aleph_1$ for any $N$ such that $N\models ZFC$?

Thanks!