\(\Pi^0_1\)-presentations of algebras (Q2505502): Difference between revisions

@@ 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.1007/s00153-006-0013-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2074185447
@@ Property / OpenAlex ID: W2074185447 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of Boolean algebras
@@ Property / cites work: Hierarchies of Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of computability theory
@@ Property / cites work: Handbook of computability theory / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of recursive mathematics. Vol. 1: Recursive model theory
+Normal rank
@@ Property / cites work @@
+Q3809790
@@ Property / cites work: Q3809790 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3362859
@@ Property / cites work: Q3362859 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789548
@@ Property / cites work: Q3789548 / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS
+Normal rank
@@ Property / cites work @@
+Stability among r.e. quotient algebras
@@ Property / cites work: Stability among r.e. quotient algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank