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 条
  • [21] SOME TOPICS IN THEORY OF FLUIDS
    WIDOM, B
    JOURNAL OF CHEMICAL PHYSICS, 1963, 39 (11): : 2808 - &
  • [22] SOME TOPICS IN COCHROMATIC THEORY
    GIMBEL, J
    STRAIGHT, HJ
    GRAPHS AND COMBINATORICS, 1987, 3 (03) : 255 - 265
  • [23] Some Nonstandard Equivalences in Reverse Mathematics
    Sanders, Sam
    SAILING ROUTES IN THE WORLD OF COMPUTATION, 2018, 10936 : 365 - 375
  • [24] Some algorithmic problems in polytope theory
    Kaibel, V
    Pfetsch, ME
    ALGEBRA, GEOMETRY, AND SOFTWARE SYSTEMS, 2003, : 23 - 47
  • [25] Algorithmic graph minor theory: Decomposition, approximation, and coloring
    Demaine, ED
    Hajiaghayi, MT
    Kawarabayashi, KI
    46TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2005, : 637 - 646
  • [26] Preface: Algorithmic Graph Theory on the Adriatic Coast Preface
    Bresar, Bostjan
    Heggernes, Pinar
    Kaminski, Marcin
    Milanic, Martin
    Paulusma, Daniel
    Potocnik, Primoz
    Trotignon, Nicolas
    DISCRETE APPLIED MATHEMATICS, 2017, 231 : 1 - 3
  • [27] SOME TOPICS IN NEUTRON DIFFUSION THEORY
    TAIT, JH
    REPORTS ON PROGRESS IN PHYSICS, 1956, 19 : 268 - 297
  • [28] NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS
    Chong, C. T.
    Li, Wei
    Yang, Yue
    BULLETIN OF SYMBOLIC LOGIC, 2014, 20 (02) : 170 - 200
  • [29] Some topics in the theory of multiplicative chaos
    Fan, AH
    FRACTAL GEOMETRY AND STOCHASTICS III, 2004, 57 : 119 - 134
  • [30] Open sets in computability theory and reverse mathematics
    Normann, Dag
    Sanders, Sam
    JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (08) : 1639 - 1679
12345