On pairs of definable orthogonal families (Q1022568): Difference between revisions
From MaRDI portal
Latest revision as of 17:20, 1 July 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
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