RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2005 Volume 44, Number 2, Pages 173–197 (Mi al102)

This article is cited in 4 papers

Classifying Countable Boolean Terms

V. L. Selivanov

Novosibirsk State Pedagogical University

Abstract: We deal with the Borel and difference hierarchies in the space $P\omega$ of all subsets of $\omega$ endowed with the Scott topology. (The spaces $P\omega$ and $2^\omega$ coincide set-theoretically but differ topologically.) We look at the Wadge reducibility in $P\omega$. The results obtained are applied to the problem of characterizing $\omega_1$ – terms $t$ which satisfy $\mathcal C =t({\boldsymbol\Sigma}^0_1)$ for a given Borel – Wadge class $\mathcal C$. We give its solution for some levels of the Wadge hierarchy, in particular, all levels of the Hausdorff difference hierarchy. Finally, we come up with a discussion of some relevant facts and open questions.

Keywords: countable Boolean term, Wadge hierarchy, Hausdorff difference hierarchy, Borel hierarchy.

UDC: 510.532

Received: 15.10.2003


 English version:
Algebra and Logic, 2005, 44:2, 95–108

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024