A syntactical proof of the Marriage Lemma. (Q1853584): Difference between revisions

@@ Property / cites work @@
+Q4399249
@@ Property / cites work: Q4399249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944905
@@ Property / cites work: Q4944905 / rank @@
+Normal rank
@@ Property / cites work @@
+Valuations and Dedekind's Prague theorem
@@ Property / cites work: Valuations and Dedekind's Prague theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753679
@@ Property / cites work: Q2753679 / rank @@
+Normal rank
@@ Property / cites work @@
+The Marriage Problem
@@ Property / cites work: The Marriage Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Completeness Theorems in Logic and Algebra
+Normal rank
@@ Property / cites work @@
+The Problem of Simplifying Truth Functions
@@ Property / cites work: The Problem of Simplifying Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Note on the Transfinite Case of Hall's Theorem on Representatives
+Normal rank
@@ Property / cites work @@
+Q5591533
@@ Property / cites work: Q5591533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079581
@@ Property / cites work: Q4079581 / rank @@
+Normal rank