On the strength of marriage theorems and uniformity (Q5419204): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.201300021
+Normal rank
@@ Property / OpenAlex ID @@
+W1938681473
@@ Property / OpenAlex ID: W1938681473 / rank @@
+Normal rank
@@ Property / cites work @@
+Closed choice and a uniform low basis theorem
@@ Property / cites work: Closed choice and a uniform low basis theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Weihrauch degrees, omniscience principles and weak computability
+Normal rank
@@ Property / cites work @@
+Effective Choice and Boundedness Principles in Computable Analysis
+Normal rank
@@ Property / cites work @@
+On uniform relationships between combinatorial problems
+Normal rank
@@ Property / cites work @@
+Reverse mathematics, trichotomy, and dichotomy
@@ Property / cites work: Reverse mathematics, trichotomy, and dichotomy / rank @@
+Normal rank
@@ Property / cites work @@
+Distinct representatives of subsets
@@ Property / cites work: Distinct representatives of subsets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3478406
@@ Property / cites work: Q3478406 / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of Reals in Reverse Mathematics
@@ Property / cites work: Representations of Reals in Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and uniformity in proofs without excluded middle
+Normal rank
@@ Property / cites work @@
+An Effective Version of Hall's Theorem
@@ Property / cites work: An Effective Version of Hall's Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Matchmaking (Recursion Theoretic Aspects of a Theorem of Philip Hall)
+Normal rank