✦ LIBER ✦

Reverse-engineering Reverse Mathematics

✍ Scribed by Sanders, Sam

Book ID: 119947130
Publisher: Elsevier Science
Year: 2013
Tongue: English
Weight: 281 KB
Volume: 164
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2012.11.006

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reverse Engineering Nature

✍ Henrik Wann Jensen 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 32 KB

Reverse mathematics and ordinal exponent

Reverse mathematics and ordinal exponentiation

✍ Jeffry L. Hirst 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 979 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 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 mathematics and Peano categorici

Reverse mathematics and Peano categoricity

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