{"entities":{"Q1570369":{"pageid":1581109,"ns":120,"title":"Item:Q1570369","lastrevid":67896303,"modified":"2026-04-12T20:03:41Z","type":"item","id":"Q1570369","labels":{"en":{"language":"en","value":"Construction of the Henselization of a valued field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1471833"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570369$186A2406-0153-421F-85EB-2A0FE703AF45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12e06adea5be23596f322fcd46ac103dfd252518","datavalue":{"value":{"text":"Construction of the Henselization of a valued field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1570369$E147B697-B102-42FF-9279-FE33DE4420BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f676f61044adf4c0b295b674b9c8ae5a0bc3d8dd","datavalue":{"value":"0966.12004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570369$D92E14E4-F80C-4D08-B0E7-8EE4ABBE0A33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"034f9a5ed642447d20b564d6effa648f9746422b","datavalue":{"value":{"entity-type":"item","numeric-id":208823,"id":"Q208823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570369$2FF3DAD3-C316-46CB-9CBB-144B7A5E5471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9664aa1c7e25b5c97b07c5281d7ee8d16f778b83","datavalue":{"value":{"entity-type":"item","numeric-id":323733,"id":"Q323733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570369$00045A7B-D376-4DAB-9DC7-9ED7803D6DA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570369$D9128C0B-5C40-4D1D-A1D2-A278458DEA1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8c148b8f8d178b1d1d3b1ad06262c47c2c44eba","datavalue":{"value":{"time":"+2000-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1570369$1C862ED0-8ED9-445A-8F10-E999DF521C70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f80a2772fdfdcf0949a049e55eb80cfbf372cbf","datavalue":{"value":"https://arxiv.org/abs/2202.05503","type":"string"},"datatype":"url"},"type":"statement","id":"Q1570369$18AABA9E-ADF6-4C00-8BC2-86D69961ACE2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"038b18bc50f12f6657047a6b95727181de654f38","datavalue":{"value":"The aim of the paper is to present an explicit construction of the henselization of a valued field and to prove its constructive validity. A classic theorem states that for every valued field \\((K,V)\\) there exists an algebraically closed valued extension \\((K^{ac},V^{ac})\\) such that \\(V^{ac}\\cap K=V.\\) But there exists no constructive proof of the theorem as well as no consructive method to obtain the algebraic closure of a valued field. Still there exists a constructive version of the theorem [\\textit{M. Coste, H. Lombardi} and \\textit{M. F. Roy}, Dynamical method in algebra: Effective Nullstellens\u00e4tze, preprint (1996)]. It is known that inside the valued algebraic closure \\((K^{ac},V^{ac}))\\) of a valued field there exists the henselization \\((K^H,V^H)\\) of \\((K,V)\\) where \\(V^H=V^{ac}\\cap K^H.\\) The authors use Hensel's lemma in terms of Newton's polygon to build constructively the henselization of \\((K,V).\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570369$30978517-DDED-4598-A4DC-9A53E4644A04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570369$CA02E331-7115-4EBA-BF5D-583A6CA0C96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"057a5e7479a8bc00d133fb17f815b2b0225ccbd5","datavalue":{"value":"12F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570369$DF651846-F409-4227-A1D9-515CFB7CF3CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"baf1b0d3eb2752aead2e288e1e20df4b47263f7a","datavalue":{"value":"1471833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570369$559C9F2F-0DB5-4AE7-B8B1-66B55EA6A1A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49e765206503ede0334547027d936eaaf2cb5290","datavalue":{"value":"henselization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570369$2D99715F-C852-41F5-9A05-D51CBB58E961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570369$4AB26C44-A517-453F-AED1-C26B0DE82252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80927bed62ea440a7298644b48b0da2a470f145","datavalue":{"value":"valued field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570369$4613CE94-9FE5-4905-9DAC-350DE930EA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a7ce28e1af7609b2eaf998ed46ff5537ee68cf","datavalue":{"value":"Newton polygon","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570369$07A2A978-DB5D-44F8-A14D-7455492E0125","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570369$F1A34907-7545-4273-B122-89BFA726CDDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"644dad614b15e61b30266110f249f0e3b6e3f781","datavalue":{"value":"W2060422709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570369$5674C216-BF40-4977-A8CB-AC1970AD4637","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"457aabfafb3eeaa2d8c9d292f695b633609781dd","datavalue":{"value":{"entity-type":"item","numeric-id":1060193,"id":"Q1060193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570369$81C89BF7-EA9E-4001-9D63-1D0D295AD2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426b892d08fd248c042c296717ee5b63f0fa74a9","datavalue":{"value":{"entity-type":"item","numeric-id":1801240,"id":"Q1801240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570369$6000FDB3-CA43-4BB9-8669-BF62AB564723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85fe2da09038ee1b309280ef64058c9b001157e","datavalue":{"value":{"entity-type":"item","numeric-id":4365300,"id":"Q4365300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570369$5C8930C7-9E09-44C9-B210-D2647F6A2F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f421e79709b034af44494845344c24da94651ca","datavalue":{"value":{"entity-type":"item","numeric-id":4712921,"id":"Q4712921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570369$C9EA4FB0-79D9-4591-BBFD-664332BD4B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"828c02c6525ec32c394cce87956ef94e60826707","datavalue":{"value":{"entity-type":"item","numeric-id":1382184,"id":"Q1382184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570369$BBB1A429-96FE-4C7A-8003-C78BF65E7559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86048322dd178880e286d9bfa7e4022e0869625","datavalue":{"value":{"entity-type":"item","numeric-id":3358841,"id":"Q3358841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570369$4A102630-63B5-45A7-A268-3A4616099FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eed491cf9065819eef9161d3d29d15e358bf800","datavalue":{"value":{"entity-type":"item","numeric-id":1176709,"id":"Q1176709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570369$390A3C18-10DD-4C51-9333-DAED02B45C08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d8e6fa12b8d97c552cca7735ad53216dc57ee90","datavalue":{"value":"10.1006/JABR.2000.8289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570369$171F54DD-6170-43C8-9759-55B007098EFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ff806ceb9c3124bb1299e3f116494bfd70e632","datavalue":{"value":{"entity-type":"item","numeric-id":5462991,"id":"Q5462991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24a9f2bc789e1c657a0df24ece58132de1eb560","datavalue":{"value":{"amount":"+0.9496616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570369$6F39E8EE-E5D5-48A4-AAEB-EBA19E86D565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f86436a3bfd27beb222090e2dc3af575265fd39","datavalue":{"value":{"entity-type":"item","numeric-id":1270410,"id":"Q1270410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f7a199e6105816d564eab8cc4997cb83291dd1","datavalue":{"value":{"amount":"+0.9028421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570369$C5ACE5BD-9EFA-458C-B381-2ACB88B851A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17b89207444aabaeaae777348a0370ef87e2ff1","datavalue":{"value":{"entity-type":"item","numeric-id":1210030,"id":"Q1210030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fcf34826b4a745bcd4e49849b2902f338676671","datavalue":{"value":{"amount":"+0.89995646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570369$5E17904B-6658-499B-A886-B1BE3DE4B330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9a0141a381c10ed1ab228faeffcb69b87d8e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2659099,"id":"Q2659099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3d6e5ddb9938dc7e368880589f6986fa3a26352","datavalue":{"value":{"amount":"+0.89835805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570369$7D32F163-2E00-4E0A-963E-75BAB521582C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de3bf3155e1f9d2ef451bd9d18010856abb856e4","datavalue":{"value":{"entity-type":"item","numeric-id":5207563,"id":"Q5207563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c1e5b250a2ae0ae16ef63d5fd0faf25751d3ca","datavalue":{"value":{"amount":"+0.89747345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570369$0F3E5873-818C-405E-821A-1F67C0D77C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a42e06a90b4399925d3a77e474b93d73197d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4013610,"id":"Q4013610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c4a4124c37a23d5405b49b2bfdaee0b162dcba","datavalue":{"value":{"amount":"+0.89390045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570369$FD83FF16-E36D-4E26-A4E9-179321827482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8862d48c5aa72801d0896871473a47e91bdce71","datavalue":{"value":{"entity-type":"item","numeric-id":3812233,"id":"Q3812233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb266edff8f22730537ae745c1119f963e4acff","datavalue":{"value":{"amount":"+0.89165735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570369$258B9FAD-8673-4D9E-A4A7-3C468D0D4B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6b0bb23392f07a0bb74d9451ac38b994558ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4729881,"id":"Q4729881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a611082574744011b99d3b01adeab7ff40c942bc","datavalue":{"value":{"amount":"+0.890762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570369$17A900F6-8D99-4D3F-A4AB-707BD3756B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ab9730b6c7c908982839ec2ad966e6324e5def","datavalue":{"value":{"entity-type":"item","numeric-id":3563890,"id":"Q3563890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea8bf7b34488d13b8f3b4dbee045fa71cb9fd45","datavalue":{"value":{"amount":"+0.88880515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570369$877A8034-4BBC-40FA-98D1-554CD7F63C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b74e5e665109c62a5ba23b9806b6739fcf6d08b1","datavalue":{"value":{"entity-type":"item","numeric-id":1122642,"id":"Q1122642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cffef542bd041128ab844843757ba63868f0bbb","datavalue":{"value":{"amount":"+0.8879959","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570369$136CE9BB-FF4C-40D3-BDBA-A7873D78DC0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Construction of the Henselization of a valued field","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Construction_of_the_Henselization_of_a_valued_field"}}}}}