Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism (Q384395): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+C57
@@ Property / Mathematics Subject Classification ID: 03C57 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C35
@@ Property / Mathematics Subject Classification ID: 03C35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D25
@@ Property / Mathematics Subject Classification ID: 03D25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E25
@@ Property / Mathematics Subject Classification ID: 06E25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6233998
@@ Property / zbMATH DE Number: 6233998 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Boolean algebra with distinguished automorphism
+Normal rank
@@ Property / zbMATH Keywords @@
+computable categoricity
@@ Property / zbMATH Keywords: computable categoricity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+categoricity spectrum
@@ Property / zbMATH Keywords: categoricity spectrum / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+degree of categoricity
@@ Property / zbMATH Keywords: degree of categoricity / rank @@
+Normal rank

Revision as of 13:31, 29 June 2023