top
A MAD (maximal almost disjoint) family is an infinite subset of the infinite subsets of ω = 0,1,2,... such that any two elements of intersect in a finite set and every infinite subset of ω meets some element of in an infinite set. A Q-set is an uncountable set of reals such that every subset is a relative -set. It is shown that it is relatively consistent with ZFC that there exists a MAD family which is also a Q-set in the topology it inherits as a subset of .
Arnold W. Miller. "A MAD Q-set." Fundamenta Mathematicae 178.3 (2003): 271-281. <http://eudml.org/doc/282884>.
@article{ArnoldW2003, abstract = {A MAD (maximal almost disjoint) family is an infinite subset of the infinite subsets of ω = 0,1,2,... such that any two elements of intersect in a finite set and every infinite subset of ω meets some element of in an infinite set. A Q-set is an uncountable set of reals such that every subset is a relative $G_δ$-set. It is shown that it is relatively consistent with ZFC that there exists a MAD family which is also a Q-set in the topology it inherits as a subset of $P(ω) = 2^\{ω\}$.}, author = {Arnold W. Miller}, journal = {Fundamenta Mathematicae}, language = {eng}, number = {3}, pages = {271-281}, title = {A MAD Q-set}, url = {http://eudml.org/doc/282884}, volume = {178}, year = {2003}, }
TY - JOUR AU - Arnold W. Miller TI - A MAD Q-set JO - Fundamenta Mathematicae PY - 2003 VL - 178 IS - 3 SP - 271 EP - 281 AB - A MAD (maximal almost disjoint) family is an infinite subset of the infinite subsets of ω = 0,1,2,... such that any two elements of intersect in a finite set and every infinite subset of ω meets some element of in an infinite set. A Q-set is an uncountable set of reals such that every subset is a relative $G_δ$-set. It is shown that it is relatively consistent with ZFC that there exists a MAD family which is also a Q-set in the topology it inherits as a subset of $P(ω) = 2^{ω}$. LA - eng UR - http://eudml.org/doc/282884 ER -