Matches in SemOpenAlex for { <https://semopenalex.org/work/W2125042382> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2125042382 abstract "Abstract For Γ a revursively enumerable set of formulae, a structure U on a recursive universe is said to be “Γ-recursively enumerable” if the satisfaction predicate restricted to Γ is recursively enumerable (equivalently, if the formulae of Γ uniformulae of Γ uniformly denote recursively enumerable relations on U ). For recursively enumerable sets Γ 1 ⊆ Γ 2 of formulae we shall, under certain conditions, characterize structures U with the following properties. 1) Every isomorphism form U to a Γ 1 -recursively enumerable structure is a recursive isomorphism. 2) Every Γ 1 -recursively enumerable structure isomorphic to U is recursively isomorphic to U . 3) Every Γ 1 -recursively enumerable structure isomorphic to U is Γ 2 -recursively enumerable." @default.
- W2125042382 created "2016-06-24" @default.
- W2125042382 creator A5030324036 @default.
- W2125042382 date "1983-04-01" @default.
- W2125042382 modified "2023-09-26" @default.
- W2125042382 title "Recursive properties of isomorphism types" @default.
- W2125042382 cites W1973880596 @default.
- W2125042382 cites W1979974835 @default.
- W2125042382 cites W1988958321 @default.
- W2125042382 cites W2044797614 @default.
- W2125042382 cites W2317860071 @default.
- W2125042382 cites W2318964791 @default.
- W2125042382 doi "https://doi.org/10.1017/s1446788700023302" @default.
- W2125042382 hasPublicationYear "1983" @default.
- W2125042382 type Work @default.
- W2125042382 sameAs 2125042382 @default.
- W2125042382 citedByCount "9" @default.
- W2125042382 crossrefType "journal-article" @default.
- W2125042382 hasAuthorship W2125042382A5030324036 @default.
- W2125042382 hasBestOaLocation W21250423821 @default.
- W2125042382 hasConcept C114614502 @default.
- W2125042382 hasConcept C115624301 @default.
- W2125042382 hasConcept C118615104 @default.
- W2125042382 hasConcept C140146324 @default.
- W2125042382 hasConcept C177264268 @default.
- W2125042382 hasConcept C185592680 @default.
- W2125042382 hasConcept C188521023 @default.
- W2125042382 hasConcept C199360897 @default.
- W2125042382 hasConcept C203436722 @default.
- W2125042382 hasConcept C203702658 @default.
- W2125042382 hasConcept C33923547 @default.
- W2125042382 hasConcept C41008148 @default.
- W2125042382 hasConcept C52703633 @default.
- W2125042382 hasConcept C8010536 @default.
- W2125042382 hasConceptScore W2125042382C114614502 @default.
- W2125042382 hasConceptScore W2125042382C115624301 @default.
- W2125042382 hasConceptScore W2125042382C118615104 @default.
- W2125042382 hasConceptScore W2125042382C140146324 @default.
- W2125042382 hasConceptScore W2125042382C177264268 @default.
- W2125042382 hasConceptScore W2125042382C185592680 @default.
- W2125042382 hasConceptScore W2125042382C188521023 @default.
- W2125042382 hasConceptScore W2125042382C199360897 @default.
- W2125042382 hasConceptScore W2125042382C203436722 @default.
- W2125042382 hasConceptScore W2125042382C203702658 @default.
- W2125042382 hasConceptScore W2125042382C33923547 @default.
- W2125042382 hasConceptScore W2125042382C41008148 @default.
- W2125042382 hasConceptScore W2125042382C52703633 @default.
- W2125042382 hasConceptScore W2125042382C8010536 @default.
- W2125042382 hasLocation W21250423821 @default.
- W2125042382 hasOpenAccess W2125042382 @default.
- W2125042382 hasPrimaryLocation W21250423821 @default.
- W2125042382 hasRelatedWork W1784039206 @default.
- W2125042382 hasRelatedWork W1977129096 @default.
- W2125042382 hasRelatedWork W1984887166 @default.
- W2125042382 hasRelatedWork W1995675374 @default.
- W2125042382 hasRelatedWork W2043141429 @default.
- W2125042382 hasRelatedWork W2062249564 @default.
- W2125042382 hasRelatedWork W2069987267 @default.
- W2125042382 hasRelatedWork W2079541380 @default.
- W2125042382 hasRelatedWork W2084877115 @default.
- W2125042382 hasRelatedWork W2089792255 @default.
- W2125042382 hasRelatedWork W2108899379 @default.
- W2125042382 hasRelatedWork W2112970566 @default.
- W2125042382 hasRelatedWork W2317367694 @default.
- W2125042382 hasRelatedWork W2322841324 @default.
- W2125042382 hasRelatedWork W2325697911 @default.
- W2125042382 hasRelatedWork W2327201651 @default.
- W2125042382 hasRelatedWork W2480039236 @default.
- W2125042382 hasRelatedWork W2495802101 @default.
- W2125042382 hasRelatedWork W2564322106 @default.
- W2125042382 hasRelatedWork W2790346587 @default.
- W2125042382 isParatext "false" @default.
- W2125042382 isRetracted "false" @default.
- W2125042382 magId "2125042382" @default.
- W2125042382 workType "article" @default.