Robinson's joint consistency theorem

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo theories with overlapping signatures
gptkbp:concerns gptkb:first-order_logic
gptkbp:field gptkb:logic
https://www.w3.org/2000/01/rdf-schema#label Robinson's joint consistency theorem
gptkbp:namedAfter gptkb:Abraham_Robinson
gptkbp:publishedIn 1956
gptkbp:relatedTo model theory
gptkbp:state If two first-order theories are consistent and their shared language is consistent, then their union is consistent.
gptkbp:usedIn model theory
proof theory
gptkbp:bfsParent gptkb:Model_Theory
gptkbp:bfsLayer 7