Fine hierarchies via Priestley duality

DOI10.1016/j.apal.2011.12.029zbMath1247.03094OpenAlexW2003031003MaRDI QIDQ424549

Victor L. Selivanov

Publication date: 1 June 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.12.029

zbMATH Keywords

Priestley spacealternating treehierarchyStone space\(k\)-partition\(m\)-reducibility

Mathematics Subject Classification ID

Lattices and duality (06D50) Preorders, orders, domains and lattices (viewed as categories) (18B35) Other degrees and reducibilities in computability and recursion theory (03D30) Hierarchies of computability and definability (03D55)

Related Items (11)

Duality, non-standard elements, and dynamic properties of r.e. sets ⋮ Non-collapse of the effective Wadge hierarchy ⋮ A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES ⋮ Effective wadge hierarchy in computable quasi-Polish spaces ⋮ Towards a descriptive theory of cb₀-spaces ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ Unnamed Item ⋮ Well-Quasi Orders and Hierarchy Theory ⋮ Extending Wadge theory to \(k\)-partitions ⋮ A Fine Hierarchy of ω-Regular k-Partitions ⋮ Non-collapse of the effective wadge hierarchy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hierarchies of hyperarithmetical sets and functions
• Descending chains and antichains of the unary, linear, and monotone subfunction relations
• The Boolean hierarchy of NP-partitions
• Fine hierarchies and m-reducibilities in theoretical computer science
• Fine hierarchy of regular \(\omega\)-languages
• Topology and descriptive set theory
• NP-partitions over posets with an application to reducing the set of solutions of NP problems
• Labeled posets are universal
• The theory of well-quasi-ordering: a frequently discovered concept
• A reducibility for the dot-depth hierarchy
• A note on parallel queries and the symmetric-difference hierarchy.
• A Fine Hierarchy of ω-Regular k-Partitions
• FINE HIERARCHY OF REGULAR APERIODIC ω-LANGUAGES
• Hierarchies and reducibilities on regular languages related to modulo counting
• The difference and truth-table hierarchies for NP
• On ω-regular sets
• Fine hierarchies and Boolean terms
• A Game Theoretical Approach to The Algebraic Counterpart of The Wagner Hierarchy : Part II
• Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The Theory of Representation for Boolean Algebras
• Applications of the Theory of Boolean Rings to General Topology

This page was built for publication: Fine hierarchies via Priestley duality