Weakly precomplete computably enumerable equivalence relations (Q2793914): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.201500057
+Normal rank
@@ Property / OpenAlex ID @@
+W2294316973
@@ Property / OpenAlex ID: W2294316973 / rank @@
+Normal rank
@@ Property / cites work @@
+UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
+Normal rank
@@ Property / cites work @@
+On weakly pre-complete positive equivalences
@@ Property / cites work: On weakly pre-complete positive equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation provable equivalence and on partitions in effectively inseparable sets
+Normal rank
@@ Property / cites work @@
+Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
+Normal rank
@@ Property / cites work @@
+Classifying positive equivalence relations
@@ Property / cites work: Classifying positive equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+A Theorem on Hypersimple Sets
@@ Property / cites work: A Theorem on Hypersimple Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Positive equivalences
@@ Property / cites work: Positive equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109656
@@ Property / cites work: Q4109656 / rank @@
+Normal rank
@@ Property / cites work @@
+Computably enumerable equivalence relations
@@ Property / cites work: Computably enumerable equivalence relations / 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 @@
+Relatively precomplete numerations and arithmetic
@@ Property / cites work: Relatively precomplete numerations and arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Uniformly Finitely Precomplete Positive Equivalences
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank