Matches in SemOpenAlex for { <https://semopenalex.org/work/W3101476687> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3101476687 endingPage "109" @default.
- W3101476687 startingPage "97" @default.
- W3101476687 abstract "We propose a new model of computation based on nonstandard analysis. Intuitively, the role of algorithm is played by a new notion of finite procedure, called Omega-invariance and inspired by physics, from nonstandard analysis. Moreover, the role of 'proof' is taken up by the Transfer Principle from nonstandard analysis. We obtain a number of results in Constructive Reverse Mathematics to illustrate the tight correspondence to Errett Bishop's Constructive Analysis and the associated Constructive Reverse Mathematics." @default.
- W3101476687 created "2020-11-23" @default.
- W3101476687 creator A5073669576 @default.
- W3101476687 date "2014-03-29" @default.
- W3101476687 modified "2023-10-15" @default.
- W3101476687 title "Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis" @default.
- W3101476687 cites W1539748246 @default.
- W3101476687 cites W1958506772 @default.
- W3101476687 cites W1974355866 @default.
- W3101476687 cites W1988155600 @default.
- W3101476687 cites W1996532779 @default.
- W3101476687 cites W2004563126 @default.
- W3101476687 cites W2096276046 @default.
- W3101476687 cites W2112384787 @default.
- W3101476687 cites W2126160338 @default.
- W3101476687 cites W2134310526 @default.
- W3101476687 cites W2137023255 @default.
- W3101476687 cites W2203889679 @default.
- W3101476687 cites W2326259695 @default.
- W3101476687 cites W265040288 @default.
- W3101476687 cites W2908250557 @default.
- W3101476687 cites W3036352629 @default.
- W3101476687 cites W4229690001 @default.
- W3101476687 cites W4232277851 @default.
- W3101476687 cites W4239316923 @default.
- W3101476687 cites W4243563333 @default.
- W3101476687 cites W4252263307 @default.
- W3101476687 cites W4254437607 @default.
- W3101476687 cites W4256582740 @default.
- W3101476687 doi "https://doi.org/10.4204/eptcs.143.9" @default.
- W3101476687 hasPublicationYear "2014" @default.
- W3101476687 type Work @default.
- W3101476687 sameAs 3101476687 @default.
- W3101476687 citedByCount "0" @default.
- W3101476687 crossrefType "journal-article" @default.
- W3101476687 hasAuthorship W3101476687A5073669576 @default.
- W3101476687 hasBestOaLocation W31014766871 @default.
- W3101476687 hasConcept C111919701 @default.
- W3101476687 hasConcept C11413529 @default.
- W3101476687 hasConcept C118615104 @default.
- W3101476687 hasConcept C136119220 @default.
- W3101476687 hasConcept C173608175 @default.
- W3101476687 hasConcept C199343813 @default.
- W3101476687 hasConcept C202444582 @default.
- W3101476687 hasConcept C202854965 @default.
- W3101476687 hasConcept C2776175482 @default.
- W3101476687 hasConcept C2777686260 @default.
- W3101476687 hasConcept C2778701210 @default.
- W3101476687 hasConcept C28826006 @default.
- W3101476687 hasConcept C33923547 @default.
- W3101476687 hasConcept C41008148 @default.
- W3101476687 hasConcept C45374587 @default.
- W3101476687 hasConcept C71924100 @default.
- W3101476687 hasConcept C98045186 @default.
- W3101476687 hasConceptScore W3101476687C111919701 @default.
- W3101476687 hasConceptScore W3101476687C11413529 @default.
- W3101476687 hasConceptScore W3101476687C118615104 @default.
- W3101476687 hasConceptScore W3101476687C136119220 @default.
- W3101476687 hasConceptScore W3101476687C173608175 @default.
- W3101476687 hasConceptScore W3101476687C199343813 @default.
- W3101476687 hasConceptScore W3101476687C202444582 @default.
- W3101476687 hasConceptScore W3101476687C202854965 @default.
- W3101476687 hasConceptScore W3101476687C2776175482 @default.
- W3101476687 hasConceptScore W3101476687C2777686260 @default.
- W3101476687 hasConceptScore W3101476687C2778701210 @default.
- W3101476687 hasConceptScore W3101476687C28826006 @default.
- W3101476687 hasConceptScore W3101476687C33923547 @default.
- W3101476687 hasConceptScore W3101476687C41008148 @default.
- W3101476687 hasConceptScore W3101476687C45374587 @default.
- W3101476687 hasConceptScore W3101476687C71924100 @default.
- W3101476687 hasConceptScore W3101476687C98045186 @default.
- W3101476687 hasLocation W31014766871 @default.
- W3101476687 hasLocation W31014766872 @default.
- W3101476687 hasOpenAccess W3101476687 @default.
- W3101476687 hasPrimaryLocation W31014766871 @default.
- W3101476687 hasRelatedWork W1589204344 @default.
- W3101476687 hasRelatedWork W1985541145 @default.
- W3101476687 hasRelatedWork W2028676759 @default.
- W3101476687 hasRelatedWork W2064351239 @default.
- W3101476687 hasRelatedWork W2114983089 @default.
- W3101476687 hasRelatedWork W2257471395 @default.
- W3101476687 hasRelatedWork W2949665548 @default.
- W3101476687 hasRelatedWork W2950188642 @default.
- W3101476687 hasRelatedWork W2954167023 @default.
- W3101476687 hasRelatedWork W3186402499 @default.
- W3101476687 hasVolume "143" @default.
- W3101476687 isParatext "false" @default.
- W3101476687 isRetracted "false" @default.
- W3101476687 magId "3101476687" @default.
- W3101476687 workType "article" @default.