FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W85549400> ?p ?o ?g. }

• W85549400 endingPage "406" @default.
• W85549400 startingPage "393" @default.
• W85549400 abstract "Recursion theory and set theory are related in a number of ways. The topic is too large to be surveyed in one paper. We shall tell only part of the story and with a certain bias. Our setting is the general theory of computation theories and the main theme is how certain “finite” theories such as recursion in a normal higher type object are related to certain “infinite” theories, i.e. suitable generalizations of ordinary recursion theory to more general (and not necessarily transtive) sets. For more information on general computation theories we refer the reader to our survey paper [3]. A comprehensive presentation of the theory will appear as a book in the Springer Verlag series Perspectives in Mathematical Logic." @default.
• W85549400 created "2016-06-24" @default.
• W85549400 creator A5042983834 @default.
• W85549400 date "1977-01-01" @default.
• W85549400 modified "2023-10-16" @default.
• W85549400 title "Between Recursion Theory and set Theory" @default.
• W85549400 cites W1413967780 @default.
• W85549400 cites W148328695 @default.
• W85549400 cites W15002500 @default.
• W85549400 cites W1886139781 @default.
• W85549400 cites W1886820163 @default.
• W85549400 cites W1975380251 @default.
• W85549400 cites W1996736120 @default.
• W85549400 cites W1996932891 @default.
• W85549400 cites W1999737391 @default.
• W85549400 cites W2004238969 @default.
• W85549400 cites W2004845705 @default.
• W85549400 cites W2033831013 @default.
• W85549400 cites W2085869400 @default.
• W85549400 cites W2086982547 @default.
• W85549400 cites W2315610131 @default.
• W85549400 cites W2320296823 @default.
• W85549400 cites W2339460772 @default.
• W85549400 cites W2736186402 @default.
• W85549400 cites W959763519 @default.
• W85549400 cites W991566839 @default.
• W85549400 doi "https://doi.org/10.1016/s0049-237x(09)70436-7" @default.
• W85549400 hasPublicationYear "1977" @default.
• W85549400 type Work @default.
• W85549400 sameAs 85549400 @default.
• W85549400 citedByCount "0" @default.
• W85549400 crossrefType "book-chapter" @default.
• W85549400 hasAuthorship W85549400A5042983834 @default.
• W85549400 hasConcept C111142201 @default.
• W85549400 hasConcept C111919701 @default.
• W85549400 hasConcept C11413529 @default.
• W85549400 hasConcept C118615104 @default.
• W85549400 hasConcept C124416688 @default.
• W85549400 hasConcept C126838900 @default.
• W85549400 hasConcept C136119220 @default.
• W85549400 hasConcept C139503435 @default.
• W85549400 hasConcept C153046414 @default.
• W85549400 hasConcept C154945302 @default.
• W85549400 hasConcept C168773036 @default.
• W85549400 hasConcept C177264268 @default.
• W85549400 hasConcept C18903297 @default.
• W85549400 hasConcept C199343813 @default.
• W85549400 hasConcept C199360897 @default.
• W85549400 hasConcept C202444582 @default.
• W85549400 hasConcept C2777299769 @default.
• W85549400 hasConcept C2777601897 @default.
• W85549400 hasConcept C2777686260 @default.
• W85549400 hasConcept C2781238097 @default.
• W85549400 hasConcept C33566652 @default.
• W85549400 hasConcept C33923547 @default.
• W85549400 hasConcept C41008148 @default.
• W85549400 hasConcept C45374587 @default.
• W85549400 hasConcept C71924100 @default.
• W85549400 hasConcept C86803240 @default.
• W85549400 hasConcept C93682546 @default.
• W85549400 hasConceptScore W85549400C111142201 @default.
• W85549400 hasConceptScore W85549400C111919701 @default.
• W85549400 hasConceptScore W85549400C11413529 @default.
• W85549400 hasConceptScore W85549400C118615104 @default.
• W85549400 hasConceptScore W85549400C124416688 @default.
• W85549400 hasConceptScore W85549400C126838900 @default.
• W85549400 hasConceptScore W85549400C136119220 @default.
• W85549400 hasConceptScore W85549400C139503435 @default.
• W85549400 hasConceptScore W85549400C153046414 @default.
• W85549400 hasConceptScore W85549400C154945302 @default.
• W85549400 hasConceptScore W85549400C168773036 @default.
• W85549400 hasConceptScore W85549400C177264268 @default.
• W85549400 hasConceptScore W85549400C18903297 @default.
• W85549400 hasConceptScore W85549400C199343813 @default.
• W85549400 hasConceptScore W85549400C199360897 @default.
• W85549400 hasConceptScore W85549400C202444582 @default.
• W85549400 hasConceptScore W85549400C2777299769 @default.
• W85549400 hasConceptScore W85549400C2777601897 @default.
• W85549400 hasConceptScore W85549400C2777686260 @default.
• W85549400 hasConceptScore W85549400C2781238097 @default.
• W85549400 hasConceptScore W85549400C33566652 @default.
• W85549400 hasConceptScore W85549400C33923547 @default.
• W85549400 hasConceptScore W85549400C41008148 @default.
• W85549400 hasConceptScore W85549400C45374587 @default.
• W85549400 hasConceptScore W85549400C71924100 @default.
• W85549400 hasConceptScore W85549400C86803240 @default.
• W85549400 hasConceptScore W85549400C93682546 @default.
• W85549400 hasLocation W855494001 @default.
• W85549400 hasOpenAccess W85549400 @default.
• W85549400 hasPrimaryLocation W855494001 @default.
• W85549400 hasRelatedWork W1882235344 @default.
• W85549400 hasRelatedWork W1886820163 @default.
• W85549400 hasRelatedWork W2005917745 @default.
• W85549400 hasRelatedWork W2172247778 @default.
• W85549400 hasRelatedWork W2337198647 @default.
• W85549400 hasRelatedWork W2951398920 @default.
• W85549400 hasRelatedWork W4247035339 @default.
• W85549400 hasRelatedWork W4597164 @default.

• next