Description:
Relationships between the forms Form 336(\(n\)) and Form 342(\(n\))
Content:
The relationships between the forms Form 336(\(n\)) and Form 342(\(n\)) were discussed by C. Montenegro in a talk at the Latin American Logic Symposium in Bogota, 1995. Form 336(\(n\)) is: If \(X\) is infinite then there is an infinite \(Y\subseteq X\) such that \(\{t\subseteq Y: |t|=n\}\) has a choice function and Form 342(\(n\)) is \(PC(\infty,n,\infty)\).) He noted that for \(n= 2\) or 3, Form 336(\(n\)) clearly implies Form 342(\(n\)). He proved that Form 336(4) implies Form 342(4). The question ofwhether or not Form 336(5) implies Form 342(5) is open.
Howard-Rubin number: 111
Type: Summary of results
Back