Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Robinson's_joint_consistency_theorem> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- Robinson's_joint_consistency_theorem abstract "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 and be first-order theories. If and are consistent and the intersection is complete (in the common language of and ), then the union is consistent. Note that a theory is complete if it decides every formula, i.e. either or .Since the completeness assumption is quite hard to fulfill, there is a variant of the theorem:Let and be first-order theories. If and are consistent and if there is no formula in the common language of and such that and , then the union is consistent.".
- Robinson's_joint_consistency_theorem wikiPageExternalLink books?id=Yy14JSjPyY8C.
- Robinson's_joint_consistency_theorem wikiPageID "12761741".
- Robinson's_joint_consistency_theorem wikiPageRevisionID "544911659".
- Robinson's_joint_consistency_theorem hasPhotoCollection Robinson's_joint_consistency_theorem.
- Robinson's_joint_consistency_theorem subject Category:Mathematical_logic.
- Robinson's_joint_consistency_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Robinson's_joint_consistency_theorem type Abstraction100002137.
- Robinson's_joint_consistency_theorem type Communication100033020.
- Robinson's_joint_consistency_theorem type Message106598915.
- Robinson's_joint_consistency_theorem type Proposition106750804.
- Robinson's_joint_consistency_theorem type Statement106722453.
- Robinson's_joint_consistency_theorem type Theorem106752293.
- Robinson's_joint_consistency_theorem type TheoremsInTheFoundationsOfMathematics.
- Robinson's_joint_consistency_theorem comment "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 and be first-order theories. If and are consistent and the intersection is complete (in the common language of and ), then the union is consistent. Note that a theory is complete if it decides every formula, i.e.".
- Robinson's_joint_consistency_theorem label "Robinson's joint consistency theorem".
- Robinson's_joint_consistency_theorem sameAs 로빈슨의_정리.
- Robinson's_joint_consistency_theorem sameAs m.02x3qq7.
- Robinson's_joint_consistency_theorem sameAs Q7352955.
- Robinson's_joint_consistency_theorem sameAs Q7352955.
- Robinson's_joint_consistency_theorem sameAs Robinson's_joint_consistency_theorem.
- Robinson's_joint_consistency_theorem wasDerivedFrom Robinson's_joint_consistency_theorem?oldid=544911659.
- Robinson's_joint_consistency_theorem isPrimaryTopicOf Robinson's_joint_consistency_theorem.