Boolean algebras, Tarski invariants, and index sets (Q2505128): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+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 @@
+Q4348127
@@ Property / cites work: Q4348127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596792
@@ Property / cites work: Q5596792 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451633
@@ Property / cites work: Q4451633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3130249
@@ Property / cites work: Q3130249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994998
@@ Property / cites work: Q3994998 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong constructivizability of countable saturated Boolean algebras
+Normal rank
@@ Property / cites work @@
+Arithmetic hierarchy and ideals of enumerated Boolean algebras
+Normal rank
@@ Property / cites work @@
+Index sets of classes of hyper-hypersimple sets
@@ Property / cites work: Index sets of classes of hyper-hypersimple sets / rank @@
+Normal rank
@@ Property / cites work @@
+Fine hierarchy and definable index sets
@@ Property / cites work: Fine hierarchy and definable index sets / rank @@
+Normal rank
@@ Property / cites work @@
+Invariants, Boolean algebras and ACA₀⁺
@@ Property / cites work: Invariants, Boolean algebras and ACA₀⁺ / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5802110
@@ Property / cites work: Q5802110 / rank @@
+Normal rank
@@ Property / cites work @@
+$∀_n$-theories of Boolean algebras
@@ Property / cites work: $∀_n$-theories of Boolean algebras / rank @@
+Normal rank