A robuster Scott rank (Q3450085): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1972311151
@@ Property / OpenAlex ID: W1972311151 / rank @@
+Normal rank
@@ 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 @@
+Categoricity in hyperarithmetical degrees
@@ Property / cites work: Categoricity in hyperarithmetical degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible Sets and Structures
@@ Property / cites work: Admissible Sets and Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Effective categoricity of equivalence structures
@@ Property / cites work: Effective categoricity of equivalence structures / 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 @@
+Effective Categoricity of Injection Structures
@@ Property / cites work: Effective Categoricity of Injection Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4677706
@@ Property / cites work: Q4677706 / rank @@
+Normal rank
@@ Property / cites work @@
+Subspaces of computable vector spaces
@@ Property / cites work: Subspaces of computable vector spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity ranks of countable models
@@ Property / cites work: Complexity ranks of countable models / rank @@
+Normal rank
@@ Property / cites work @@
+Autostability of models
@@ Property / cites work: Autostability of models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3068266
@@ Property / cites work: Q3068266 / rank @@
+Normal rank
@@ Property / cites work @@
+The computable dimension of ordered abelian groups
+Normal rank
@@ Property / cites work @@
+Q4143289
@@ Property / cites work: Q4143289 / rank @@
+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 @@
+On the $n$-back-and-forth types of Boolean algebras
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+An interpolation theorem for denumerably long formulas
+Normal rank
@@ Property / cites work @@
+Computable categoricity of trees of finite height
@@ Property / cites work: Computable categoricity of trees of finite height / rank @@
+Normal rank
@@ Property / cites work @@
+Counting the back-and-forth types
@@ Property / cites work: Counting the back-and-forth types / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively Categorical Linear Orderings
@@ Property / cites work: Recursively Categorical Linear Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds on weak scattering
@@ Property / cites work: Bounds on weak scattering / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551146
@@ Property / cites work: Q5551146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949039
@@ Property / cites work: Q3949039 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective choice for relations and reducibilities in classes of constructive and positive models
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3450085