Matches in SemOpenAlex for { <https://semopenalex.org/work/W2615066822> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2615066822 endingPage "43" @default.
- W2615066822 startingPage "7" @default.
- W2615066822 abstract "In this paper, we highlight a new computational aspect of Nonstandard Analysis relating to higher-order computability theory. In particular, we prove that the Gandy-Hyland functional equals a primitive recursive functional involving nonstandard numbers inside Nelson's internal set theory. From this classical and ineffective proof in Nonstandard Analysis, a term from Godel's system T can be extracted which computes the Gandy-Hyland functional in terms of a modulus-of-continuity functional and the special fan functional. We obtain several similar relative computability results not involving Nonstandard Analysis from their associated nonstandard theorems. By way of reversal, we show that certain relative computability results, called Herbrandisations, also imply the nonstandard theorem from whence they were obtained. Thus, we establish a direct two-way connection between the field Computability (in particular theoretical computer science) and the field Nonstandard Analysis." @default.
- W2615066822 created "2017-05-26" @default.
- W2615066822 creator A5073669576 @default.
- W2615066822 date "2018-01-16" @default.
- W2615066822 modified "2023-09-26" @default.
- W2615066822 title "The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis" @default.
- W2615066822 cites W1484625174 @default.
- W2615066822 cites W1525064220 @default.
- W2615066822 cites W1564142683 @default.
- W2615066822 cites W1608607427 @default.
- W2615066822 cites W1653897855 @default.
- W2615066822 cites W1996089383 @default.
- W2615066822 cites W2069787050 @default.
- W2615066822 cites W2111656596 @default.
- W2615066822 cites W2139740469 @default.
- W2615066822 cites W2293460502 @default.
- W2615066822 cites W2593449741 @default.
- W2615066822 cites W2603470071 @default.
- W2615066822 cites W2908250557 @default.
- W2615066822 cites W4229690001 @default.
- W2615066822 cites W4231056560 @default.
- W2615066822 cites W4232277851 @default.
- W2615066822 cites W4298407470 @default.
- W2615066822 doi "https://doi.org/10.3233/com-170074" @default.
- W2615066822 hasPublicationYear "2018" @default.
- W2615066822 type Work @default.
- W2615066822 sameAs 2615066822 @default.
- W2615066822 citedByCount "17" @default.
- W2615066822 countsByYear W26150668222018 @default.
- W2615066822 countsByYear W26150668222019 @default.
- W2615066822 countsByYear W26150668222020 @default.
- W2615066822 countsByYear W26150668222021 @default.
- W2615066822 crossrefType "journal-article" @default.
- W2615066822 hasAuthorship W2615066822A5073669576 @default.
- W2615066822 hasBestOaLocation W26150668222 @default.
- W2615066822 hasConcept C41008148 @default.
- W2615066822 hasConceptScore W2615066822C41008148 @default.
- W2615066822 hasIssue "1" @default.
- W2615066822 hasLocation W26150668221 @default.
- W2615066822 hasLocation W26150668222 @default.
- W2615066822 hasLocation W26150668223 @default.
- W2615066822 hasOpenAccess W2615066822 @default.
- W2615066822 hasPrimaryLocation W26150668221 @default.
- W2615066822 hasRelatedWork W1596801655 @default.
- W2615066822 hasRelatedWork W2130043461 @default.
- W2615066822 hasRelatedWork W2350741829 @default.
- W2615066822 hasRelatedWork W2358668433 @default.
- W2615066822 hasRelatedWork W2376932109 @default.
- W2615066822 hasRelatedWork W2382290278 @default.
- W2615066822 hasRelatedWork W2390279801 @default.
- W2615066822 hasRelatedWork W2748952813 @default.
- W2615066822 hasRelatedWork W2899084033 @default.
- W2615066822 hasRelatedWork W2530322880 @default.
- W2615066822 hasVolume "7" @default.
- W2615066822 isParatext "false" @default.
- W2615066822 isRetracted "false" @default.
- W2615066822 magId "2615066822" @default.
- W2615066822 workType "article" @default.