Every Low Boolean Algebra is Isomorphic to a Recursive One (Q4318310): Difference between revisions

@@ label / en / label / en @@
+Every Low Boolean Algebra is Isomorphic to a Recursive One
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2160766
@@ Property / full work available at URL: https://doi.org/10.2307/2160766 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4242595449
@@ Property / OpenAlex ID: W4242595449 / rank @@
+Normal rank
@@ Property / title @@
+Every Low Boolean Algebra is Isomorphic to a Recursive One (English)
+Normal rank
@@ Property / cites work @@
+Stability of recursive structures in arithmetical degrees
+Normal rank
@@ Property / cites work @@
+Jumps of Orderings
@@ Property / cites work: Jumps of Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Every recursive Boolean algebra is isomorphic to one with incomplete atoms
+Normal rank
@@ Property / cites work @@
+Orderings with αth Jump Degree 0 (α)
@@ Property / cites work: Orderings with αth Jump Degree 0 (α) / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Linear Orders with Incomplete Successivities
+Normal rank
@@ Property / cites work @@
+Hierarchies of Boolean algebras
@@ Property / cites work: Hierarchies of Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The strong homogeneity conjecture
@@ Property / cites work: The strong homogeneity conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Nonrecursive Presentability
@@ Property / cites work: Degrees of Nonrecursive Presentability / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of orderings not isomorphic to recursive linear orderings
+Normal rank
@@ Property / cites work @@
+Boolean algebras, Stone spaces, and the iterated Turing jump
+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 @@
+A metatheorem for constructions by finitely many workers
+Normal rank
@@ Property / cites work @@
+Q5513066
@@ Property / cites work: Q5513066 / rank @@
+Normal rank
@@ Property / cites work @@
+Path integral quantisation of the open strings normal modes
+Normal rank
@@ Property / cites work @@
+Recursive Boolean algebras with recursive atoms
@@ Property / cites work: Recursive Boolean algebras with recursive atoms / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive isomorphism types of recursive Boolean algebras
+Normal rank
@@ Property / cites work @@
+Degrees of Structures
@@ Property / cites work: Degrees of Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / 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 / cites work @@
+A generalization of Tennenbaum's theorem on effectively finite recursive linear orderings
+Normal rank