- Tytuł:
- Reverse mathematics of some topics from algorithmic graph theory
- Autorzy:
-
Clote, Peter
Hirst, Jeffry - Powiązania:
- https://bibliotekanauki.pl/articles/1205347.pdf
- Data publikacji:
- 1998
- Wydawca:
- Polska Akademia Nauk. Instytut Matematyczny PAN
- Tematy:
-
recursion theory
reverse mathematics
proof theory
graph theory - Opis:
- This paper analyzes the proof-theoretic strength of an infinite version of several theorems from algorithmic graph theory. In particular, theorems on reachability matrices, shortest path matrices, topological sorting, and minimal spanning trees are considered.
- Źródło:
-
Fundamenta Mathematicae; 1998, 157, 1; 1-13
0016-2736 - Pojawia się w:
- Fundamenta Mathematicae
- Dostawca treści:
- Biblioteka Nauki
Artykuł