Content deleted Content added
Zero sharp (talk | contribs) m →Terminology: 'Cohen' is a proper name; capitalize |
No edit summary |
||
Line 20:
;Ultrafilter : A maximal filter, i.e., <math>F</math> is an ultrafilter if <math>F</math> is a filter and there is no filter <math>F'</math> properly containing <math>F</math>
; Cohen forcing: The notion of forcing <math>C</math> where conditions are elements of <math>(2^{<\omega}</math> and <math>\tau \succ_C \sigma \iff \sigma \supset \tau</math>)
Note that for Cohen forcing <math>\succ_{C}</math> is the '''reverse''' of the containment relation. This leads to an unfortunate notational confusion where some recursion theorists reverse the direction of the forcing partial order (exchanging <math>\succ_P</math> with <math>\prec_P</math> which is more natural for Cohen forcing but is at odds with the notation used in set theory.
| |||