Skip to main content
5 of 5
While question was on top of stack anyway, three edits from slightly strange notation and phrasing to usual phrasing were made.
Peter Heinig
  • 6.1k
  • 1
  • 27
  • 47

Ramsey type theorem

Let $\mathcal{P}(\{0,\dotsc,7\})$ denote the power set of $\{0,\dotsc,7\}$.

Is the following true?

For any function $f: \mathcal{P}(\{0,\dotsc,7\})\rightarrow\{0,1\}$ there exists $0\leq k\leq 3$ and three mutually disjoint sets $A,B,C\subseteq \{0,\dotsc,7\}$ such that $\min A = 2k, \min B = 2k+1,$ and $$f(C) = f(A\cup C) = f(B\cup C) = f(A\cup B\cup C)?$$

Jiayi Liu
  • 909
  • 4
  • 10