scientific article

zbMath0701.03032MaRDI QIDQ3478406

Jeffry L. Hirst

Publication date: 1990

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reverse mathematicsmarriage theorems

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Theory of numerations, effectively presented structures (03D45)

Related Items (11)

Reverse mathematics and marriage problems with finitely many solutions ⋮ The computational strength of matchings in countable graphs ⋮ OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS ⋮ Ramsey-type graph coloring and diagonal non-computability ⋮ Banach’s theorem in higher-order reverse mathematics ⋮ On the logical strengths of partial solutions to mathematical problems ⋮ On the strength of König's duality theorem for infinite bipartite graphs ⋮ On the strength of marriage theorems and uniformity ⋮ Reverse mathematics and marriage problems with unique solutions ⋮ Reverse mathematics and colorings of hypergraphs ⋮ Weihrauch and constructive reducibility between existence statements

This page was built for publication: