{"entities":{"Q897758":{"pageid":899606,"ns":120,"title":"Item:Q897758","lastrevid":65218398,"modified":"2026-04-12T01:06:11Z","type":"item","id":"Q897758","labels":{"en":{"language":"en","value":"The model theory of separably tame valued fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6517036"}},"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":"Q897758$D61FD4C1-6113-4AA1-A18D-585BB744BDD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b63d472b5fd1ee80fd919456f2c2ea566704d9aa","datavalue":{"value":{"text":"The model theory of separably tame valued fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q897758$555EDA12-743A-4093-B350-7C5AFE171E47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d243214a2834f65e55617a5753de4cfaee0617d7","datavalue":{"value":"1400.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897758$C1F0B6A3-288C-453D-B099-8A3CFC7DFC71","rank":"normal"}],"P16":[{"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":"Q897758$0BB0BB90-AEE8-4194-A492-A3046BFB06D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ce6ad1060281ccf7457374e739e58708667028c","datavalue":{"value":{"entity-type":"item","numeric-id":897757,"id":"Q897757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$92B6064B-68B7-4252-AB92-E0BD7B8AB779","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":"Q897758$6EA15D74-6498-4524-900D-72D535799344","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q897758$44D325BB-278D-4DE9-AA03-5210261D9429","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a66e32398abcf9863361f500abf822fe7f5b46aa","datavalue":{"value":"https://arxiv.org/abs/1409.3141","type":"string"},"datatype":"url"},"type":"statement","id":"Q897758$90490E46-C072-4D37-BDAD-D174F100C630","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3e5b6820eb310c80bcf315ddc765ba2de47b2027","datavalue":{"value":"In this paper, the authors establish several Ax-Kochen-Ershov (AKE) principles for the class of separably tame valued fields.  Suppose \\((K,v)\\) is a Henselian valued field with residue field \\(Kv\\) and value group \\(vK\\). A finite extension \\((E|K,v)\\) of \\((K,v)\\) is called tame if {\\parindent=0.7cm\\begin{itemize}\\item[1.] the ramification index \\((vE: vK)\\) is prime to \\(p\\), where \\(p = \\operatorname{char}Kv\\) if \\(\\operatorname{char}Kv>0\\), and \\(p=1\\) otherwise, \\item[2.] the residue field extension \\(Ev|Kv\\) is separable, and \\item[3.] the extension \\((E|K,v)\\) is defectless, i.e., \\([E:K] = [Ev:Kv]\\cdot (vE:vK)\\).   \\end{itemize}} A separably tame field is a Henselian field for which all finite separable extensions are tame. The class of separably tame fields properly contains the class of separable-algebraically maximal Kaplansky fields, as well as the class of separably closed valued fields.  The relevant languages for valued fields here are \\(\\mathcal{L}_{\\text{VF}} = \\{+,-,\\cdot,{}^{-1},0,1,\\mathcal{O}\\}\\), where \\(\\mathcal{O}\\) is a binary relation symbol for valuation divisibility, and \\(\\mathcal{L}_{\\text{Q}} = \\mathcal{L}_{\\text{VF}}\\cup\\{Q_m\\}_{m=1}^{\\infty}\\), where the \\(Q_m\\) are the relations for \\(p\\)-independence, first introduced in [\\textit{Yu. L. Ershov}, Sov. Math., Dokl. 8, 575--576 (1967; Zbl 0153.37201)] in the setting of separably closed fields. The main theorem of the paper is the following:  Theorem. Let \\((K,v), (L,v)\\) be separably tame fields with the same characteristic \\(p\\) and finite \\(p\\)-degree. Then,  \\[  vK\\equiv vL \\;\\& \\;Kv\\equiv Lv \\;\\Longrightarrow \\;(K,v)\\equiv (L,v)  \\]  as \\(\\mathcal{L}_{\\text{VF}}\\)-structures,  \\[  (K,v)\\subseteq (L,v) \\;\\& \\;vK\\prec vL \\;\\& \\;Kv\\prec Lv \\;\\Longrightarrow \\;(K,v)\\prec (L,v)  \\]  as \\(\\mathcal{L}_{Q}\\)-structures, and  \\[  vK\\prec_{\\exists}vF \\;\\& \\;Kv\\prec_{\\exists} Fv \\;\\Longrightarrow \\;(K,v)\\prec_{\\exists}(F,v)  \\]  as \\(\\mathcal{L}_{Q}\\)-structures where \\((F,v)\\) is an arbitrary extension of \\((K,v)\\).  The proof involves establishing various embedding lemmas for valued fields, including at one point reducing to the case of tame valued fields and previous work by the first author [\\textit{F.-V. Kuhlmann}, J. Reine Angew. Math. 719, 1--43 (2016; Zbl 1401.13011)].  As a corollary of the main theorem they derive several relative decidability results. They also give alternative proofs for well-known results on separable-algebraically closed valued fields and separable-algebraically maximal Kaplansky fields from [\\textit{F. Delon}, Quelques propri\u00e9t\u00e9s des corps valu\u00e9s en th\u00e9orie de mod\u00e8les. (PhD thesis) (1982)]. The case of infinite \\(p\\)-degree is left open.","type":"string"},"datatype":"string"},"type":"statement","id":"Q897758$F7B2A1F3-5987-4791-9EE8-96A849A3EB8F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ee429df4c2f9778c3531ca91051929f125682e8b","datavalue":{"value":{"entity-type":"item","numeric-id":335586,"id":"Q335586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$990D9AC1-ED9F-4AE1-BBE2-CA2C84BBAD43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897758$C8540966-BA1B-453F-AFF7-8F23BAD3ADBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897758$546EC52D-B42E-4891-8F3C-38DC51818782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897758$725E42B7-0253-4D94-9AB7-71B5AD5B4C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897758$02614818-7712-4D8A-A784-04E475C71EF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a7490660b8cb26e627f2cf776b4cc83437662e1","datavalue":{"value":"6517036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897758$AE88BF82-68FE-44B1-92C4-C3E5EAAD01D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"095642a7cd4f0ce7a456b36d51cf50bc57934b4f","datavalue":{"value":"valued fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q897758$D9C6FD3A-0689-4273-BE63-21F289C7BC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb8279e38d13c2615b412c8ab5b599f1675d53c8","datavalue":{"value":"tame fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q897758$A530791D-A9FC-45E6-80BF-915340192B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d70aa9079edb65590fd90a5b7e8f62af5fca999","datavalue":{"value":"separably tame fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q897758$014CA7AB-BED2-4FB0-9402-B62AD2860CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be054a861b6d18f5428771e67e438a8333a8faed","datavalue":{"value":"Ax-Kochen-Ershov","type":"string"},"datatype":"string"},"type":"statement","id":"Q897758$0756BBDE-C745-45BF-9AD1-7FFD9F803D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2070fc5df9433d476c5377198a03336bbaf3834","datavalue":{"value":"model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q897758$94607EEC-696B-4230-ADCF-09F2291C744C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q897758$BE999142-AFF6-427C-8E9F-A8560E6E2C9D","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":"Q897758$6E9BF136-D8A7-4457-9796-0AC69F2C05D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bf57505fdc0679a77d1821bf0e69788468c1506","datavalue":{"value":"W2964081931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897758$356717A0-D31F-4067-8B35-B8BDFBF552C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f3bce104a3cb20b065f81462b1ad4e2383b3ba","datavalue":{"value":{"entity-type":"item","numeric-id":5534353,"id":"Q5534353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$4C8ACC9C-C2BC-478B-902B-791503B512AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec9a41620eee325458c800856323320e71ae4c57","datavalue":{"value":{"entity-type":"item","numeric-id":3502622,"id":"Q3502622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$4850E0B8-1E26-49BA-8BA0-398AC71F3EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe550f3549cdf995505ee8803ca92194c9d942d","datavalue":{"value":{"entity-type":"item","numeric-id":5328221,"id":"Q5328221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$20F22287-54EC-4A32-A9A5-558F001C2F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1533cc7d71967392df635bd1b63ca5825e9385b7","datavalue":{"value":{"entity-type":"item","numeric-id":2653021,"id":"Q2653021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$D7D7A3C5-7589-43D8-9A85-7C6FB0B34CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe2be96829f938d46cfbd2b876d223603beab89","datavalue":{"value":{"entity-type":"item","numeric-id":3413460,"id":"Q3413460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$C2D00F4F-AE17-42F9-8333-8130FBFDF386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b875537b277d26990aa2e13790436638d9ce99","datavalue":{"value":{"entity-type":"item","numeric-id":1016478,"id":"Q1016478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$BD97DF7B-663B-4CA9-8E07-0E4B11BBC621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23089189b325f4b1efb7f191dafb53ae98e8bb21","datavalue":{"value":{"entity-type":"item","numeric-id":648747,"id":"Q648747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$ECBA8BA4-5D1E-495C-9153-622DA84C2746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c127da1ae41a1384de1047a4cd667eb342af17","datavalue":{"value":{"entity-type":"item","numeric-id":3056565,"id":"Q3056565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$19F54E81-8D01-4CF4-8EAD-871C41412586","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":"Q897758$C96C37F4-C8FC-4202-8544-4FF062B6B4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30924dd5a7e603f34cc7425c9169b88b1dacd84f","datavalue":{"value":{"entity-type":"item","numeric-id":3272926,"id":"Q3272926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$A779D3DD-4738-4920-A7A0-2BF0AA8ECAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8184c9e22f7bf71dec0c9ecfb633139eaa729b1","datavalue":{"value":{"entity-type":"item","numeric-id":2770573,"id":"Q2770573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$7A9DA853-F393-43C8-A7A0-057E7E587FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$64FA910F-E86B-4A40-8DE1-1B06D3F86DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02561aa2d6d6d75a3111a847dab748489434675","datavalue":{"value":{"entity-type":"item","numeric-id":4143431,"id":"Q4143431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$FAD8E4F4-1166-4EDB-B7C8-3E885DD04458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adc04418faff4043e9fa45ad372a3c5c8cc2262","datavalue":{"value":{"entity-type":"item","numeric-id":3274978,"id":"Q3274978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$623F498B-734C-4BEF-BCB3-7D4511A7BFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98837239f79b334be878b93141ebaa12f883fe79","datavalue":{"value":{"entity-type":"item","numeric-id":3858246,"id":"Q3858246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897758$F4E6F82E-5F88-4F5F-928B-0E3C358A17D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87a86f8d9c56e05575757c41dbdd205235e9cbf5","datavalue":{"value":"10.1016/J.JALGEBRA.2015.09.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897758$B38B68C6-2B5D-40E8-88DF-17681BB89BDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17a6a247e9792eceb70c6337b6ecd1b97d8606b","datavalue":{"value":{"entity-type":"item","numeric-id":323734,"id":"Q323734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670d1c076259ad3867cebcb764666a93e21d5b7a","datavalue":{"value":{"amount":"+0.9226505160331726","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":"Q897758$F5E0EFD8-3B80-4206-8385-3ED0B56483C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92292b678cd79eac5e7f4e20b1c24c25ef739df8","datavalue":{"value":{"entity-type":"item","numeric-id":1270368,"id":"Q1270368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0295026af9f72e1a96692a5895e647d7b3f8f8f","datavalue":{"value":{"amount":"+0.8656029105186462","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":"Q897758$47E9647B-5C09-44CB-8A72-420508C963AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3a78756664237f875ff0e7c126f51fa739af8db","datavalue":{"value":{"entity-type":"item","numeric-id":1396467,"id":"Q1396467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30e592f4257278fa1a96c42d67a9f1d601aeb1c","datavalue":{"value":{"amount":"+0.7994183301925659","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":"Q897758$2DC559EF-E0B7-4383-AEF8-D94540763190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7de223a4957b5dfb6099d2e4502e76db78fb33a","datavalue":{"value":{"entity-type":"item","numeric-id":6155809,"id":"Q6155809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30e592f4257278fa1a96c42d67a9f1d601aeb1c","datavalue":{"value":{"amount":"+0.7994183301925659","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":"Q897758$100160AD-F5C1-4842-A24F-47F10AAA129E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d89b04313955295917eb77392857d77423e589","datavalue":{"value":{"entity-type":"item","numeric-id":4440896,"id":"Q4440896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f896e02bdc08cec4ceca8774b4ec42881d36613f","datavalue":{"value":{"amount":"+0.7966170310974121","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":"Q897758$D526F16B-CB5E-4B4F-AA55-ECF9AE9774B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The model theory of separably tame valued fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_model_theory_of_separably_tame_valued_fields"}}}}}