On the $n$-back-and-forth types of Boolean algebras (Q3116576): Difference between revisions

@@ Property / cites work @@
+Pairs of recursive structures
@@ Property / cites work: Pairs of recursive structures / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q4664633
@@ Property / cites work: Q4664633 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
+Normal rank
@@ Property / cites work @@
+Stability of recursive structures in arithmetical degrees
+Normal rank
@@ Property / cites work @@
+Categoricity in hyperarithmetical degrees
@@ Property / cites work: Categoricity in hyperarithmetical degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Back and forth relations for reduced abelian \(p\)-groups
+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 @@
+Boolean algebras, Tarski invariants, and index sets
+Normal rank
@@ Property / cites work @@
+Every Low Boolean Algebra is Isomorphic to a Recursive One
+Normal rank
@@ Property / cites work @@
+Topological model theory
@@ Property / cites work: Topological model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing The Expressive Power of Some Languages for Boolean Algebras
+Normal rank
@@ Property / cites work @@
+Alternative characterizations of finitary and well-founded Boolean algebras
+Normal rank
@@ Property / cites work @@
+On the $n$-back-and-forth types of Boolean algebras
+Normal rank
@@ Property / cites work @@
+Boolean algebras, Stone spaces, and the iterated Turing jump
+Normal rank
@@ Property / cites work @@
+Computable Boolean algebras
@@ Property / cites work: Computable Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Minimally generated Boolean algebras
@@ Property / cites work: Minimally generated Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5661871
@@ Property / cites work: Q5661871 / rank @@
+Normal rank
@@ Property / cites work @@
+Every Low 2 Boolean Algebra has a Recursive Copy
@@ Property / cites work: Every Low 2 Boolean Algebra has a Recursive Copy / rank @@
+Normal rank