On the strength of König's duality theorem for infinite bipartite graphs (Q1193566): 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.1016/0095-8956(92)90057-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2065601606
@@ Property / OpenAlex ID: W2065601606 / rank @@
+Normal rank
@@ Property / cites work @@
+On a Duality Principle in Infinite Bipartite Graphs
+Normal rank
@@ Property / cites work @@
+König's Duality Theorem for Infinite Bipartite Graphs
+Normal rank
@@ Property / cites work @@
+Strong transfinite version of König's duality theorem
+Normal rank
@@ Property / cites work @@
+Harvey Friedman's research on the foundations of mathematics
+Normal rank
@@ Property / cites work @@
+Q3478406
@@ Property / cites work: Q3478406 / rank @@
+Normal rank
@@ Property / cites work @@
+Injective choice functions
@@ Property / cites work: Injective choice functions / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey's theorem and recursion theory
@@ Property / cites work: Ramsey's theorem and recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+An Effective Version of Dilworth's Theorem
@@ Property / cites work: An Effective Version of Dilworth's Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of recursive dimension of ordered sets
@@ Property / cites work: A theory of recursive dimension of ordered sets / rank @@
+Normal rank
@@ Property / cites work @@
+Matching theory
@@ Property / cites work: Matching theory / rank @@
+Normal rank
@@ Property / cites work @@
+Injective choice functions for countable families
@@ Property / cites work: Injective choice functions for countable families / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Colorings of Graphs
@@ Property / cites work: Recursive Colorings of Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The Effective Version of Brooks' Theorem
@@ Property / cites work: The Effective Version of Brooks' Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3699664
@@ Property / cites work: Q3699664 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+On Schmerl's effective version of Brooks' theorem
@@ Property / cites work: On Schmerl's effective version of Brooks' theorem / rank @@
+Normal rank