On Analytic Filters and Prefilters
Zafrany, Samy
J. Symbolic Logic, Tome 55 (1990) no. 1, p. 315-322 / Harvested from Project Euclid
We show that every analytic filter is generated by a $\Pi^0_2$ prefilter, every $\Sigma^0_2$ filter is generated by a $\Pi^0_1$ prefilter, and if $P \subseteq \mathscr{P}(\omega)$ is a $\Sigma^0_2$ prefilter then the filter generated by it is also $\Sigma^0_2$. The last result is unique for the Borel classes, as there is a $\Pi^0_2$-complete prefilter $P$ such that the filter generated by it is $\Sigma^1_1$-complete. Also, no complete coanalytic filter is generated by an analytic prefilter. The proofs use Konig's infinity lemma, a normal form theorem for monotone analytic sets, and Wadge reductions.
Publié le : 1990-03-14
Classification: 
@article{1183743201,
     author = {Zafrany, Samy},
     title = {On Analytic Filters and Prefilters},
     journal = {J. Symbolic Logic},
     volume = {55},
     number = {1},
     year = {1990},
     pages = { 315-322},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743201}
}
Zafrany, Samy. On Analytic Filters and Prefilters. J. Symbolic Logic, Tome 55 (1990) no. 1, pp.  315-322. http://gdmltest.u-ga.fr/item/1183743201/