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

@@ Property / Mathematics Subject Classification ID @@
+C57
@@ Property / Mathematics Subject Classification ID: 03C57 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B25
@@ Property / Mathematics Subject Classification ID: 03B25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E05
@@ Property / Mathematics Subject Classification ID: 06E05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6032837
@@ Property / zbMATH DE Number: 6032837 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Boolean algebra
@@ Property / zbMATH Keywords: Boolean algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computable set
@@ Property / zbMATH Keywords: computable set / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computable model
@@ Property / zbMATH Keywords: computable model / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+strongly computable model
@@ Property / zbMATH Keywords: strongly computable model / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\(n\)-computability
@@ Property / zbMATH Keywords: \(n\)-computability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decidable model
@@ Property / zbMATH Keywords: decidable model / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+elementary characteristic of a Boolean algebra
+Normal rank
@@ Property / zbMATH Keywords @@
+Ershov-Tarski ideal
@@ Property / zbMATH Keywords: Ershov-Tarski ideal / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:416985