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

@@ 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