A Friedberg enumeration of equivalence structures (Q4596664): Difference between revisions

@@ Property / cites work @@
+UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Effectively closed sets and enumerations
@@ Property / cites work: Effectively closed sets and enumerations / 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 @@
+Q4249724
@@ Property / cites work: Q4249724 / rank @@
+Normal rank
@@ Property / cites work @@
+LIMITWISE MONOTONIC FUNCTIONS AND THEIR APPLICATIONS
+Normal rank
@@ Property / cites work @@
+Effectively categorical abelian groups
@@ Property / cites work: Effectively categorical abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Computable completely decomposable groups
@@ Property / cites work: Computable completely decomposable groups / rank @@
+Normal rank
@@ Property / cites work @@
+Abelian \(p\)-groups and the halting problem
@@ Property / cites work: Abelian \(p\)-groups and the halting problem / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated effective embeddings of abelian p-groups
@@ Property / cites work: Iterated effective embeddings of abelian p-groups / rank @@
+Normal rank
@@ Property / cites work @@
+On \(\Delta_2^0\)-categoricity of equivalence relations
+Normal rank
@@ Property / cites work @@
+The isomorphism problem for torsion-free abelian groups is analytic complete
+Normal rank
@@ Property / cites work @@
+Q4934289
@@ Property / cites work: Q4934289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+On Σ<sup>1</sup>                         <sub>1</sub>  equivalence relations over the natural numbers
+Normal rank
@@ Property / cites work @@
+Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
+Normal rank
@@ Property / cites work @@
+Summands of Separable Abelian Groups: Dedicated to Paul Turán on his 60th Birthday
+Normal rank
@@ Property / cites work @@
+Q4451633
@@ Property / cites work: Q4451633 / rank @@
+Normal rank
@@ Property / cites work @@
+<i>η</i>-representation of sets and degrees
@@ Property / cites work: <i>η</i>-representation of sets and degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Subgroups of finitely presented groups
@@ Property / cites work: Subgroups of finitely presented groups / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+Limitwise monotonic sequences and degree spectra of structures
+Normal rank
@@ Property / cites work @@
+Q4249727
@@ Property / cites work: Q4249727 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable models of theories with few models
@@ Property / cites work: Computable models of theories with few models / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Positive Equivalence Relations
@@ Property / cites work: A Note on Positive Equivalence Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Classifications of computable structures
@@ Property / cites work: Classifications of computable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank