Matches in SemOpenAlex for { <https://semopenalex.org/work/W94332457> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W94332457 endingPage "172" @default.
- W94332457 startingPage "160" @default.
- W94332457 abstract "We propose semantic characterisations of second-order computability over the reals based on σ-definability theory. Notions of computability for operators and real-valued functionals defined on the class of continuous functions are introduced via domain theory. We consider the reals with and without equality and prove theorems which connect computable operators and real-valued functionals with validity of finite σ-formulas." @default.
- W94332457 created "2016-06-24" @default.
- W94332457 creator A5002649540 @default.
- W94332457 creator A5049744652 @default.
- W94332457 date "2001-01-01" @default.
- W94332457 modified "2023-09-25" @default.
- W94332457 title "Semantic Characterisations of Second-Order Computability over the Real Numbers" @default.
- W94332457 cites W1037387862 @default.
- W94332457 cites W1494791992 @default.
- W94332457 cites W1497475168 @default.
- W94332457 cites W1512259211 @default.
- W94332457 cites W1582269801 @default.
- W94332457 cites W1965240782 @default.
- W94332457 cites W2006786362 @default.
- W94332457 cites W2044762117 @default.
- W94332457 cites W2071846104 @default.
- W94332457 cites W2075490047 @default.
- W94332457 cites W2081739551 @default.
- W94332457 cites W2084041069 @default.
- W94332457 cites W2115154197 @default.
- W94332457 cites W220096824 @default.
- W94332457 cites W3022087221 @default.
- W94332457 cites W4243563333 @default.
- W94332457 cites W4243711577 @default.
- W94332457 cites W4247184275 @default.
- W94332457 cites W4251087018 @default.
- W94332457 cites W4293117209 @default.
- W94332457 doi "https://doi.org/10.1007/3-540-44802-0_12" @default.
- W94332457 hasPublicationYear "2001" @default.
- W94332457 type Work @default.
- W94332457 sameAs 94332457 @default.
- W94332457 citedByCount "8" @default.
- W94332457 countsByYear W943324572013 @default.
- W94332457 crossrefType "book-chapter" @default.
- W94332457 hasAuthorship W94332457A5002649540 @default.
- W94332457 hasAuthorship W94332457A5049744652 @default.
- W94332457 hasConcept C10138342 @default.
- W94332457 hasConcept C111142201 @default.
- W94332457 hasConcept C118615104 @default.
- W94332457 hasConcept C134306372 @default.
- W94332457 hasConcept C136119220 @default.
- W94332457 hasConcept C152062344 @default.
- W94332457 hasConcept C154945302 @default.
- W94332457 hasConcept C162324750 @default.
- W94332457 hasConcept C182306322 @default.
- W94332457 hasConcept C202444582 @default.
- W94332457 hasConcept C27318111 @default.
- W94332457 hasConcept C2777212361 @default.
- W94332457 hasConcept C33923547 @default.
- W94332457 hasConcept C36503486 @default.
- W94332457 hasConcept C41008148 @default.
- W94332457 hasConcept C54271186 @default.
- W94332457 hasConceptScore W94332457C10138342 @default.
- W94332457 hasConceptScore W94332457C111142201 @default.
- W94332457 hasConceptScore W94332457C118615104 @default.
- W94332457 hasConceptScore W94332457C134306372 @default.
- W94332457 hasConceptScore W94332457C136119220 @default.
- W94332457 hasConceptScore W94332457C152062344 @default.
- W94332457 hasConceptScore W94332457C154945302 @default.
- W94332457 hasConceptScore W94332457C162324750 @default.
- W94332457 hasConceptScore W94332457C182306322 @default.
- W94332457 hasConceptScore W94332457C202444582 @default.
- W94332457 hasConceptScore W94332457C27318111 @default.
- W94332457 hasConceptScore W94332457C2777212361 @default.
- W94332457 hasConceptScore W94332457C33923547 @default.
- W94332457 hasConceptScore W94332457C36503486 @default.
- W94332457 hasConceptScore W94332457C41008148 @default.
- W94332457 hasConceptScore W94332457C54271186 @default.
- W94332457 hasLocation W943324571 @default.
- W94332457 hasOpenAccess W94332457 @default.
- W94332457 hasPrimaryLocation W943324571 @default.
- W94332457 hasRelatedWork W1480530468 @default.
- W94332457 hasRelatedWork W2118835180 @default.
- W94332457 hasRelatedWork W2171088343 @default.
- W94332457 hasRelatedWork W2606605383 @default.
- W94332457 hasRelatedWork W3102609132 @default.
- W94332457 hasRelatedWork W3134034528 @default.
- W94332457 hasRelatedWork W3184399009 @default.
- W94332457 hasRelatedWork W4236179144 @default.
- W94332457 hasRelatedWork W4238402038 @default.
- W94332457 hasRelatedWork W4225581716 @default.
- W94332457 isParatext "false" @default.
- W94332457 isRetracted "false" @default.
- W94332457 magId "94332457" @default.
- W94332457 workType "book-chapter" @default.