"ramsey theory”: About 165,000 results "partition calculus”: About 24,200 results Oh dear! But at least “combinatorics": About 11,000,000 results Larry Paulson "Set Theory" About 11,900,000 results (0.76 seconds) -------------- next part -------------- An HTML attachment was scrubbed... URL: </pipermail/fom/attachments/20211026/b55def86/attachment.html>