Research output: Contribution to journal › Article › peer-review
Boolean hierarchies of partitions over a reducible base. / Selivanov, V. L.
In: Algebra and Logic, Vol. 43, No. 1, 01.01.2004, p. 44-61.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - Boolean hierarchies of partitions over a reducible base
AU - Selivanov, V. L.
PY - 2004/1/1
Y1 - 2004/1/1
N2 - The Boolean hierarchy of partitions was introduced and studied by Kosub and Wagner, primarily over the lattice of NP-sets. Here, this hierarchy is treated over lattices with the reduction property, showing that it has a much simpler structure in this instance. A complete characterization is given for the hierarchy over some important lattices, in particular, over the lattices of recursively enumerable sets and of open sets in the Baire space. © 2004 Plenum Publishing Corporation.
AB - The Boolean hierarchy of partitions was introduced and studied by Kosub and Wagner, primarily over the lattice of NP-sets. Here, this hierarchy is treated over lattices with the reduction property, showing that it has a much simpler structure in this instance. A complete characterization is given for the hierarchy over some important lattices, in particular, over the lattices of recursively enumerable sets and of open sets in the Baire space. © 2004 Plenum Publishing Corporation.
KW - Boolean hierarchy of partitions
KW - Lattice of open sets of the Baire space
KW - Lattice of recursively enumerable sets
KW - Lattice with the reduction property
UR - http://www.scopus.com/inward/record.url?scp=33750048402&partnerID=8YFLogxK
U2 - 10.1023/B:ALLO.0000015130.31054.b3
DO - 10.1023/B:ALLO.0000015130.31054.b3
M3 - Article
AN - SCOPUS:33750048402
VL - 43
SP - 44
EP - 61
JO - Algebra and Logic
JF - Algebra and Logic
SN - 0002-5232
IS - 1
ER -
ID: 127140695