๐”– Bobbio Scriptorium
โœฆ   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

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Graph Coloring and Reverse Mathematics
โœ James H. Schmerl ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 133 KB
Derived sequences and reverse mathematic
โœ 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