✦ LIBER ✦

Reverse mathematics and Peano categoricity

✍ Scribed by Stephen G. Simpson; Keita Yokoyama

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Giuseppe Peano between Mathematics and L

Giuseppe Peano between Mathematics and Logic || Giuseppe Peano: a Revolutionary in Symbolic Logic?

✍ Skof, Fulvia 📂 Article 📅 2011 🏛 Springer Milan ⚖ 102 KB

Giuseppe Peano between Mathematics and L

Giuseppe Peano between Mathematics and Logic || Foundations of Geometry in the School of Peano

✍ Skof, Fulvia 📂 Article 📅 2011 🏛 Springer Milan ⚖ 278 KB

Categorical Foundations and Mathematical

Categorical Foundations and Mathematical Practice

✍ McLarty, C. 📂 Article 📅 2012 🏛 Oxford University Press 🌐 English ⚖ 45 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