pith. sign in

arxiv: math/0212335 · v1 · submitted 2002-12-24 · 🧮 math.LO

A Mad Q-set

classification 🧮 math.LO
keywords infinitesubsetq-seteveryfamilyalmostcantorconsistent
0
0 comments X
read the original abstract

A MAD (maximal almost disjoint) family is an infinite subset A of the infinite subsets of {0,1,2,..} such that any two elements of A intersect in a finite set and every infinite subset of {0.1.2...} meets some element of $\aa$ in an infinite set. A Q-set is an uncountable set of reals such that every subset is a relative G-delta 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 in inherits a subset of the Power set of {0,1,2,..}, ie the Cantor set.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.