Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950374218> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2950374218 abstract "We exhibit a way of forcing a functional to be an effective operation for arbitrary partial combinatory algebras (pcas). This gives a method of defining new pcas from old ones for some fixed functional, where the new partial functions can be viewed as computable relative to that functional. It is shown that this generalizes a notion of computation relative to a functional as defined by Kleene for the natural numbers. The construction can be used to study subtoposes of the Effective Topos. We will do this for a particular functional that forces every arithmetical set to be decidable. In this paper we also prove the convenient result that the two definitions of a pca that are common in the literature are essentially the same." @default.
- W2950374218 created "2019-06-27" @default.
- W2950374218 creator A5004969380 @default.
- W2950374218 creator A5005056951 @default.
- W2950374218 date "2014-08-21" @default.
- W2950374218 modified "2023-09-27" @default.
- W2950374218 title "Effective Operations of Type 2 in Pcas" @default.
- W2950374218 cites W1605765292 @default.
- W2950374218 cites W1653897855 @default.
- W2950374218 cites W1990564510 @default.
- W2950374218 cites W2124223175 @default.
- W2950374218 cites W2402288139 @default.
- W2950374218 cites W2480632401 @default.
- W2950374218 cites W83139932 @default.
- W2950374218 hasPublicationYear "2014" @default.
- W2950374218 type Work @default.
- W2950374218 sameAs 2950374218 @default.
- W2950374218 citedByCount "1" @default.
- W2950374218 countsByYear W29503742182014 @default.
- W2950374218 crossrefType "posted-content" @default.
- W2950374218 hasAuthorship W2950374218A5004969380 @default.
- W2950374218 hasAuthorship W2950374218A5005056951 @default.
- W2950374218 hasConcept C112343008 @default.
- W2950374218 hasConcept C11413529 @default.
- W2950374218 hasConcept C118615104 @default.
- W2950374218 hasConcept C124952713 @default.
- W2950374218 hasConcept C134306372 @default.
- W2950374218 hasConcept C136119220 @default.
- W2950374218 hasConcept C142362112 @default.
- W2950374218 hasConcept C153269930 @default.
- W2950374218 hasConcept C177264268 @default.
- W2950374218 hasConcept C182141236 @default.
- W2950374218 hasConcept C182359184 @default.
- W2950374218 hasConcept C184264201 @default.
- W2950374218 hasConcept C18903297 @default.
- W2950374218 hasConcept C197115733 @default.
- W2950374218 hasConcept C199360897 @default.
- W2950374218 hasConcept C202444582 @default.
- W2950374218 hasConcept C2777299769 @default.
- W2950374218 hasConcept C33923547 @default.
- W2950374218 hasConcept C41008148 @default.
- W2950374218 hasConcept C45374587 @default.
- W2950374218 hasConcept C86803240 @default.
- W2950374218 hasConceptScore W2950374218C112343008 @default.
- W2950374218 hasConceptScore W2950374218C11413529 @default.
- W2950374218 hasConceptScore W2950374218C118615104 @default.
- W2950374218 hasConceptScore W2950374218C124952713 @default.
- W2950374218 hasConceptScore W2950374218C134306372 @default.
- W2950374218 hasConceptScore W2950374218C136119220 @default.
- W2950374218 hasConceptScore W2950374218C142362112 @default.
- W2950374218 hasConceptScore W2950374218C153269930 @default.
- W2950374218 hasConceptScore W2950374218C177264268 @default.
- W2950374218 hasConceptScore W2950374218C182141236 @default.
- W2950374218 hasConceptScore W2950374218C182359184 @default.
- W2950374218 hasConceptScore W2950374218C184264201 @default.
- W2950374218 hasConceptScore W2950374218C18903297 @default.
- W2950374218 hasConceptScore W2950374218C197115733 @default.
- W2950374218 hasConceptScore W2950374218C199360897 @default.
- W2950374218 hasConceptScore W2950374218C202444582 @default.
- W2950374218 hasConceptScore W2950374218C2777299769 @default.
- W2950374218 hasConceptScore W2950374218C33923547 @default.
- W2950374218 hasConceptScore W2950374218C41008148 @default.
- W2950374218 hasConceptScore W2950374218C45374587 @default.
- W2950374218 hasConceptScore W2950374218C86803240 @default.
- W2950374218 hasLocation W29503742181 @default.
- W2950374218 hasOpenAccess W2950374218 @default.
- W2950374218 hasPrimaryLocation W29503742181 @default.
- W2950374218 hasRelatedWork W1417040606 @default.
- W2950374218 hasRelatedWork W1494120958 @default.
- W2950374218 hasRelatedWork W1529663204 @default.
- W2950374218 hasRelatedWork W2071530339 @default.
- W2950374218 hasRelatedWork W2098464720 @default.
- W2950374218 hasRelatedWork W2121004126 @default.
- W2950374218 hasRelatedWork W2152261259 @default.
- W2950374218 hasRelatedWork W2554973281 @default.
- W2950374218 hasRelatedWork W2611102007 @default.
- W2950374218 hasRelatedWork W2763954298 @default.
- W2950374218 hasRelatedWork W2798658776 @default.
- W2950374218 hasRelatedWork W2948194493 @default.
- W2950374218 hasRelatedWork W2950446711 @default.
- W2950374218 hasRelatedWork W3040677706 @default.
- W2950374218 hasRelatedWork W3048064345 @default.
- W2950374218 hasRelatedWork W3135906408 @default.
- W2950374218 hasRelatedWork W636716712 @default.
- W2950374218 hasRelatedWork W2184638957 @default.
- W2950374218 hasRelatedWork W23238229 @default.
- W2950374218 hasRelatedWork W2555264133 @default.
- W2950374218 isParatext "false" @default.
- W2950374218 isRetracted "false" @default.
- W2950374218 magId "2950374218" @default.
- W2950374218 workType "article" @default.