Scott sentences for certain groups (Q1745362): Difference between revisions

@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+A characterization of the subgroups of the additive rationals
+Normal rank
@@ Property / cites work @@
+Q5616207
@@ Property / cites work: Q5616207 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing Classes of Finite Structures
@@ Property / cites work: Comparing Classes of Finite Structures / rank @@
+Normal rank
@@ Property / cites work @@
+The isomorphism problem for classes of computable fields
+Normal rank
@@ Property / cites work @@
+The isomorphism problem for computable Abelian <sub><i>p</i></sub>-groups of bounded length
+Normal rank
@@ Property / cites work @@
+Index sets of computable structures
@@ Property / cites work: Index sets of computable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Describing free groups
@@ Property / cites work: Describing free groups / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean algebras, Tarski invariants, and index sets
+Normal rank
@@ Property / cites work @@
+Complexity of the index set of a constructive model
+Normal rank
@@ Property / cites work @@
+Π<sub>1</sub><sup>1</sup> relations and paths through
+Normal rank
@@ Property / cites work @@
+Q4451633
@@ Property / cites work: Q4451633 / rank @@
+Normal rank
@@ Property / cites work @@
+On optimal Scott sentences of finitely generated algebraic structures
+Normal rank
@@ Property / cites work @@
+Describing groups
@@ Property / cites work: Describing groups / rank @@
+Normal rank
@@ Property / cites work @@
+Genericity, the Arzhantseva-Ol'shanskii method and the isomorphism problem for one-relator groups.
+Normal rank
@@ Property / cites work @@
+Elementary theory of free non-abelian groups.
@@ Property / cites work: Elementary theory of free non-abelian groups. / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+Index sets and Scott sentences
@@ Property / cites work: Index sets and Scott sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Q5295696
@@ Property / cites work: Q5295696 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145882
@@ Property / cites work: Q4145882 / rank @@
+Normal rank
@@ Property / cites work @@
+Describing free groups, Part II: Π⁰₄ hardness and no Σ₂⁰ basis
+Normal rank
@@ Property / cites work @@
+Q5551146
@@ Property / cites work: Q5551146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computability
@@ Property / cites work: Turing Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary properties of Abelian groups
@@ Property / cites work: Elementary properties of Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of categoricity in computable structures
+Normal rank