Mathematics – Logic
Scientific paper
1999-11-17
Mathematics
Logic
4 pages, LaTeX 209, a new theorem added (see Abstract and Note on p.2)
Scientific paper
Let M denote the ideal of first category subsets of R. We prove that min{card X: X \subseteq R, X \not\in M} is the smallest cardinality of a family S \subseteq {0,1}^\omega with the property that for each f: \omega -> \bigcup_{n \in \omega}{0,1}^n there exists a sequence {a_n}_{n \in \omega} belonging to S such that for infinitely many i \in \omega the infinite sequence {a_{i+n}}_{n \in \omega} extends the finite sequence f(i). We inform that S \subseteq {0,1}^\omega is not of first category if and only if for each f: \omega -> \bigcup_{n \in \omega}{0,1}^n there exists a sequence {a_n}_{n \in \omega} belonging to S such that for infinitely many i \in \omega the infinite sequence {a_{i+n}}_{n \in \omega} extends the finite sequence f(i).
No associations
LandOfFree
A new combinatorial characterization of the minimal cardinality of a subset of R which is not of first category does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A new combinatorial characterization of the minimal cardinality of a subset of R which is not of first category, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A new combinatorial characterization of the minimal cardinality of a subset of R which is not of first category will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-239171