Computable numberings of the class of Boolean algebras with distinguished endomorphisms (Q893075): Difference between revisions

@@ Property / cites work @@
+Q4451633
@@ Property / cites work: Q4451633 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of the index set of a constructive model
+Normal rank
@@ Property / cites work @@
+On the complexity of categoricity in computable structures
+Normal rank
@@ Property / cites work @@
+Comparing Classes of Finite Structures
@@ Property / cites work: Comparing Classes of Finite Structures / rank @@
+Normal rank
@@ Property / cites work @@
+The isomorphism problem for classes of computable fields
+Normal rank
@@ Property / cites work @@
+The isomorphism problem for computable Abelian <sub><i>p</i></sub>-groups of bounded length
+Normal rank
@@ Property / cites work @@
+Classification from a Computable Viewpoint
@@ Property / cites work: Classification from a Computable Viewpoint / rank @@
+Normal rank
@@ Property / cites work @@
+Index sets of computable structures
@@ Property / cites work: Index sets of computable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Index sets for classes of high rank structures
@@ Property / cites work: Index sets for classes of high rank structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3544794
@@ Property / cites work: Q3544794 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3545596
@@ Property / cites work: Q3545596 / rank @@
+Normal rank
@@ Property / cites work @@
+Index sets for some classes of structures
@@ Property / cites work: Index sets for some classes of structures / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean algebras, Tarski invariants, and index sets
+Normal rank
@@ Property / cites work @@
+Q5294729
@@ Property / cites work: Q5294729 / rank @@
+Normal rank
@@ Property / cites work @@
+Autostability of models and Abelian groups
@@ Property / cites work: Autostability of models and Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4935938
@@ Property / cites work: Q4935938 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q4895321
@@ Property / cites work: Q4895321 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530731
@@ Property / cites work: Q4530731 / rank @@
+Normal rank
@@ Property / cites work @@
+The class of projective planes is noncomputable
@@ Property / cites work: The class of projective planes is noncomputable / rank @@
+Normal rank
@@ Property / cites work @@
+Q2898974
@@ Property / cites work: Q2898974 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism
+Normal rank