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

@@ Property / author @@
-Kenneth D. Harris
@@ Property / author: Kenneth D. Harris / rank @@
-Normal rank
@@ Property / author @@
+Kenneth D. Harris
@@ Property / author: Kenneth D. Harris / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1090/s0002-9947-2011-05331-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2095794440
@@ Property / OpenAlex ID: W2095794440 / rank @@
+Normal rank