A new combinatorial characterization of the minimal cardinality of a subset of R which is not of first category

Mathematics – Logic

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

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

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

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.

Rate now

     

Profile ID: LFWR-SCP-O-239171

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.