Every Tournament Contains a Winning Chain (Rédei's Theorem)
Round-robin results can be pure chaos, cycles everywhere, no champion. A one-move induction still lines everyone up so each player beat the next.
Foundations & Logic
1 articleMathematical logicProof theoryModel theorySet theoryComputability theoryType theoryOrder theoryFoundationsMetalogicPropositional logicFirst order logicHigher order and infinitary logicModal logicNon classical logicRules of inferenceSyllogistic and term logicInformal logic and fallaciesOrdinal analysisStability theoryFinite model theoryFirst order theoriesFormal arithmeticIncompleteness and undecidabilityAxioms of set theory+ 38 more