Reverse Mathematics and Recursive Graph Theory
From MaRDI portal
Publication:4224080
DOI10.1002/malq.19980440405zbMath0919.03045arXivmath/9404206MaRDI QIDQ4224080
Jeffry L. Hirst, William I. Gasarch
Publication date: 19 August 1999
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9404206
05C15: Coloring of graphs and hypergraphs
03F35: Second- and higher-order arithmetic and fragments
05C45: Eulerian and Hamiltonian graphs
03D45: Theory of numerations, effectively presented structures
Related Items
Cites Work