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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10469-013-9224-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2042668915
@@ Property / OpenAlex ID: W2042668915 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerations in computable structure theory
@@ Property / cites work: Enumerations in computable structure theory / rank @@
+Normal rank
@@ Property / cites work @@
+Intrinsic bounds on complexity and definability at limit levels
+Normal rank
@@ Property / cites work @@
+Degrees of categoricity of computable structures
@@ Property / cites work: Degrees of categoricity of computable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of categoricity and the hyperarithmetic hierarchy
+Normal rank
@@ Property / cites work @@
+Autostability of models
@@ Property / cites work: Autostability of models / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive isomorphism types of recursive Boolean algebras
+Normal rank
@@ Property / cites work @@
+\(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings
+Normal rank
@@ Property / cites work @@
+Q4795524
@@ Property / cites work: Q4795524 / rank @@
+Normal rank
@@ Property / cites work @@
+Autostable I-Algebras
@@ Property / cites work: Autostable I-Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5398260
@@ Property / cites work: Q5398260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2898974
@@ Property / cites work: Q2898974 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism
+Normal rank
@@ Property / cites work @@
+Q4895321
@@ Property / cites work: Q4895321 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4935938
@@ Property / cites work: Q4935938 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank