Robinson's joint consistency theorem

Robinson's joint consistency theorem

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_1cap T_2 is complete (in the common language of T_1 and T_2), then the union T_1cup T_2 is consistent. Note that a theory is complete if it decides every formula, i.e. either T vdash varphi or T vdash egvarphi.

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 egvarphi, then the union T_1cup T_2 is consistent.

References

*cite book|last = Boolos|first = George S.|coauthors = Burgess, John P.; Jeffrey, Richard C.|title = Computability and Logic|publisher = Cambridge University Press|date = 2002|pages = 264|isbn = 0521007585|url = http://books.google.com/books?id=Yy14JSjPyY8C


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Craig interpolation — In mathematical logic, Craig s interpolation theorem is a result about the relationship between different logical theories. Roughly stated, the theorem says that if a formula φ implies a formula ψ then there is a third formula ρ, called an… …   Wikipedia

  • List of mathematics articles (R) — NOTOC R R. A. Fisher Lectureship Rabdology Rabin automaton Rabin signature algorithm Rabinovich Fabrikant equations Rabinowitsch trick Racah polynomials Racah W coefficient Racetrack (game) Racks and quandles Radar chart Rademacher complexity… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • History of logic — Philosophy ( …   Wikipedia

  • Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of …   Wikipedia

  • Timeline of mathematics — A timeline of pure and applied mathematics history. Contents 1 Before 1000 BC 2 1st millennium BC 3 1st millennium AD 4 1000–1500 …   Wikipedia

  • Hilbert's problems — are a list of twenty three problems in mathematics put forth by German mathematician David Hilbert at the Paris conference of the International Congress of Mathematicians in 1900. The problems were all unsolved at the time, and several of them… …   Wikipedia

  • Nobel Prizes — ▪ 2009 Introduction Prize for Peace       The 2008 Nobel Prize for Peace was awarded to Martti Ahtisaari, former president (1994–2000) of Finland, for his work over more than 30 years in settling international disputes, many involving ethnic,… …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”