Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Reverse mathematics and the coloring number of graphs - MaRDI portal

Reverse mathematics and the coloring number of graphs

From MaRDI portal

Publication:5963197

Jump to:navigation, search

DOI10.1215/00294527-3321905zbMath1353.03008OpenAlexW142641161MaRDI QIDQ5963197

Matthew Jura

Publication date: 4 March 2016

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/5f4c95625aa455cdf0af3bdc6a2cd970d9b02bac

zbMATH Keywords

ACA graph computability theory reverse mathematics WKL recursion theory coloring number linear order

Mathematics Subject Classification ID

Coloring of graphs and hypergraphs (05C15) Foundations of classical theories (including reverse mathematics) (03B30) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35)

This page was built for publication: Reverse mathematics and the coloring number of graphs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5963197&oldid=12136336"