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

@@ label / en / label / en @@
+Precomplete Equivalence Relations in Dominical Categories
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2045781
@@ Property / full work available at URL: https://doi.org/10.2307/2045781 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4234695433
@@ Property / OpenAlex ID: W4234695433 / rank @@
+Normal rank
@@ Property / title @@
+Precomplete Equivalence Relations in Dominical Categories (English)
+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 @@
+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