Extended admissibility. (Q1607303): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994935 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the definitions of computable real continuous functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4002474 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theory of representations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994907 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Concrete models of computation for topological algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3751553 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4436366 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4217582 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4485693 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/s0304-3975(01)00109-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2911572548 / rank | |||
Normal rank |
Latest revision as of 10:33, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Extended admissibility. |
scientific article |
Statements
Extended admissibility. (English)
0 references
31 July 2002
0 references
We give a new definition of admissible representations which allows to handle also non countably-based topological spaces in the framework of Type-2 Theory of Effectivity. We prove that admissible representations \(\delta_{X},\delta_{Y}\) of topological spaces \(X,Y\) have the desirable property that every partial function \(f\subseteq X\rightarrow Y\) is continuously realizable with respect to \(\delta_{X},\delta_{Y}\) if and only if \(f\) is sequentially continuous. Furthermore, we characterize the class of the spaces having an admissible representation. Many interesting operators creating new topological spaces from old ones are shown to preserve the property of having an admissible representation. In particular, the class of sequential spaces with admissible representations turns out to be cartesian-closed. Thus, a reasonable computability theory is possible on important non countably based spaces.
0 references
Computable analysis
0 references
TTE
0 references
Topological spaces
0 references