Computable Isomorphisms of Boolean Algebras with Operators

Studia Logica 100 (3):481-496 (2012)
In this paper we investigate computable isomorphisms of Boolean algebras with operators (BAOs). We prove that there are examples of polymodal Boolean algebras with finitely many computable isomorphism types. We provide an example of a polymodal BAO such that it has exactly one computable isomorphism type but whose expansions by a constant have more than one computable isomorphism type. We also prove a general result showing that BAOs are complete with respect to the degree spectra of structures, computable dimensions, expansions by constants, and the degree spectra of relations
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11225-012-9411-1
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,702
Through your library
References found in this work BETA
Normal Monomodal Logics Can Simulate All Others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Recursive Isomorphism Types of Recursive Boolean Algebras.J. B. Remmel - 1981 - Journal of Symbolic Logic 46 (3):572-594.
Algebraic Polymodal Logic: A Survey.R. Goldblatt - 2000 - Logic Journal of the IGPL 8 (4):393-450.

View all 6 references / Add more references

Citations of this work BETA
Categoricity Spectra for Polymodal Algebras.Nikolay Bazhenov - 2016 - Studia Logica 104 (6):1083-1097.

Add more citations

Similar books and articles
Atomless Varieties.Yde Venema - 2003 - Journal of Symbolic Logic 68 (2):607-614.
Computable Boolean Algebras.Julia F. Knight & Michael Stob - 2000 - Journal of Symbolic Logic 65 (4):1605-1623.

Monthly downloads

Added to index


Total downloads

7 ( #519,642 of 2,158,667 )

Recent downloads (6 months)

4 ( #86,888 of 2,158,667 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums