Statement:

There is a non-Ramsey set: There is a set \(A\) of infinite subsets of \(\omega\) such that for every infinite subset \(N\) of \(\omega\), \(N\) has a subset which is in \(A\) and a subset which is not in \(A\).

Howard_Rubin_Number: 234

Parameter(s): This form does not depend on parameters

This form's transferability is: Unknown

This form's negation transferability is: Negation Transferable

Article Citations:
Prikry-1976: Determinateness and partitions
Mathias-1968: On a generalization of Ramsey's theorem

Book references

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 282, 1,

Back