Notes

Description:

All the properties of Form 17 (Ramsey's Theorem I) proved by Blass also hold of Form 325

Content:

With regard to Form 325 (Ramsey's Theorem II),all the arguments given in Blass [1977a] can be modified slightly to show that all the properties of Form 17 (Ramsey's Theorem I) proved by Blass also hold of Form 325.  In particular

  1. Form 9 (Dedekind finite = finite) implies Form 325.
  2. Form  325 is true in \(\cal N1\).
  3. Form 325 is injectively boundable.

Howard-Rubin number: 46

Type: Relationships

Back