Assertion: hypothesis | /r/HasProperty | interpretable
Facets:
value: mutually
type: MANNER
value: with that of h(ω 1
type: OTHER
Source sentences:
text: For example, H(ω) = V ω and the theories of the structures H(ω 1 ) and V ω+1 are mutually interpretable.
text: The higher degree of Ω-completeness in the case for ¬CH is really illusory since it is an artifact of the fact that under (∗) the theory of H(ω 2 ) is in fact mutually interpretable with that of H(ω 1 ) (by a deep result of Woodin).