Matches in SemOpenAlex for { <https://semopenalex.org/work/W197599112> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W197599112 abstract "Hilbert’s tenth problem asks for an algorithm to determine the solvability in integers of diophantine equations over Z. We prove that such an algorithm does not exist, and prove analogous statements for equations over polynomial rings, for equations over rings of integers of quadratic extensions of Q and for equations over rational function fields defined over either formally real fields or finite fields. This requires a proof that the positive existential theories of several languages with divisibility relations are undecidable. We also try to prove that the diophantine theory of rational function fields over infinite fields of positive characteristic is undecidable, i.e. that no analogous algorithm exists. However, we are only able to show that the first order theory is undecidable." @default.
- W197599112 created "2016-06-24" @default.
- W197599112 creator A5018828130 @default.
- W197599112 date "2011-04-06" @default.
- W197599112 modified "2023-09-27" @default.
- W197599112 title "Hilbert's tenth problem and some generalizations" @default.
- W197599112 cites W1486898453 @default.
- W197599112 cites W1604636366 @default.
- W197599112 cites W1637559744 @default.
- W197599112 cites W1828839365 @default.
- W197599112 cites W1987450159 @default.
- W197599112 cites W1994747442 @default.
- W197599112 cites W2010442485 @default.
- W197599112 cites W2013671121 @default.
- W197599112 cites W2050439379 @default.
- W197599112 cites W2050646345 @default.
- W197599112 cites W2056133231 @default.
- W197599112 cites W2078097451 @default.
- W197599112 cites W2092822574 @default.
- W197599112 cites W2107308446 @default.
- W197599112 cites W2138435885 @default.
- W197599112 cites W2160361731 @default.
- W197599112 cites W2322172566 @default.
- W197599112 cites W2612330495 @default.
- W197599112 cites W2798619248 @default.
- W197599112 hasPublicationYear "2011" @default.
- W197599112 type Work @default.
- W197599112 sameAs 197599112 @default.
- W197599112 citedByCount "0" @default.
- W197599112 crossrefType "dissertation" @default.
- W197599112 hasAuthorship W197599112A5018828130 @default.
- W197599112 hasConcept C118615104 @default.
- W197599112 hasConcept C136119220 @default.
- W197599112 hasConcept C14036430 @default.
- W197599112 hasConcept C153269930 @default.
- W197599112 hasConcept C192034797 @default.
- W197599112 hasConcept C202444582 @default.
- W197599112 hasConcept C206530611 @default.
- W197599112 hasConcept C33923547 @default.
- W197599112 hasConcept C40621787 @default.
- W197599112 hasConcept C75190567 @default.
- W197599112 hasConcept C77926391 @default.
- W197599112 hasConcept C78458016 @default.
- W197599112 hasConcept C86803240 @default.
- W197599112 hasConcept C9652623 @default.
- W197599112 hasConcept C9991821 @default.
- W197599112 hasConceptScore W197599112C118615104 @default.
- W197599112 hasConceptScore W197599112C136119220 @default.
- W197599112 hasConceptScore W197599112C14036430 @default.
- W197599112 hasConceptScore W197599112C153269930 @default.
- W197599112 hasConceptScore W197599112C192034797 @default.
- W197599112 hasConceptScore W197599112C202444582 @default.
- W197599112 hasConceptScore W197599112C206530611 @default.
- W197599112 hasConceptScore W197599112C33923547 @default.
- W197599112 hasConceptScore W197599112C40621787 @default.
- W197599112 hasConceptScore W197599112C75190567 @default.
- W197599112 hasConceptScore W197599112C77926391 @default.
- W197599112 hasConceptScore W197599112C78458016 @default.
- W197599112 hasConceptScore W197599112C86803240 @default.
- W197599112 hasConceptScore W197599112C9652623 @default.
- W197599112 hasConceptScore W197599112C9991821 @default.
- W197599112 hasLocation W1975991121 @default.
- W197599112 hasOpenAccess W197599112 @default.
- W197599112 hasPrimaryLocation W1975991121 @default.
- W197599112 hasRelatedWork W1950541237 @default.
- W197599112 hasRelatedWork W1977347658 @default.
- W197599112 hasRelatedWork W2027322689 @default.
- W197599112 hasRelatedWork W2038314694 @default.
- W197599112 hasRelatedWork W2072847151 @default.
- W197599112 hasRelatedWork W2415711032 @default.
- W197599112 hasRelatedWork W2501612519 @default.
- W197599112 hasRelatedWork W2550969341 @default.
- W197599112 hasRelatedWork W2581520791 @default.
- W197599112 hasRelatedWork W2742094531 @default.
- W197599112 hasRelatedWork W2786181488 @default.
- W197599112 hasRelatedWork W2893550512 @default.
- W197599112 hasRelatedWork W2913320377 @default.
- W197599112 hasRelatedWork W3001118022 @default.
- W197599112 hasRelatedWork W3100262075 @default.
- W197599112 hasRelatedWork W3105467527 @default.
- W197599112 hasRelatedWork W3131216722 @default.
- W197599112 hasRelatedWork W3132562862 @default.
- W197599112 hasRelatedWork W619898020 @default.
- W197599112 hasRelatedWork W2187238744 @default.
- W197599112 isParatext "false" @default.
- W197599112 isRetracted "false" @default.
- W197599112 magId "197599112" @default.
- W197599112 workType "dissertation" @default.