𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reverse Mathematics and Recursive Graph Theory

✍ Scribed by William Gasarch; Jeffry L. Hirst

Publisher
John Wiley and Sons
Year
1998
Tongue
English
Weight
511 KB
Volume
44
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theorems included concern colorings of graphs and bounded graphs, Euler paths, and Hamilton paths.

πŸ“œ SIMILAR VOLUMES

Reverse mathematics and infinite traceab
Reverse mathematics and infinite traceable graphs
✍ Peter Cholak; David Galvin; Reed Solomon πŸ“‚ Article πŸ“… 2012 πŸ› John Wiley and Sons 🌐 English βš– 173 KB

## Abstract We analyze three applications of Ramsey’s Theorem for 4‐tuples to infinite traceable graphs and finitely generated infinite lattices using the tools of reverse mathematics. The applications in graph theory are shown to be equivalent to Ramsey’s Theorem while the application in lattice t

Reverse Mathematics and Grundy colorings
Reverse Mathematics and Grundy colorings of graphs
✍ James H. Schmerl πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 137 KB

The relationship of Grundy and chromatic numbers of graphs in the context of Reverse Mathematics is investigated.

Mathematics of Bioinformatics (Theory, P
Mathematics of Bioinformatics (Theory, Practice, and Applications) || Biological Networks and Graph Theory
✍ He, Matthew; Petoukhov, Sergey πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley & Sons, Inc. 🌐 English βš– 701 KB

Mathematics Of Bioinformatics: Theory, Methods, And Applications Provides A Comprehensive Format For Connecting And Integrating Information Derived From Mathematical Methods And Applying It To The Understanding Of Biological Sequences, Structures, And Networks. Each Chapter Is Divided Into A Number

Derived sequences and reverse mathematic
Derived sequences and reverse mathematics
✍ Jeffry L. Hirst πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 412 KB

## Abstract One of the earliest applications of transfinite numbers is in the construction of derived sequences by Cantor [2]. In [6], the existence of derived sequences for countable closed sets is proved in ATR~0~. This existence theorem is an intermediate step in a proof that a statement concern