Forcing (computability): Difference between revisions

Revision as of 14:26, 20 August 2023

Revision as of 04:06, 7 January 2024

Line 17:

;condition: An element in a notion of forcing. We say a condition <math>p</math> is stronger than a condition <math>q</math> just when <math>q \succ_P p</math>.

;compatible conditions: Given conditions <math>p,q</math> say that <math>p</math> and <math>q</math> are compatible if there is a condition <math>r</math> such that with respect to <math>r</math>, pboth \succ_P r<math>p</math> and <math>q \succ_P r</math>. can be simultaneously satisfied if they are true or allowed to coexist.<!-- Sometimes we will use '''consistent''' as a synonym for compatible. -->

;<math>p\mid q</math>