## Journal of Symbolic Logic

- J. Symbolic Logic
- Volume 56, Issue 3 (1991), 906-914.

### $U$-Meager Sets when the Cofinality and the Coinitiality of $U$ are Uncountable

#### Abstract

We prove that every countably determined set $C$ is $U$-meager if and only if every internal subset $A$ of $C$ is $U$-meager, provided that the cofinality and coinitiality of the cut $U$ are both uncountable. As a consequence we prove that for such cuts a countably determined set $C$ which intersects every $U$-monad in at most countably many points is $U$-meager. That complements a similar result in [KL]. We also give some partial solutions to some open problems from [KL]. We prove that the set $\mathscr{K} = \{1,\ldots,H\}$, where $H$ is an infinite integer, cannot be expressed as a countable union of countably determined sets each of which is $U$-meager for some cut $U$ with $\min\{\mathrm{cf} (U), \mathrm{ci} (U)\} \geq \omega_1$. Also, every Borel, $\Sigma^1_m$ or countably determined set $C$ which is $U$-meager for every cut $U$ is a countable union of Borel, $\Sigma^1_m$ or countably determined sets respectively, which are $U$-nowhere dense for every cut $U$. Further, the class of Borel $U$-meager sets for $\min\{\mathrm{cf}(U), \mathrm{ci}(U)\} \geq \omega_1$ coincides with the least family of sets containing internal $U$-meager sets and closed with respect to the operation of countable union and intersection. The same is true if the phrase "$U$-meager sets" is replaced by "$U$-meager for every cut $U$."

#### Article information

**Source**

J. Symbolic Logic, Volume 56, Issue 3 (1991), 906-914.

**Dates**

First available in Project Euclid: 6 July 2007

**Permanent link to this document**

https://projecteuclid.org/euclid.jsl/1183743739

**Digital Object Identifier**

doi:10.2178/jsl/1183743739

**Mathematical Reviews number (MathSciNet)**

MR1129155

**Zentralblatt MATH identifier**

0748.03038

**JSTOR**

links.jstor.org

#### Citation

Zivaljevic, Bosko. $U$-Meager Sets when the Cofinality and the Coinitiality of $U$ are Uncountable. J. Symbolic Logic 56 (1991), no. 3, 906--914. doi:10.2178/jsl/1183743739. https://projecteuclid.org/euclid.jsl/1183743739