Reverse mathematics and marriage problems with unique solutions

DOI10.1007/s00153-014-0401-zzbMath1386.03015MaRDI QIDQ2257105

Jeffry L. Hirst, Noah A. Hughes

Publication date: 23 February 2015

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-014-0401-z

zbMATH Keywords

combinatorics; transversal; reverse mathematics; marriage theorems; SDR; unique matching

Mathematics Subject Classification ID

05C70: Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.)

05D15: Transversal (matching) theory

03B30: Foundations of classical theories (including reverse mathematics)

03F35: Second- and higher-order arithmetic and fragments

Cites Work

• Unnamed Item
• On the number of SDR of a (t,n)-family
• On Representatives of Subsets
• Distinct representatives of subsets