Standard

Fine hierarchies via Priestley duality. / Selivanov, Victor.

In: Annals of Pure and Applied Logic, Vol. 163, No. 8, 01.08.2012, p. 1075-1107.

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

Harvard

Selivanov, V 2012, 'Fine hierarchies via Priestley duality', Annals of Pure and Applied Logic, vol. 163, no. 8, pp. 1075-1107. https://doi.org/10.1016/j.apal.2011.12.029

APA

Selivanov, V. (2012). Fine hierarchies via Priestley duality. Annals of Pure and Applied Logic, 163(8), 1075-1107. https://doi.org/10.1016/j.apal.2011.12.029

Vancouver

Selivanov V. Fine hierarchies via Priestley duality. Annals of Pure and Applied Logic. 2012 Aug 1;163(8):1075-1107. https://doi.org/10.1016/j.apal.2011.12.029

Author

Selivanov, Victor. / Fine hierarchies via Priestley duality. In: Annals of Pure and Applied Logic. 2012 ; Vol. 163, No. 8. pp. 1075-1107.

BibTeX

@article{e2eb0d25132e45be9bbbcce0d18b8dbe,
title = "Fine hierarchies via Priestley duality",
abstract = "In applications of the fine hierarchies their characterizations in terms of the so called alternating trees are of principal importance. Also, in many cases a suitable version of many-one reducibility exists that fits a given fine hierarchy. With a use of Priestley duality we obtain a surprising result that suitable versions of alternating trees and of m-reducibilities may be found for any given fine hierarchy, i.e. the methods of alternating trees and. m-reducibilities are quite general, which is of some methodological interest.Along with the hierarchies of sets, we consider also more general hierarchies of. k-partitions and in this context propose some new notions and establish new results, in particular extend the above-mentioned results for hierarchies of sets. {\textcopyright} 2012 Elsevier B.V.",
keywords = "Alternating tree, Hierarchy, K-partition, M-reducibility, Priestley space, Stone space",
author = "Victor Selivanov",
year = "2012",
month = aug,
day = "1",
doi = "10.1016/j.apal.2011.12.029",
language = "English",
volume = "163",
pages = "1075--1107",
journal = "Annals of Pure and Applied Logic",
issn = "0168-0072",
publisher = "Elsevier",
number = "8",

}

RIS

TY - JOUR

T1 - Fine hierarchies via Priestley duality

AU - Selivanov, Victor

PY - 2012/8/1

Y1 - 2012/8/1

N2 - In applications of the fine hierarchies their characterizations in terms of the so called alternating trees are of principal importance. Also, in many cases a suitable version of many-one reducibility exists that fits a given fine hierarchy. With a use of Priestley duality we obtain a surprising result that suitable versions of alternating trees and of m-reducibilities may be found for any given fine hierarchy, i.e. the methods of alternating trees and. m-reducibilities are quite general, which is of some methodological interest.Along with the hierarchies of sets, we consider also more general hierarchies of. k-partitions and in this context propose some new notions and establish new results, in particular extend the above-mentioned results for hierarchies of sets. © 2012 Elsevier B.V.

AB - In applications of the fine hierarchies their characterizations in terms of the so called alternating trees are of principal importance. Also, in many cases a suitable version of many-one reducibility exists that fits a given fine hierarchy. With a use of Priestley duality we obtain a surprising result that suitable versions of alternating trees and of m-reducibilities may be found for any given fine hierarchy, i.e. the methods of alternating trees and. m-reducibilities are quite general, which is of some methodological interest.Along with the hierarchies of sets, we consider also more general hierarchies of. k-partitions and in this context propose some new notions and establish new results, in particular extend the above-mentioned results for hierarchies of sets. © 2012 Elsevier B.V.

KW - Alternating tree

KW - Hierarchy

KW - K-partition

KW - M-reducibility

KW - Priestley space

KW - Stone space

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

U2 - 10.1016/j.apal.2011.12.029

DO - 10.1016/j.apal.2011.12.029

M3 - Article

AN - SCOPUS:84860333334

VL - 163

SP - 1075

EP - 1107

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

SN - 0168-0072

IS - 8

ER -

ID: 127085725