Reverse mathematics and marriage problems with finitely many solutions

DOI10.1007/s00153-016-0509-4zbMath1355.03011OpenAlexW2523057038MaRDI QIDQ335003

Jeffry L. Hirst, Noah A. Hughes

Publication date: 1 November 2016

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

Full work available at URL: https://doi.org/10.1007/s00153-016-0509-4

zbMATH Keywords

bipartite graphmatchingreverse mathematicsmarriage theorems

Mathematics Subject Classification ID

Transversal (matching) theory (05D15) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items

A generalization of balanced tableaux and marriage problems with unique solutions

Cites Work

• Unnamed Item
• Unnamed Item
• Reverse mathematics and marriage problems with unique solutions
• Meeting of the Association for Symbolic Logic, Chicago 1975
• Representations of Reals in Reverse Mathematics