Reverse mathematics and rank functions for directed graphs

DOI10.1007/S001530050165MaRDI QIDQ1590191zbMATH OpenOpenAlexFDO

Authors Jeffry L. Hirst

Publication date 11 September 2001

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

Full work available at URL https://doi.org/10.1007/s001530050165

zbMATH Keywords

directed graphsreverse mathematics

Mathematics Subject Classification ID

Directed graphs (digraphs), tournaments (05C20) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• scientific article; zbMATH DE number 1187507
• scientific article; zbMATH DE number 3924748
• Reverse Mathematics and Recursive Graph Theory
• scientific article; zbMATH DE number 2019844
• Reverse mathematics and infinite traceable graphs

Cited in

(5)

• Cousin’s lemma in second-order arithmetic
• Ranked structures and arithmetic transfinite recursion
• scientific article; zbMATH DE number 1187507 (Why is no real title available?)
• Equivalence between Fraïssé's conjecture and Jullien's theorem
• An order-theoretic characterization of the Howard-Bachmann-hierarchy

This page was built for publication: Reverse mathematics and rank functions for directed graphs

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