No label defined (Q4938550)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1405571
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1405571 |
Statements
23 February 2000
0 references
dependent types
0 references
continuous functionals
0 references
transfinite types
0 references
domain theory
0 references
density theorems
0 references
choice principle
0 references
extentionality
0 references
0.7809165716171265
0 references
0.78046715259552
0 references
0.7746824622154236
0 references
This is an extended abstract, so to speak, of the author's Habilitationschrift; and consists mostly of statements of theorems, definitions, and comments, although some proofs are presented. The author's purpose is to extend the 1950's Kleene-Kreisel work on continuous functionals of finite types to dependent and transfinite types. However, the work is couched in domain theory, and central roles are played by parametrizations, quantifiers, etc., and the density theorems are the main achievement. Actually, results about functionals appear in the last section, titled `Applications'; and a choice principle, extentionality, and an effective version (Kreisel-Lacombe-Shoenfield) are derived from density theorems. Also Normann's work on \(^3E\) is exhibited. For the entire collection see [Zbl 0919.00039].
0 references
