Reverse mathematics and marriage problems with finitely many solutions
From MaRDI portal
Publication:335003
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
Transversal (matching) theory (05D15) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items
Cites Work