{"entities":{"Q2288336":{"pageid":2299079,"ns":120,"title":"Item:Q2288336","lastrevid":57817110,"modified":"2026-04-02T16:05:28Z","type":"item","id":"Q2288336","labels":{"en":{"language":"en","value":"NIP Henselian valued fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7153014"}},"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":"Q2288336$F7B72A4E-44A9-488D-A1C4-4D0411C7F88B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7530dabebe1281f82903967ded18b6b4da28c0c","datavalue":{"value":{"text":"NIP Henselian valued fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2288336$BE91DDD3-F400-4A0E-BDC9-0488D9F32292","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa293292ac4f548a1856a0822e628e221e2f8bd4","datavalue":{"value":"1444.03130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288336$30882B2C-DEF2-4C19-B000-4125F77E2B91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7c3434ef01f0a75549e34a3a60af5ebef681066","datavalue":{"value":{"entity-type":"item","numeric-id":312260,"id":"Q312260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$AB85EE16-E1AE-4EF2-9494-47FEE6FBC1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab41c88f1c0d13d481bd105e9d460bc074a8bfb","datavalue":{"value":{"entity-type":"item","numeric-id":522324,"id":"Q522324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$02C7FEA5-0AD6-4BF8-BA65-F6E427EB81CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$C10BEDE0-C17E-4C86-BA03-0991D856AE2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a6a5b5fdeb4bedfada8cbabb8db67346705498a","datavalue":{"value":{"time":"+2020-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2288336$1962B26C-88AF-4161-8894-1A0AFA7AEBE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dd6d4c41c6f6164d0cb6a0b9e2d466b77ac1749","datavalue":{"value":"https://arxiv.org/abs/1606.08472","type":"string"},"datatype":"url"},"type":"statement","id":"Q2288336$8281B58B-58ED-47B8-9559-29E777065E58","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c2291064e316f8412d6fa12c35207020fb5b051c","datavalue":{"value":"Let \\((K, v)\\) denote a valued field, with underlying field \\(K\\) and valuation \\(v\\), let \\(Kv\\) denote the residue feild, and \\(K^\\times\\) the multiplicative group of \\(K\\), and \\(\\mathcal U\\) some sufficiently saturated elementary extension of \\(K\\). Recall that a structure is called NIP if its theory does not have the independence property.    From the Introduction : ``\\dots we consider the question of when NIP transfers from the residue field to the valued field. Our approach generalizes well known results of Delon and Gurevich-Schmitt for Henselian  fields of equicharacteristic \\(0\\), and of B\u00e9lair for certain perfect fields of positive characteristic, in a uniform way.''   \\par The two main results are the following.  Theorem 3.3. A complete theory of separably algebraically maximal Kaplansky fields of finite degree of imperfection is NIP if the corresponding theories of residue fields and value groups are both NIP.  Note that in this theorem, additional NIP structure on the value group and the residue field are allowed,  something which was not addressed explicitely in the original results.   Theorem 4.6. Let \\((K, v)\\) be a Henselian valued field of residue characteristic \\(\\operatorname{char}(Kv)=p\\). In case \\((K, v)\\) has mixed characteristic, assume that \\(K^\\times / (K^\\times)^p\\) is finite. If the characteristic of \\(K\\) is positive, assume that \\(K\\) has finite degree of imperfection. Then \\par  \\((K, v)\\) is NIP \\(\\iff\\) \\(Kv\\) is NIP and \\((K, v)\\) is roughly separably tame.   For Theorem 3.3, a somewhat more general result is proved. We briefly mention it here. Let \\(T\\) be a complete theory of valued fields with possible additional structures. Consider the following two properties (SE) and (Im).   (SE) The residue field and the value group are stably embedded.   (Im) If \\(K\\) is a model of \\(T\\) and \\(a\\in \\mathcal U\\) is a singleton such that \\(K(a)/K\\) is an immediate extension, then the type of \\(a\\) over K is implied by instances of NIP formulas.  Theorem 2.3. Under assumptions (SE) and (Im), the theory \\(T\\) is NIP if and only if the theories of the residue field and value group are.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2288336$0349F716-4B93-4332-9D6E-B69E433F6A3C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3a2118c292dc08a002b8680010ffeab026feb65b","datavalue":{"value":{"entity-type":"item","numeric-id":292504,"id":"Q292504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$07E7B383-896B-4692-ACE6-B3ACBFDDF17B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288336$2FE23053-D5FB-42E2-B48A-052F2E8F0434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288336$CDECE78F-3832-4C8B-B372-FCF62A307971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288336$34234A3C-1184-41E5-BFEC-9E6A11CEB758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288336$899A48F9-654C-4D6E-925F-08DCE17B7FB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c5da937cdeb5998fcde2d083ceed7f165129190","datavalue":{"value":"7153014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288336$FE56FB07-3D3D-4186-A5E4-D9847C09D013","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeeaf92d4955264f018294672b609d842f36d4ed","datavalue":{"value":"NIP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2288336$3CF6E048-FA31-4333-B169-CA228F4DFE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa3eb27c77c8c94086d522527e1094d4e709c91c","datavalue":{"value":"independence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2288336$13707297-8AA2-4A8D-ABC4-3DA9C289C628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8d2af286da9f65bcce5717747befd7637362b7","datavalue":{"value":"Henselian valued fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2288336$A72BF784-BC1D-4776-9777-98C0382B9EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f16b410c56ef624464603c8fcdfd3991e6500563","datavalue":{"value":"AKE transfer principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2288336$98AA9D4A-ECD2-4079-9C4A-75F2F608AF1B","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":"Q2288336$FE597713-C476-40EF-ADCA-2D0F4B87FD1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd725b7a2c2ce703df4de7fcf1e24c2a27276c54","datavalue":{"value":"W2963516649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288336$9A4DD109-B8F1-4328-93EE-642001973C42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba72c9a41921ad15c44f894d7826777809a53833","datavalue":{"value":{"entity-type":"item","numeric-id":5691951,"id":"Q5691951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$B25DB2EF-A6CD-43C8-BD68-6B082194FCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afef75aea616d38e65059b7da8bdd4c3b4fbb81e","datavalue":{"value":{"entity-type":"item","numeric-id":1300140,"id":"Q1300140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$C760EEB1-0008-4F5A-8D81-A0E39624C51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a788654b675d3817a907d0f66e9de50b6cf246e5","datavalue":{"value":{"entity-type":"item","numeric-id":480802,"id":"Q480802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$B5889007-DDAD-4800-B196-FFB529D37215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2735a30f94a34a09356878885cbccff25e1e6691","datavalue":{"value":{"entity-type":"item","numeric-id":1955748,"id":"Q1955748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$071B6BC4-87B4-4BC0-B9F7-4E68EC88E0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabb382f70bc083ddddf8ed1f9e099ad8dfcd9c2","datavalue":{"value":{"entity-type":"item","numeric-id":5247033,"id":"Q5247033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$6AFFA16D-ECD4-447C-B3DA-A2BF53DEA025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3beb0254b8c10a0d4d43a345a5f0f80b728f4f9","datavalue":{"value":{"entity-type":"item","numeric-id":4744252,"id":"Q4744252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$346A690F-BA16-4ED7-960E-71A2FF764485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71b990ea9ddbd9e2bb0c4fc841b2fa87a6fc2bf","datavalue":{"value":{"entity-type":"item","numeric-id":1758927,"id":"Q1758927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$8B1BF170-DB9B-45A9-8600-0080868E1C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97e916c64f016ee5ae250276dde9ca1ddf27c50","datavalue":{"value":{"entity-type":"item","numeric-id":2569570,"id":"Q2569570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$07AE6E2B-B4E4-4104-8561-CECD03EDA0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff4cb33fcd225f7f71967b6aebced954ccf962d","datavalue":{"value":{"entity-type":"item","numeric-id":323734,"id":"Q323734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$CFDF4338-2F37-4FA0-ACC2-70C987F47E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5466fa82e656decd33e275697c1ed8c8d9141c22","datavalue":{"value":{"entity-type":"item","numeric-id":897758,"id":"Q897758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$6FC5C1FD-6091-4846-BCF5-9630768073C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b1e7fc6bd3a08ef0000edb36cbc1da79668674","datavalue":{"value":{"entity-type":"item","numeric-id":1076077,"id":"Q1076077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$54B5954F-0983-4CBF-BC3D-0847ED925E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aaf84f234a831437cffb283d283e8c7310ecd4","datavalue":{"value":{"entity-type":"item","numeric-id":1056794,"id":"Q1056794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$DB7C3C79-7644-4A60-A72A-7CEF115A4C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9020c959fd2fe6830eb570bdc5090e181554ced","datavalue":{"value":{"entity-type":"item","numeric-id":5255892,"id":"Q5255892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$49F89C28-C569-4BB0-8194-FF44830CE8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90bdf6eb0611160837b14ebd96b44b96a5d9a2af","datavalue":{"value":{"entity-type":"item","numeric-id":5256623,"id":"Q5256623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288336$19365430-6317-4F53-B673-483AF357428D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3481a93cc3ab733aedfd6209c9d2e3321a2091b4","datavalue":{"value":"Q127579330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288336$44CE7F0E-F0B7-457E-8FC2-320F12FFBC31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f65edccef127955aa36d47a52ce0a55f9545104","datavalue":{"value":"10.1007/S00153-019-00685-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288336$7D553952-23A3-4802-B166-C24A1D1B18E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d5fba94720343b77a4449bf0fb7d30838c65960","datavalue":{"value":{"entity-type":"item","numeric-id":5118049,"id":"Q5118049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9235a9f9ed8379678ae73a5cfce523d84132007b","datavalue":{"value":{"amount":"+0.8338308334350586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2288336$162D9010-91EA-436A-8178-32B1CA7E91F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5708d000ddb3c33db93e0bceac9c2ab8bcb2e04d","datavalue":{"value":{"entity-type":"item","numeric-id":3469095,"id":"Q3469095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e442e9e2f47f1474eece61b4714032818a16edad","datavalue":{"value":{"amount":"+0.8101300597190857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2288336$AE0E209E-5D4E-4736-9736-E11332C095ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b1ae31cac4455a71eb9ef4a7fe7afb8876a7e8","datavalue":{"value":{"entity-type":"item","numeric-id":2274130,"id":"Q2274130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0710d01da6ccaae697c716003ff4f67932b33dc7","datavalue":{"value":{"amount":"+0.8094032406806946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2288336$F5D4A4DB-13A8-43E2-9BAD-ABF48299C05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68499dca46fde157a49946330f0481ae49b1d7f9","datavalue":{"value":{"entity-type":"item","numeric-id":2662696,"id":"Q2662696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6c92228f694bcda54ab4ccf96ddb7a534ddd0e","datavalue":{"value":{"amount":"+0.7978417277336121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2288336$5BDB6E77-4CB9-4267-9A55-0CB1403BE4F3","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":"0bb003361a6579f04d2bc0f4080a1ba4cdf980b6","datavalue":{"value":{"amount":"+0.78928142786026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2288336$E2E1E7E7-73D2-466E-9B68-EC731291F878","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2288336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2288336"}}}}}