𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reverse Mathematics and Ordinal Multiplication

✍ Scribed by Jeffry L. Hirst

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

No coin nor oath required. For personal study only.

✦ Synopsis

This paper uses the framework of reverse mathematics to analyze the proof theoretic content of several statements concerning multiplication of countable well-orderings. In particular, a division algorithm for ordinal arithmetic is shown t o be equivalent t o the subsystem ATRo.

πŸ“œ SIMILAR VOLUMES

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

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.