✦ LIBER ✦

Reverse mathematics and ordinal exponentiation

✍ Scribed by Jeffry L. Hirst

Book ID: 103601783
Publisher: Elsevier Science
Year: 1994
Tongue: English
Weight: 979 KB
Volume: 66
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(94)90076-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reverse Mathematics and Ordinal Multipli

Reverse Mathematics and Ordinal Multiplication

✍ Jeffry L. Hirst 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 352 KB

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.

Reverse Order Exponentiation

✍ Shraga Yeshurun 📂 Article 📅 1989 🏛 School Science and Mathematics Association 🌐 English ⚖ 188 KB

Reverse mathematics of prime factorizati

Reverse mathematics of prime factorization of ordinals

✍ Jeffry L. Hirst 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 71 KB

Graph Coloring and Reverse Mathematics

✍ James H. Schmerl 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 133 KB

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 Peano categorici

Reverse mathematics and Peano categoricity

✍ Stephen G. Simpson; Keita Yokoyama 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 235 KB