Ideals without ccc and without property $ \boldsymbol( \mathbf{M} \boldsymbol)$ (Q4501094)

In this paper the author improves a theorem of \textit{M. Balcerzak, A. Roslanowski} and \textit{S. Shelah} [J. Symb. Log. 63, 128-148 (1998; Zbl 0899.03035)] by constructing a Borel \(\sigma\)-ideal \(I\) of subsets of a Polish space \(X\) with the following properties: \(I\) has a \(\Pi^1_1\) definition, both the ccc and property (M) fail for \(I\), but \(I\) satisfies the \(\omega_2\)-cc. The proof uses no set-theoretic assumptions beyond ZFC and this is one of the improvements over the previous result. \(I\) is defined using orbits of the logic action (see e.g. \textit{H. Becker} and \textit{A. S. Kechris}, The descriptive set theory of Polish group actions [London Mathematical Society Lecture Note Series 232, Cambride Univ. Press, Cambridge (1996; Zbl 0949.54052)]) for the language with one binary relation symbol.