Connected components of graphs and reverse mathematics

DOI10.1007/BF01269946MaRDI QIDQ2277258zbMATH OpenFDO

Authors Jeffry L. Hirst

Publication date 1991

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

zbMATH Keywords

subsystems of second-order arithmeticarithmetical comprehension schemedecompositions of graphs into connected componentsinduction schemeStatements about infinite graphs

Mathematics Subject Classification ID

Connectivity (05C40) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• On the existence of a connected component of a graph
• scientific article; zbMATH DE number 1187507
• Reverse mathematics and infinite traceable graphs
• Reverse Mathematics and Recursive Graph Theory
• Reverse mathematics and rank functions for directed graphs

Cites work

• scientific article; zbMATH DE number 3825795 (Why is no real title available?)
• scientific article; zbMATH DE number 3700836 (Why is no real title available?)
• scientific article; zbMATH DE number 3536056 (Why is no real title available?)
• scientific article; zbMATH DE number 3566838 (Why is no real title available?)
• scientific article; zbMATH DE number 3316918 (Why is no real title available?)
• Completeness Theorems, Incompleteness Theorems and Models of Arithmetic
• Countable algebra and set existence axioms
• Degrees of models
• Effective Matchmaking and k-Chromatic Graphs
• Ordinal numbers and the Hilbert basis theorem
• Subsystems of second order arithmetic
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?

Cited in

(4)

• Reverse mathematics and Isbell's zig-zag theorem
• Reverse mathematics of matroids
• scientific article; zbMATH DE number 1187507 (Why is no real title available?)
• On the existence of a connected component of a graph

This page was built for publication: Connected components of graphs and reverse mathematics

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