Computable Isomorphisms of Boolean Algebras with Operators

Studia Logica 100 (3):481-496 (2012)

Tomasz Kowalski
La Trobe University
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 42,369
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.
Algebraic Polymodal Logic: A Survey.R. Goldblatt - 2000 - Logic Journal of the IGPL 8 (4):393-450.
Recursive Isomorphism Types of Recursive Boolean Algebras.J. B. Remmel - 1981 - Journal of Symbolic Logic 46 (3):572-594.

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.


Added to PP index

Total views
15 ( #536,206 of 2,255,273 )

Recent downloads (6 months)
1 ( #1,004,425 of 2,255,273 )

How can I increase my downloads?


My notes

Sign in to use this feature