Renorming c0(Γ)
✍ Scribed by Daniel Wulbert
- Publisher
- Elsevier Science
- Year
- 1986
- Tongue
- English
- Weight
- 449 KB
- Volume
- 115
- Category
- Article
- ISSN
- 0022-247X
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
The signature of ⌫ eN , where e is square free, is completely determined if 0 e s 3 or N is odd or e g ⌿, where ⌿ is the set of all square free integers e g ގ such that Ž . i if e is odd, then e admits no divisors of the form 8 k q 3, Ž . ii if e is even, then e admits no divisors of the form 8
Let T be the standard Veblen 1908 ordinal notation system for Γ0 as defined, for example, in Schütte's 1977 textbook [13] on Proof Theory. We define a slight modification of the standard assignment of fundamental sequences for the limit ordinals in T and prove that Γ0 is subrecursively inaccessible