Right half-plane

Robinson's joint consistency theorem is an important theorem of mathematical logic. It is related to Craig interpolation and Beth definability.

The classical formulation of Robinson's joint consistency theorem is as follows:

Let $T_{1}$ and $T_{2}$ be first-order theories. If $T_{1}$ and $T_{2}$ are consistent and the intersection $T_{1}\cap T_{2}$ is complete (in the common language of $T_{1}$ and $T_{2}$), then the union $T_{1}\cup T_{2}$ is consistent. Note that a theory is complete if it decides every formula, i.e. either $T\vdash \varphi$ or $T\vdash \neg \varphi$.

Since the completeness assumption is quite hard to fulfill, there is a variant of the theorem:

Let $T_{1}$ and $T_{2}$ be first-order theories. If $T_{1}$ and $T_{2}$ are consistent and if there is no formula $\varphi$ in the common language of $T_{1}$ and $T_{2}$ such that $T_{1}\vdash \varphi$ and $T_{2}\vdash \neg \varphi$, then the union $T_{1}\cup T_{2}$ is consistent.

References

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534