Precomplete Equivalence Relations in Dominical Categories (Q3741621): Difference between revisions

@@ 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 @@
+Q3752374
@@ Property / cites work: Q3752374 / rank @@
+Normal rank
@@ Property / cites work @@
+Dominical categories: recursion theory without elements
+Normal rank
@@ Property / cites work @@
+Q3720582
@@ Property / cites work: Q3720582 / rank @@
+Normal rank
@@ Property / cites work @@
+The hereditary partial effective functionals and recursion theory in higher types
+Normal rank
@@ Property / cites work @@
+Q3684058
@@ Property / cites work: Q3684058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank