Reverse mathematics and rank functions for directed graphs

DOI10.1007/S001530050165zbMATH Open0968.03070OpenAlexW2088241483MaRDI QIDQ1590191FDOQ1590191

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

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

zbMATH Keywords

directed graphsreverse mathematics

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• 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

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