On pairs of definable orthogonal families (Q1022568)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On pairs of definable orthogonal families
scientific article

    Statements

    On pairs of definable orthogonal families (English)
    0 references
    0 references
    0 references
    22 June 2009
    0 references
    Two families \(\mathcal A\) and \(\mathcal B\) of infinite subsets of the natural numbers are said to be orthogonal if \(A\cap B\) is finite for each \(A\in{\mathcal A}\) and \(B\in {\mathcal B}\). A hereditary family \(\mathcal A\) of infinite subsets of the naturals is an M-family if for every sequence \((A_n)_n\) in \(\mathcal A\) there is \(A\in {\mathcal A}\) whose all but finitely many elements are in \(\bigcup_{i\geq n}A_i\) for all \(n\). The authors study the structure of a pair of orthogonal hereditary families \(\mathcal A\) and \(\mathcal B\), where \(\mathcal A\) is analytic and \(\mathcal B\) is \(C\)-measurable and an M-family. (A subset of a Polish space is \(C\)-measurable if it belongs to the \(\sigma\)-algebra generated by Borel sets and closed under the Souslin operation.)
    0 references
    hereditary family
    0 references
    orthogonal families
    0 references
    M-family
    0 references
    analytic set
    0 references
    perfect Lusin gap
    0 references
    countably separated families
    0 references
    ideal
    0 references
    Fréchet property
    0 references
    tree
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references