Reverse mathematics of some topics from algorithmic graph theory

被引：0

作者：

Clote, PG

Hirst, JL

机构：

[1] Boston Coll, Dept Comp Sci, Chestnut Hill, MA 02167 USA

[2] Appalachian State Univ, Dept Math Sci, Boone, NC 28608 USA

来源：

FUNDAMENTA MATHEMATICAE | 1998年 / 157卷 / 01期

关键词：

reverse mathematics; proof theory; recursion theory; graph theory;

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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.

引用

页码：1 / 13

页数：13

共 50 条

[1] Some Topics in Graph Theory
Kutnar, Klavdija
Marusic, Dragan
NETWORKS, TOPOLOGY AND DYNAMICS:THEORY AND APPLICATIONS TO ECONOMICS AND SOCIAL SYSTEMS, 2009, 613 : 3 - 22
[2] Reverse mathematics and recursive graph theory
Gasarch, W
Hirst, JL
MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (04) : 465 - 473
[3] SOME TOPICS IN GRAPH THEORY RELATED WITH GROUP THEORY
Trofimov, V. I.
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2011, 8 : 62 - 67
[4] Some applications of graph theory to other parts of mathematics
Edward Bertram
Peter Horák
The Mathematical Intelligencer, 1999, 21 : 6 - 11
[5] Graph Theory to Pure Mathematics: Some Illustrative Examples
Yegnanarayanan, V.
RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2005, 10 (01): : 50 - 59
[6] Graph coloring and reverse mathematics
Schmerl, JH
MATHEMATICAL LOGIC QUARTERLY, 2000, 46 (04) : 543 - 548
[7] Graph theory to pure mathematics: Some illustrative examples
V. Yegnanarayanan
Resonance, 2005, 10 (1) : 50 - 59
[8] Some applications of graph theory to other parts of mathematics
Bertram, E
Horák, P
MATHEMATICAL INTELLIGENCER, 1999, 21 (03): : 6 - 11
[9] Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
Avigad, Jeremy
Dean, Edward T.
Rute, Jason
ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (12) : 1854 - 1864
[10] SYMMETRICAL EXTENSIONS OF GRAPHS AND SOME OTHER TOPICS IN GRAPH THEORY RELATED WITH GROUP THEORY
Trofimov, V. I.
TRUDY INSTITUTA MATEMATIKI I MEKHANIKI URO RAN, 2011, 17 (04): : 316 - 320

← 1 2 3 4 5 →