UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS (Q2921020): 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.1017/jsl.2013.8
+Normal rank
@@ Property / OpenAlex ID @@
+W2058701006
@@ Property / OpenAlex ID: W2058701006 / rank @@
+Normal rank
@@ Property / cites work @@
+The effective theory of Borel equivalence relations
+Normal rank
@@ Property / cites work @@
+Periodicity in generations of automata
@@ Property / cites work: Periodicity in generations of automata / rank @@
+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 @@
+On the relation provable equivalence and on partitions in effectively inseparable sets
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable fragments of elementary theories
@@ Property / cites work: Undecidable fragments of elementary theories / 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 @@
+Initial segments of one-one degrees
@@ Property / cites work: Initial segments of one-one degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Uniformly Finitely Precomplete Positive Equivalences
+Normal rank