Assertion: hypothesis's truth | /r/HasProperty | reducible
Facets:
value: in h(δ
type: TEMPORAL
value: to truth
type: OTHER
value: in the sense of definability
type: OTHER
Source sentences:
text: The trouble is that if one rejects the Truth Constraint then on this view (assuming the Ω Conjecture) Π 2 truth in set theory is reducible in the sense of Turing reducibility to truth in H(δ 0 ) (or, assuming the Strong Ω Conjecture, H(c+)).
text: And if one rejects the Definability Constraint then on this view (assuming the Ω Conjecture) Π 2 truth in set theory is reducible in the sense of definability to truth in H(δ 0 ) (or, assuming the Strong Ω Conjecture, H(c+)).