Computable isomorphisms of Boolean algebras with operators (Q694494): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-012-9411-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2024339934
@@ Property / OpenAlex ID: W2024339934 / rank @@
+Normal rank
@@ Property / cites work @@
+Computably categorical structures and expansions by constants
+Normal rank
@@ Property / cites work @@
+Autostability of models
@@ Property / cites work: Autostability of models / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+Algebraic polymodal logic: a survey
@@ Property / cites work: Algebraic polymodal logic: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+The computable dimension of ordered abelian groups
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Normal monomodal logics can simulate all others
@@ Property / cites work: Normal monomodal logics can simulate all others / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive categoricity and persistence
@@ Property / cites work: Recursive categoricity and persistence / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive isomorphism types of recursive Boolean algebras
+Normal rank