Fine hierarchies via Priestley duality

Annals of Pure and Applied Logic 163 (8):1075-1107 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The life and work of Victor L. Selivanov.Dieter Spreen - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 1-8.
Priestley-type dualities for partially ordered structures.Olivia Caramello - 2016 - Annals of Pure and Applied Logic 167 (9):820-849.
Topology and duality in modal logic.Giovanni Sambin & Virginia Vaccaro - 1988 - Annals of Pure and Applied Logic 37 (3):249-296.
Definability hierarchies of general quantifiers.Lauri Hella - 1989 - Annals of Pure and Applied Logic 43 (3):235.
On duality and model theory for polyadic spaces.Sam van Gool & Jérémie Marquès - 2024 - Annals of Pure and Applied Logic 175 (2):103388.
A computational glimpse at the Leibniz and Frege hierarchies.Tommaso Moraschini - 2018 - Annals of Pure and Applied Logic 169 (1):1-20.
Duality, non-standard elements, and dynamic properties of r.e. sets.V. Yu Shavrukov - 2016 - Annals of Pure and Applied Logic 167 (10):939-981.

Analytics

Added to PP
2013-10-27

Downloads
49 (#316,900)

6 months
49 (#102,057)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A q-wadge hierarchy in quasi-polish spaces.Victor Selivanov - 2022 - Journal of Symbolic Logic 87 (2):732-757.
A q-wadge hierarchy in quasi-polish spaces.Victor Selivanov - 2020 - Journal of Symbolic Logic:1-26.
Duality, non-standard elements, and dynamic properties of r.e. sets.V. Yu Shavrukov - 2016 - Annals of Pure and Applied Logic 167 (10):939-981.

Add more citations

References found in this work

The theory of Representations for Boolean Algebras.M. H. Stone - 1936 - Journal of Symbolic Logic 1 (3):118-119.
The method of alternating chains.J. W. Addison - 1965 - In The theory of models. Amsterdam,: North-Holland Pub. Co.. pp. 1--16.
Fine hierarchies and Boolean terms.V. L. Selivanov - 1995 - Journal of Symbolic Logic 60 (1):289-317.

Add more references