Matches in SemOpenAlex for { <https://semopenalex.org/work/W2962722379> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2962722379 endingPage "495" @default.
- W2962722379 startingPage "473" @default.
- W2962722379 abstract "We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and p-adically closed valued fields. We give an effectiveness condition, related to Hensel’s lemma, on a valued field which is necessary and sufficient to extend the valuation to any algebraic extension. We show that there is a computable formally p-adic field which does not embed into any computable p-adic closure, but we give an effectiveness condition on the divisibility relation in the value group which is sufficient to find such an embedding. By checking that algebraically closed valued fields and p-adically closed valued fields of infinite transcendence degree have the Mal’cev property, we show that they have computable dimension $$omega $$ ." @default.
- W2962722379 created "2019-07-30" @default.
- W2962722379 creator A5027707580 @default.
- W2962722379 date "2017-09-15" @default.
- W2962722379 modified "2023-09-24" @default.
- W2962722379 title "Computable valued fields" @default.
- W2962722379 cites W1602107066 @default.
- W2962722379 cites W1655294445 @default.
- W2962722379 cites W1983504991 @default.
- W2962722379 cites W1986032942 @default.
- W2962722379 cites W2005006668 @default.
- W2962722379 cites W2010971114 @default.
- W2962722379 cites W2022243833 @default.
- W2962722379 cites W2096434655 @default.
- W2962722379 cites W2158914341 @default.
- W2962722379 cites W2280805244 @default.
- W2962722379 cites W2495473906 @default.
- W2962722379 cites W2601283955 @default.
- W2962722379 cites W2963007053 @default.
- W2962722379 cites W2963736300 @default.
- W2962722379 cites W4252936116 @default.
- W2962722379 doi "https://doi.org/10.1007/s00153-017-0589-9" @default.
- W2962722379 hasPublicationYear "2017" @default.
- W2962722379 type Work @default.
- W2962722379 sameAs 2962722379 @default.
- W2962722379 citedByCount "0" @default.
- W2962722379 crossrefType "journal-article" @default.
- W2962722379 hasAuthorship W2962722379A5027707580 @default.
- W2962722379 hasBestOaLocation W29627223792 @default.
- W2962722379 hasConcept C118615104 @default.
- W2962722379 hasConcept C136119220 @default.
- W2962722379 hasConcept C152062344 @default.
- W2962722379 hasConcept C154945302 @default.
- W2962722379 hasConcept C156382255 @default.
- W2962722379 hasConcept C202444582 @default.
- W2962722379 hasConcept C203701370 @default.
- W2962722379 hasConcept C27318111 @default.
- W2962722379 hasConcept C33923547 @default.
- W2962722379 hasConcept C41008148 @default.
- W2962722379 hasConcept C41608201 @default.
- W2962722379 hasConcept C9652623 @default.
- W2962722379 hasConcept C9991821 @default.
- W2962722379 hasConceptScore W2962722379C118615104 @default.
- W2962722379 hasConceptScore W2962722379C136119220 @default.
- W2962722379 hasConceptScore W2962722379C152062344 @default.
- W2962722379 hasConceptScore W2962722379C154945302 @default.
- W2962722379 hasConceptScore W2962722379C156382255 @default.
- W2962722379 hasConceptScore W2962722379C202444582 @default.
- W2962722379 hasConceptScore W2962722379C203701370 @default.
- W2962722379 hasConceptScore W2962722379C27318111 @default.
- W2962722379 hasConceptScore W2962722379C33923547 @default.
- W2962722379 hasConceptScore W2962722379C41008148 @default.
- W2962722379 hasConceptScore W2962722379C41608201 @default.
- W2962722379 hasConceptScore W2962722379C9652623 @default.
- W2962722379 hasConceptScore W2962722379C9991821 @default.
- W2962722379 hasFunder F4320334593 @default.
- W2962722379 hasIssue "5-6" @default.
- W2962722379 hasLocation W29627223791 @default.
- W2962722379 hasLocation W29627223792 @default.
- W2962722379 hasOpenAccess W2962722379 @default.
- W2962722379 hasPrimaryLocation W29627223791 @default.
- W2962722379 hasRelatedWork W1540191 @default.
- W2962722379 hasRelatedWork W18679160 @default.
- W2962722379 hasRelatedWork W22319829 @default.
- W2962722379 hasRelatedWork W25409787 @default.
- W2962722379 hasRelatedWork W32672360 @default.
- W2962722379 hasRelatedWork W32798523 @default.
- W2962722379 hasRelatedWork W3427452 @default.
- W2962722379 hasRelatedWork W5149134 @default.
- W2962722379 hasRelatedWork W6391007 @default.
- W2962722379 hasRelatedWork W20248674 @default.
- W2962722379 hasVolume "57" @default.
- W2962722379 isParatext "false" @default.
- W2962722379 isRetracted "false" @default.
- W2962722379 magId "2962722379" @default.
- W2962722379 workType "article" @default.