On pairs of definable orthogonal families (Q1022568): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Importer (talk | contribs)
Changed an Item
Property / arXiv ID
 
Property / arXiv ID: 0805.2033 / rank
 
Normal rank

Revision as of 18:50, 18 April 2024

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