Computable embeddability for algebraic structures (Q5876742): Difference between revisions

@@ Property / cites work @@
+Polynomial computability of fields of algebraic numbers
+Normal rank
@@ Property / cites work @@
+A Survey on Universal Computably Enumerable Equivalence Relations
+Normal rank
@@ Property / cites work @@
+UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
+Normal rank
@@ Property / cites work @@
+The theory of ceers computes true arithmetic
@@ Property / cites work: The theory of ceers computes true arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Joins and meets in the structure of ceers
@@ Property / cites work: Joins and meets in the structure of ceers / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Weakly precomplete computably enumerable equivalence relations
+Normal rank
@@ Property / cites work @@
+FOUNDATIONS OF ONLINE STRUCTURE THEORY
@@ Property / cites work: FOUNDATIONS OF ONLINE STRUCTURE THEORY / rank @@
+Normal rank
@@ Property / cites work @@
+Computable bi-embeddable categoricity
@@ Property / cites work: Computable bi-embeddable categoricity / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of bi-embeddable categoricity of equivalence structures
+Normal rank
@@ Property / cites work @@
+Degrees of bi-embeddable categoricity
@@ Property / cites work: Degrees of bi-embeddable categoricity / rank @@
+Normal rank
@@ Property / cites work @@
+AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
+Normal rank
@@ Property / cites work @@
+Weakly precomplete equivalence relations in the Ershov hierarchy
+Normal rank
@@ Property / cites work @@
+Classifying equivalence relations in the Ershov hierarchy
+Normal rank
@@ Property / cites work @@
+Minimal equivalence relations in hyperarithmetical and analytical hierarchies
+Normal rank
@@ Property / cites work @@
+Computable isomorphisms of distributive lattices
@@ Property / cites work: Computable isomorphisms of distributive lattices / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation provable equivalence and on partitions in effectively inseparable sets
+Normal rank
@@ Property / cites work @@
+Classifying positive equivalence relations
@@ Property / cites work: Classifying positive equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Uncountable structures are not classifiable up to bi-embeddability
+Normal rank
@@ Property / cites work @@
+The bi-embeddability relation for countable abelian groups
+Normal rank
@@ Property / cites work @@
+Space complexity of abelian groups
@@ Property / cites work: Space complexity of abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time versus recursive models
@@ Property / cites work: Polynomial-time versus recursive models / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time Abelian groups
@@ Property / cites work: Polynomial-time Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249365
@@ Property / cites work: Q4249365 / rank @@
+Normal rank
@@ Property / cites work @@
+PUNCTUAL CATEGORICITY AND UNIVERSALITY
@@ Property / cites work: PUNCTUAL CATEGORICITY AND UNIVERSALITY / rank @@
+Normal rank
@@ Property / cites work @@
+Q5155667
@@ Property / cites work: Q5155667 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie der Numerierungen I
@@ Property / cites work: Theorie der Numerierungen I / rank @@
+Normal rank
@@ Property / cites work @@
+Positive equivalences
@@ Property / cites work: Positive equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence Relations That Are $\Sigma^0_3$ Complete for Computable Reducibility
+Normal rank
@@ Property / cites work @@
+Isomorphism relations on computable structures
@@ Property / cites work: Isomorphism relations on computable structures / rank @@
+Normal rank
@@ Property / cites work @@
+A Borel reductibility theory for classes of countable structures
+Normal rank
@@ Property / cites work @@
+Q3525843
@@ Property / cites work: Q3525843 / rank @@
+Normal rank
@@ Property / cites work @@
+Computably enumerable equivalence relations
@@ Property / cites work: Computably enumerable equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451633
@@ Property / cites work: Q4451633 / rank @@
+Normal rank
@@ Property / cites work @@
+Every recursive linear ordering has a copy in DTIME-SPACE(<i>n</i>,log(<i>n</i>))
+Normal rank
@@ Property / cites work @@
+Borel Equivalence Relations
@@ Property / cites work: Borel Equivalence Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Recent developments in the theory of Borel reducibility
+Normal rank
@@ Property / cites work @@
+COMPLEXITY OF EQUIVALENCE RELATIONS AND PREORDERS FROM COMPUTABILITY THEORY
+Normal rank
@@ Property / cites work @@
+Algebraic structures computable without delay
@@ Property / cites work: Algebraic structures computable without delay / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetic hierarchy of Abelian groups
@@ Property / cites work: Arithmetic hierarchy of Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249727
@@ Property / cites work: Q4249727 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete analytic equivalence relations
@@ Property / cites work: Complete analytic equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTABLE ABELIAN GROUPS
@@ Property / cites work: COMPUTABLE ABELIAN GROUPS / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating unbounded search in computable algebra
+Normal rank
@@ Property / cites work @@
+The back-and-forth method and computability without delay
+Normal rank
@@ Property / cites work @@
+A structure of punctual dimension two
@@ Property / cites work: A structure of punctual dimension two / rank @@
+Normal rank
@@ Property / cites work @@
+Q3478393
@@ Property / cites work: Q3478393 / rank @@
+Normal rank
@@ Property / cites work @@
+On the degree structure of equivalence relations under computable reducibility
+Normal rank
@@ Property / cites work @@
+Algorithmic complexity of algebraic systems
@@ Property / cites work: Algorithmic complexity of algebraic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+JSL volume 79 issue 2 Cover and Back matter
@@ Property / cites work: JSL volume 79 issue 2 Cover and Back matter / rank @@
+Normal rank