Matches in SemOpenAlex for { <https://semopenalex.org/work/W1823199905> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1823199905 abstract "We prove that the existential theory of any function field $K$ of characteristic $p> 0$ is undecidable in the language of rings provided that the constant field does not contain the algebraic closure of a finite field. We also extend the undecidability proof for function fields of higher transcendence degree to characteristic 2 and show that the first-order theory of {bf any} function field of positive characteristic is undecidable in the language of rings without parameters." @default.
- W1823199905 created "2016-06-24" @default.
- W1823199905 creator A5020820702 @default.
- W1823199905 creator A5075846413 @default.
- W1823199905 date "2013-06-11" @default.
- W1823199905 modified "2023-09-27" @default.
- W1823199905 title "Hilbert's Tenth Problem over Function Fields of Positive Characteristic Not Containing the Algebraic Closure of a Finite Field" @default.
- W1823199905 cites W1553928702 @default.
- W1823199905 cites W1874323780 @default.
- W1823199905 cites W2092822574 @default.
- W1823199905 cites W3007836994 @default.
- W1823199905 cites W3130727218 @default.
- W1823199905 cites W563990554 @default.
- W1823199905 cites W645693063 @default.
- W1823199905 hasPublicationYear "2013" @default.
- W1823199905 type Work @default.
- W1823199905 sameAs 1823199905 @default.
- W1823199905 citedByCount "2" @default.
- W1823199905 countsByYear W18231999052015 @default.
- W1823199905 countsByYear W18231999052018 @default.
- W1823199905 crossrefType "posted-content" @default.
- W1823199905 hasAuthorship W1823199905A5020820702 @default.
- W1823199905 hasAuthorship W1823199905A5075846413 @default.
- W1823199905 hasConcept C118615104 @default.
- W1823199905 hasConcept C134306372 @default.
- W1823199905 hasConcept C136119220 @default.
- W1823199905 hasConcept C14036430 @default.
- W1823199905 hasConcept C146834321 @default.
- W1823199905 hasConcept C148607811 @default.
- W1823199905 hasConcept C153269930 @default.
- W1823199905 hasConcept C162324750 @default.
- W1823199905 hasConcept C182327082 @default.
- W1823199905 hasConcept C186219872 @default.
- W1823199905 hasConcept C192034797 @default.
- W1823199905 hasConcept C202444582 @default.
- W1823199905 hasConcept C2778795570 @default.
- W1823199905 hasConcept C33923547 @default.
- W1823199905 hasConcept C34447519 @default.
- W1823199905 hasConcept C51544822 @default.
- W1823199905 hasConcept C77926391 @default.
- W1823199905 hasConcept C78045399 @default.
- W1823199905 hasConcept C78458016 @default.
- W1823199905 hasConcept C86803240 @default.
- W1823199905 hasConcept C9376300 @default.
- W1823199905 hasConcept C9652623 @default.
- W1823199905 hasConceptScore W1823199905C118615104 @default.
- W1823199905 hasConceptScore W1823199905C134306372 @default.
- W1823199905 hasConceptScore W1823199905C136119220 @default.
- W1823199905 hasConceptScore W1823199905C14036430 @default.
- W1823199905 hasConceptScore W1823199905C146834321 @default.
- W1823199905 hasConceptScore W1823199905C148607811 @default.
- W1823199905 hasConceptScore W1823199905C153269930 @default.
- W1823199905 hasConceptScore W1823199905C162324750 @default.
- W1823199905 hasConceptScore W1823199905C182327082 @default.
- W1823199905 hasConceptScore W1823199905C186219872 @default.
- W1823199905 hasConceptScore W1823199905C192034797 @default.
- W1823199905 hasConceptScore W1823199905C202444582 @default.
- W1823199905 hasConceptScore W1823199905C2778795570 @default.
- W1823199905 hasConceptScore W1823199905C33923547 @default.
- W1823199905 hasConceptScore W1823199905C34447519 @default.
- W1823199905 hasConceptScore W1823199905C51544822 @default.
- W1823199905 hasConceptScore W1823199905C77926391 @default.
- W1823199905 hasConceptScore W1823199905C78045399 @default.
- W1823199905 hasConceptScore W1823199905C78458016 @default.
- W1823199905 hasConceptScore W1823199905C86803240 @default.
- W1823199905 hasConceptScore W1823199905C9376300 @default.
- W1823199905 hasConceptScore W1823199905C9652623 @default.
- W1823199905 hasLocation W18231999051 @default.
- W1823199905 hasOpenAccess W1823199905 @default.
- W1823199905 hasPrimaryLocation W18231999051 @default.
- W1823199905 hasRelatedWork W113019607 @default.
- W1823199905 hasRelatedWork W1524700354 @default.
- W1823199905 hasRelatedWork W1987969619 @default.
- W1823199905 hasRelatedWork W2018186394 @default.
- W1823199905 hasRelatedWork W2049788610 @default.
- W1823199905 hasRelatedWork W2062496383 @default.
- W1823199905 hasRelatedWork W2075912263 @default.
- W1823199905 hasRelatedWork W2086237063 @default.
- W1823199905 hasRelatedWork W2092861793 @default.
- W1823199905 hasRelatedWork W2158073357 @default.
- W1823199905 hasRelatedWork W2328502494 @default.
- W1823199905 hasRelatedWork W2332652105 @default.
- W1823199905 hasRelatedWork W2334992469 @default.
- W1823199905 hasRelatedWork W2743159852 @default.
- W1823199905 hasRelatedWork W2809024290 @default.
- W1823199905 hasRelatedWork W2949146386 @default.
- W1823199905 hasRelatedWork W2952833804 @default.
- W1823199905 hasRelatedWork W2952842510 @default.
- W1823199905 hasRelatedWork W2954986826 @default.
- W1823199905 hasRelatedWork W2963210319 @default.
- W1823199905 isParatext "false" @default.
- W1823199905 isRetracted "false" @default.
- W1823199905 magId "1823199905" @default.
- W1823199905 workType "article" @default.