Reverse mathematics and marriage problems with finitely many solutions

DOI10.1007/S00153-016-0509-4MaRDI QIDQ335003zbMATH OpenOpenAlexFDO

Authors 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

matchingbipartite graphreverse 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)

Recommendations

• Reverse mathematics and marriage problems with unique solutions
• On the strength of marriage theorems and uniformity
• Proof pearl: the marriage theorem
• Publication:3478406
• scientific article; zbMATH DE number 2236627
• Injective choice functions
• The computational strength of matchings in countable graphs
• scientific article; zbMATH DE number 7377981
• Hindman's theorem, ultrafilters, and reverse mathematics
• Equivalence between theorems: the research program of reverse mathematics

Cites work

• scientific article; zbMATH DE number 4148082 (Why is no real title available?)
• Meeting of the Association for Symbolic Logic, Chicago 1975
• Representations of Reals in Reverse Mathematics
• Reverse mathematics and marriage problems with unique solutions
• Subsystems of second order arithmetic

Cited in

(7)

• Reverse mathematics and marriage problems with unique solutions
• A generalization of balanced tableaux and marriage problems with unique solutions
• scientific article; zbMATH DE number 4148082 (Why is no real title available?)
• scientific article; zbMATH DE number 2236627 (Why is no real title available?)
• On the strength of marriage theorems and uniformity
• scientific article; zbMATH DE number 424592 (Why is no real title available?)
• Proof pearl: the marriage theorem

This page was built for publication: Reverse mathematics and marriage problems with finitely many solutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q335003)