\(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings (Q1861536): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Generic copies of countable structures
@@ Property / cites work: Generic copies of countable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Effective model theory vs. recursive model theory
@@ Property / cites work: Effective model theory vs. recursive model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249724
@@ Property / cites work: Q4249724 / rank @@
+Normal rank
@@ Property / cites work @@
+Autostability and computable families of constructivizations
+Normal rank
@@ Property / cites work @@
+The quantity of nonautoequivalent constructivizations
+Normal rank
@@ Property / cites work @@
+Autostability of models and Abelian groups
@@ Property / cites work: Autostability of models and Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Problem of the number of non-self-equivalent constructivizations
+Normal rank
@@ Property / cites work @@
+Autostability of models
@@ Property / cites work: Autostability of models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4044675
@@ Property / cites work: Q4044675 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Boolean algebras
@@ Property / cites work: Computable Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994998
@@ Property / cites work: Q3994998 / rank @@
+Normal rank
@@ Property / cites work @@
+Criteria of autostability for 1-decidable models
@@ Property / cites work: Criteria of autostability for 1-decidable models / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive linear orders with recursive successivities
+Normal rank
@@ Property / cites work @@
+Recursive isomorphism types of recursive Boolean algebras
+Normal rank
@@ Property / cites work @@
+Recursively Categorical Linear Orderings
@@ Property / cites work: Recursively Categorical Linear Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank