GENERAL TYPE-STRUCTURES OF CONTINUOUS AND COUNTABLE FUNCTIONALS by DAG NORMANN in Oslo (Norway) 1. Application of the Ct(k)-rule: Let B(e(pl), . . .) e h ) ) = (Va, E W k ) ) (3% e(a,A . -. e(a,A.
CONTINUOUS FUNCTIONS ON COUNTABLE ORDINALS
β Scribed by Lutz Heindorf
- Publisher
- John Wiley and Sons
- Year
- 1984
- Tongue
- English
- Weight
- 127 KB
- Volume
- 30
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
## Abstract In ordinal analysis of impredicative theories soβcalled collapsing functions are of central importance. Unfortunately, the definition procedure of these functions makes essential use of uncountable cardinals whereas the notation system that they call into being corresponds to a recursiv
Let R be a complete discrete valuation ring with finite residue field, let K be its quotient field. We construct polynomial functions .(n, a)(n=0, 1, ...) such that any continuous function f from R into K has the following expansion where the sequence [a n ]/K is uniquely determined by f and satisf