Reverse mathematics and rank functions for directed graphs

DOI10.1007/S001530050165zbMath0968.03070OpenAlexW2088241483MaRDI QIDQ1590191

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)

Related Items (4)

Equivalence between Fraïssé's conjecture and Jullien's theorem ⋮ Cousin’s lemma in second-order arithmetic ⋮ An order-theoretic characterization of the Howard-Bachmann-hierarchy ⋮ Ranked structures and arithmetic transfinite recursion

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