Boolean Algebras with Distinguished Endomorphisms and Generating Trees (Q5741387): Difference between revisions

@@ Property / cites work @@
+Constructivizability of superatomic Boolean algebras
+Normal rank
@@ Property / cites work @@
+Q4530731
@@ Property / cites work: Q4530731 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism
+Normal rank
@@ Property / cites work @@
+Computable isomorphisms of Boolean algebras with operators
+Normal rank
@@ Property / cites work @@
+Q4895321
@@ Property / cites work: Q4895321 / 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 @@
+Computable numberings of the class of Boolean algebras with distinguished endomorphisms
+Normal rank
@@ Property / cites work @@
+Enumerations in computable structure theory
@@ Property / cites work: Enumerations in computable structure theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computable single-valued numerations
@@ Property / cites work: Computable single-valued numerations / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees coded in jumps of orderings
@@ Property / cites work: Degrees coded in jumps of orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Problem of the number of non-self-equivalent constructivizations
+Normal rank
@@ Property / cites work @@
+Spectra of degrees of some structures
@@ Property / cites work: Spectra of degrees of some structures / rank @@
+Normal rank
@@ Property / cites work @@
+Almost computably enumerable families of sets
@@ Property / cites work: Almost computably enumerable families of sets / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerations, countable structures and Turing degrees
+Normal rank
@@ Property / cites work @@
+Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism
+Normal rank
@@ Property / cites work @@
+Q3446491
@@ Property / cites work: Q3446491 / rank @@
+Normal rank
@@ Property / cites work @@
+Relative to any nonrecursive set
@@ Property / cites work: Relative to any nonrecursive set / rank @@
+Normal rank