FRINK Linked Data Fragments server

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

• W3115778119 abstract "The celebrated DPRM theorem by M. Davis, H. Putnam, J. Robinson, and Y. Matiyasevich shows that a set of integers is listable (also called recursively enumerable, or computably enumerable) if and only if it is Diophantine, i.e., positive existentially definable over the language of arithmetic. We present some foundational material to investigate analogues of the DPRM theorem over other structures. This allows us to give rigorous proofs of various folklore results in the literature. In addition, we investigate different conjectures that point in the direction that the analogue of the DPRM theorem for global fields does not hold." @default.
• W3115778119 created "2021-01-05" @default.
• W3115778119 creator A5012806097 @default.
• W3115778119 date "2020-12-28" @default.
• W3115778119 modified "2023-09-27" @default.
• W3115778119 title "Notes on the DPRM property for listable structures" @default.
• W3115778119 cites W1523983089 @default.
• W3115778119 cites W1544986807 @default.
• W3115778119 cites W1574049752 @default.
• W3115778119 cites W1574151794 @default.
• W3115778119 cites W1600946210 @default.
• W3115778119 cites W1650941180 @default.
• W3115778119 cites W1719758153 @default.
• W3115778119 cites W184280981 @default.
• W3115778119 cites W1971057901 @default.
• W3115778119 cites W1978114483 @default.
• W3115778119 cites W1992184757 @default.
• W3115778119 cites W1994166840 @default.
• W3115778119 cites W1997264833 @default.
• W3115778119 cites W1997767089 @default.
• W3115778119 cites W2003927948 @default.
• W3115778119 cites W2007775665 @default.
• W3115778119 cites W2011938854 @default.
• W3115778119 cites W2013671121 @default.
• W3115778119 cites W2015376829 @default.
• W3115778119 cites W2029283508 @default.
• W3115778119 cites W2030965397 @default.
• W3115778119 cites W2045304686 @default.
• W3115778119 cites W2056133231 @default.
• W3115778119 cites W2062030929 @default.
• W3115778119 cites W2063706894 @default.
• W3115778119 cites W2076040392 @default.
• W3115778119 cites W2080000094 @default.
• W3115778119 cites W2090472642 @default.
• W3115778119 cites W2092822574 @default.
• W3115778119 cites W2103760253 @default.
• W3115778119 cites W2147744743 @default.
• W3115778119 cites W2239283191 @default.
• W3115778119 cites W2522542574 @default.
• W3115778119 cites W2753489302 @default.
• W3115778119 cites W2772834916 @default.
• W3115778119 cites W2798767110 @default.
• W3115778119 cites W2962734895 @default.
• W3115778119 cites W2963094596 @default.
• W3115778119 cites W2989676586 @default.
• W3115778119 cites W3017524085 @default.
• W3115778119 cites W3101479008 @default.
• W3115778119 cites W3130727218 @default.
• W3115778119 cites W3131404029 @default.
• W3115778119 cites W768678705 @default.
• W3115778119 cites W2339836943 @default.
• W3115778119 hasPublicationYear "2020" @default.
• W3115778119 type Work @default.
• W3115778119 sameAs 3115778119 @default.
• W3115778119 citedByCount "0" @default.
• W3115778119 crossrefType "posted-content" @default.
• W3115778119 hasAuthorship W3115778119A5012806097 @default.
• W3115778119 hasConcept C102966492 @default.
• W3115778119 hasConcept C108710211 @default.
• W3115778119 hasConcept C111472728 @default.
• W3115778119 hasConcept C118615104 @default.
• W3115778119 hasConcept C138885662 @default.
• W3115778119 hasConcept C177264268 @default.
• W3115778119 hasConcept C188521023 @default.
• W3115778119 hasConcept C189950617 @default.
• W3115778119 hasConcept C199360897 @default.
• W3115778119 hasConcept C202444582 @default.
• W3115778119 hasConcept C203702658 @default.
• W3115778119 hasConcept C206530611 @default.
• W3115778119 hasConcept C2524010 @default.
• W3115778119 hasConcept C28719098 @default.
• W3115778119 hasConcept C33923547 @default.
• W3115778119 hasConcept C40621787 @default.
• W3115778119 hasConcept C41008148 @default.
• W3115778119 hasConcept C52703633 @default.
• W3115778119 hasConceptScore W3115778119C102966492 @default.
• W3115778119 hasConceptScore W3115778119C108710211 @default.
• W3115778119 hasConceptScore W3115778119C111472728 @default.
• W3115778119 hasConceptScore W3115778119C118615104 @default.
• W3115778119 hasConceptScore W3115778119C138885662 @default.
• W3115778119 hasConceptScore W3115778119C177264268 @default.
• W3115778119 hasConceptScore W3115778119C188521023 @default.
• W3115778119 hasConceptScore W3115778119C189950617 @default.
• W3115778119 hasConceptScore W3115778119C199360897 @default.
• W3115778119 hasConceptScore W3115778119C202444582 @default.
• W3115778119 hasConceptScore W3115778119C203702658 @default.
• W3115778119 hasConceptScore W3115778119C206530611 @default.
• W3115778119 hasConceptScore W3115778119C2524010 @default.
• W3115778119 hasConceptScore W3115778119C28719098 @default.
• W3115778119 hasConceptScore W3115778119C33923547 @default.
• W3115778119 hasConceptScore W3115778119C40621787 @default.
• W3115778119 hasConceptScore W3115778119C41008148 @default.
• W3115778119 hasConceptScore W3115778119C52703633 @default.
• W3115778119 hasLocation W31157781191 @default.
• W3115778119 hasOpenAccess W3115778119 @default.
• W3115778119 hasPrimaryLocation W31157781191 @default.
• W3115778119 hasRelatedWork W1966262337 @default.
• W3115778119 hasRelatedWork W1979862983 @default.
• W3115778119 hasRelatedWork W1998072591 @default.
• W3115778119 hasRelatedWork W2007577694 @default.

• next