Standard

Classifying countable Boolean terms. / Selivanov, V. L.

In: Algebra and Logic, Vol. 44, No. 2, 01.03.2005, p. 95-108.

Research output: Contribution to journal › Article › peer-review

Harvard

Selivanov, VL 2005, 'Classifying countable Boolean terms', Algebra and Logic, vol. 44, no. 2, pp. 95-108. https://doi.org/10.1007/s10469-005-0011-2

APA

Selivanov, V. L. (2005). Classifying countable Boolean terms. Algebra and Logic, 44(2), 95-108. https://doi.org/10.1007/s10469-005-0011-2

Vancouver

Selivanov VL. Classifying countable Boolean terms. Algebra and Logic. 2005 Mar 1;44(2):95-108. https://doi.org/10.1007/s10469-005-0011-2

Author

Selivanov, V. L. / Classifying countable Boolean terms. In: Algebra and Logic. 2005 ; Vol. 44, No. 2. pp. 95-108.

BibTeX

@article{cd10949248624444a9b59dab4310fdf5,
title = "Classifying countable Boolean terms",
abstract = "We deal with the Borel and difference hierarchies in the space Pω of all subsets of ω endowed with the Scott topology. (The spaces Pω and 2 ω coincide set-theoretically but differ topologically.) We look at the Wadge reducibility in Pω. The results obtained are applied to the problem of characterizing ω 1-terms t which satisfy C = t(∑ 10 ) for a given Borel-Wadge class 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. {\textcopyright} 2005 Springer Science+Business Media, Inc.",
keywords = "Borel hierarchy, Countable Boolean term, Hausdorff difference hierarchy, Wadge hierarchy",
author = "Selivanov, {V. L.}",
year = "2005",
month = mar,
day = "1",
doi = "10.1007/s10469-005-0011-2",
language = "English",
volume = "44",
pages = "95--108",
journal = "Algebra and Logic",
issn = "0002-5232",
publisher = "Springer Nature",
number = "2",

}

RIS

TY - JOUR

T1 - Classifying countable Boolean terms

AU - Selivanov, V. L.

PY - 2005/3/1

Y1 - 2005/3/1

N2 - We deal with the Borel and difference hierarchies in the space Pω of all subsets of ω endowed with the Scott topology. (The spaces Pω and 2 ω coincide set-theoretically but differ topologically.) We look at the Wadge reducibility in Pω. The results obtained are applied to the problem of characterizing ω 1-terms t which satisfy C = t(∑ 10 ) for a given Borel-Wadge class 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. © 2005 Springer Science+Business Media, Inc.

AB - We deal with the Borel and difference hierarchies in the space Pω of all subsets of ω endowed with the Scott topology. (The spaces Pω and 2 ω coincide set-theoretically but differ topologically.) We look at the Wadge reducibility in Pω. The results obtained are applied to the problem of characterizing ω 1-terms t which satisfy C = t(∑ 10 ) for a given Borel-Wadge class 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. © 2005 Springer Science+Business Media, Inc.

KW - Borel hierarchy

KW - Countable Boolean term

KW - Hausdorff difference hierarchy

KW - Wadge hierarchy

UR - http://www.scopus.com/inward/record.url?scp=18244394004&partnerID=8YFLogxK

U2 - 10.1007/s10469-005-0011-2

DO - 10.1007/s10469-005-0011-2

M3 - Article

AN - SCOPUS:18244394004

VL - 44

SP - 95

EP - 108

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 2

ER -

ID: 127140152