Triangle free sets and arithmetic progressions---two Pisier type problems (Q1597783)

A question of Erdős, Nešetřil and Rödl on three term arithmetic progressions is transferred to the question whether any finite subset \(Y\) of the set \(X=\{(F,G):F,G\) finite nonempty subsets of \(\mathbb{N}\) with \(\max F < \min G\}\) contains a triangle free subset \(Z\) of guaranteed relative size \(|Z|\geq \varepsilon |Y|\), \(\varepsilon > 0\). Maximal values for \(\varepsilon\) are obtained for sets \(Y\subseteq X\) with \(n\) elements, \(n \leq 14\). For the general case it is conjectured that the question has a positive answer for \(\varepsilon = \frac{1}{2}\).