The minimality of certain decidability conditions for Boolean algebras (Q416985): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4895321
@@ Property / cites work: Q4895321 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596792
@@ Property / cites work: Q5596792 / rank @@
+Normal rank
@@ Property / cites work @@
+Restricted theories of constructive Boolean algebras
+Normal rank
@@ Property / cites work @@
+Some properties of the constructivization of Boolean algebras
+Normal rank
@@ Property / cites work @@
+Q4664637
@@ Property / cites work: Q4664637 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly constructive Boolean algebras
@@ Property / cites work: Strongly constructive Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of strongly computable representations in the class of Boolean algebras
+Normal rank
@@ Property / cites work @@
+Q4664633
@@ Property / cites work: Q4664633 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q4664630
@@ Property / cites work: Q4664630 / rank @@
+Normal rank