Exact real number computations relative to hereditarily total functionals. (Q1607298): Difference between revisions
From MaRDI portal
Latest revision as of 10:06, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Exact real number computations relative to hereditarily total functionals. |
scientific article |
Statements
Exact real number computations relative to hereditarily total functionals. (English)
0 references
31 July 2002
0 references
We show that the continuous existential quantifier \(\exists_{\omega}\) is not definable in Escardó's Real-\(PCF\) from all functionals equivalent to a given total one in a uniform way. We further prove that relative to any total functional of type \((I\rightarrow I)\rightarrow I\) which gives the maximum-value for any total input, we may, given a computable, total functional \(\Phi\) of type \((R\rightarrow R)\rightarrow R\) find a Real-\(PCF\)-definable total \(\Psi\) equivalent to \(\Phi\).
0 references
Real-PCF
0 references
Relative definability
0 references
Uniformly definable
0 references
Total
0 references