{"entities":{"Q636388":{"pageid":638236,"ns":120,"title":"Item:Q636388","lastrevid":63168483,"modified":"2026-04-11T11:03:57Z","type":"item","id":"Q636388","labels":{"en":{"language":"en","value":"Special transformations in algebraically closed valued fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943666"}},"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":"Q636388$3AC73944-5825-4C01-B5DD-E8B550547706","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f04c702eebc7b8520d02aa3edecf8279840e12b3","datavalue":{"value":{"text":"Special transformations in algebraically closed valued fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636388$4D87E827-5EDE-4285-8E03-0A79E6E54763","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82d8e5dfca7d777cd01d112669497298feea12cd","datavalue":{"value":"1226.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636388$587CD89F-D3A5-4631-8A49-EA10FBA6954D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aadb9ba00995cdcd70ae231de0bc5d8142faf673","datavalue":{"value":{"entity-type":"item","numeric-id":478557,"id":"Q478557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$D69FE952-1CAF-49BC-B1FA-F83F9D3A96DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$D31B5CB8-7A79-4792-8075-227406234201","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f347fb3b92d10259e32e7ae3b68d43ebb98729","datavalue":{"value":{"time":"+2011-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q636388$EDC2F975-0D55-40F8-A202-01F02331002B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36fb25e2bc17217f576839edb3e1be686116fce9","datavalue":{"value":"https://arxiv.org/abs/1006.2467","type":"string"},"datatype":"url"},"type":"statement","id":"Q636388$859EE08B-903C-4CF1-9616-77B1B35D21C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e709b11ed8ed908256dd90e316e4b59112aef80","datavalue":{"value":"This is the first in a series of papers in which the author aims to rewrite and work out the Hrushovski-Kazhdan theory of motivic integration in a restricted setting.  The basic idea of motivic integration in local fields is to compute the Haar measure of a set in a way that is independent of the underlying field. For this one assigns to each first-order formula a ``measure'', typically an element of a Grothendieck ring of varieties, which then specializes to the Haar measure of the set defined by that formula in (almost) all of those local fields. A very abstract form of this, for so-called V-minimal expansions of the theory of algebraically closed valued fields, is introduced in [\\textit{E.~Hrushovski} and \\textit{D.~Kazhdan}, ``Integration in valued fields'', in: V. Ginzburg (ed.), Algebraic geometry and number theory. Basel: Birkh\u00e4user. Progress in Mathematics 253, 261--405 (2006; Zbl 1136.03025)].  Yin specializes this to the theory \\(\\text{ACVF}_S(0,0)\\) of algebraically closed valued fields of pure characteristic zero in the Basarab-Kuhlmann-style two-sorted language \\(\\mathcal{L}_{\\text{RV}}\\) with valued field sort \\(\\text{VF}\\) and residue multiplicative structure sort \\(\\text{RV}\\) (where \\(\\text{RV}(K)=K^\\times/(1+\\mathfrak{m}_K)\\)), expanded by constants from a substructure \\(S\\) which is generated by elements from \\(\\text{VF}\\) and the imaginary value group sort \\(\\Gamma\\). The motivic measure in this integration theory takes the form of a canonical isomorphism \\(\\mathbb{K}_+\\text{VF}_\\ast[\\cdot]\\rightarrow\\mathbb{K}_+\\text{RV}[\\ast,\\cdot]/\\text{I}_{\\text{sp}}\\) between the Grothendieck semigroup of the category of definable sets \\(\\text{VF}_\\ast[\\cdot]\\) associated with the \\(\\text{VF}\\)-sort and the Grothendieck semigroup of the category of definable sets \\(\\text{RV}[\\ast,\\cdot]\\) associated with the \\(\\text{RV}\\)-sort modulo a semigroup congruence relation \\(\\text{I}_{\\text{sp}}\\).  The present paper presents two of the three steps of the construction of this isomorphism. Namely, a lifting \\(\\mathbb{L}\\) from \\(\\text{RV}[\\ast,\\cdot]\\) to \\(\\text{VF}_\\ast[\\cdot]\\) is constructed which is proven to be surjective. More precisely, the author shows that every object of \\(\\text{VF}_\\ast[\\cdot]\\) is in definable bijection with an element in the image of \\(\\mathbb{L}\\) via one of the so-called special transformations occurring in the title of the paper. It is then proven that \\(\\mathbb{L}\\) induces a homomorphism \\(\\mathbb{K}_+\\text{RV}[\\ast,\\cdot]\\rightarrow\\mathbb{K}_+\\text{VF}_\\ast[\\cdot]\\). The third step of the construction, the identification of the kernel of this homomorphism, is presented in the sequel [\\textit{Y.~Yin}, ``Integration in algebraically closed valued fields'', Ann. Pure Appl. Logic 162, No. 5, 384--408 (2011; Zbl 1225.03042)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q636388$D618BC2C-EBE3-4422-BD8C-AEBC119096E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"40ceb4ec479f0683a9a02f38b65a33e2c5c90263","datavalue":{"value":{"entity-type":"item","numeric-id":256948,"id":"Q256948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$9A2F9FBD-D004-4739-AB5C-6F9909C0F4EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636388$8FF26BEE-9619-4663-9744-D7BC1249B2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2db7c2ef637f895a1617542f6fec055c0c00e7f5","datavalue":{"value":"11S80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636388$5C9330C8-76F4-4FD5-8BEB-ED095BF4F700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"009574a0aaaae71df9f86680a254995c981bac3d","datavalue":{"value":"11U09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636388$EAA594C9-C62E-4552-B3C9-9CC7EC3E6100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636388$4B8C93CB-2B44-4B82-AAD2-FACE9CFD639F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94c2b392ad4d2ac64e5e4dc3693c112aa5c6bd5f","datavalue":{"value":"5943666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636388$044D4931-F81E-4818-87AC-F3AA30CE1B66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f512f224c0e9a5e79a6ef62786b7541cc96e1d23","datavalue":{"value":"motivic integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q636388$3005721C-2C95-4C3E-9414-1361BAC940DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"095642a7cd4f0ce7a456b36d51cf50bc57934b4f","datavalue":{"value":"valued fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q636388$DEC9B4DF-E130-4762-83FB-617B5BB02BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"551f6f80c2f822b2da86699d45caba402bd77106","datavalue":{"value":"Grothendieck group","type":"string"},"datatype":"string"},"type":"statement","id":"Q636388$305BC8C4-5ED0-40F1-A886-67BE6D95449F","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":"Q636388$7E49AA10-5C81-44F4-AF01-E9E9095C69C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c60379c049103c6526ed97f9a23379d0ff0fb26c","datavalue":{"value":"W2073426973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636388$511E8F3C-B01A-4F89-9DC8-6388917B6567","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b89f4287dbb4901cc6ba9064f810b81f5cb4f38","datavalue":{"value":{"entity-type":"item","numeric-id":5563439,"id":"Q5563439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$925835DC-957F-4DBB-9CA1-9DAA7C0B20F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2363fa788f1c54cf157e0cb10ba1d8f25d602c","datavalue":{"value":{"entity-type":"item","numeric-id":3521599,"id":"Q3521599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$3BD6B8EC-706C-4E1E-A4EE-1CE7FC2217EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c0de84a44b1cf385bb5635f3b97bdfc8274213","datavalue":{"value":{"entity-type":"item","numeric-id":929367,"id":"Q929367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$FC3B2CB4-36A9-4942-AC5E-20D8E84572F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f215b4be5d109fd9d816f69f638d95cc094372e","datavalue":{"value":{"entity-type":"item","numeric-id":5552751,"id":"Q5552751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$22EC5BBF-F7DF-4DB1-86BD-3206A5B7AF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661e527ee52403f296d6d8813ef2cce6a7d0bcc8","datavalue":{"value":{"entity-type":"item","numeric-id":3708875,"id":"Q3708875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$DD10AECA-B446-4EAF-B976-91520238C471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339fec20266d8a2f2964546f4433be1ea4bac442","datavalue":{"value":{"entity-type":"item","numeric-id":4663498,"id":"Q4663498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$D9562D5D-4E56-449E-84C0-E20AD053AA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344645029fbab99f9fbbc63ee338fe1fbdca42a5","datavalue":{"value":{"entity-type":"item","numeric-id":5439607,"id":"Q5439607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$EB91A858-8F62-4544-8FE4-F9CFDB1477D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49277a830e62c64c6bddf874b08b88e6e61070d9","datavalue":{"value":{"entity-type":"item","numeric-id":4138813,"id":"Q4138813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$2A66F08F-3B52-4483-9A7E-035FAE5987E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5347e18455fb7b78fee42348fec28f68f9c58820","datavalue":{"value":{"entity-type":"item","numeric-id":5286447,"id":"Q5286447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$F8D74F9C-6BB1-4995-AC26-D7AF147F06EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb863ba17caf19953f2fcaeb4468ab7548f683a","datavalue":{"value":{"entity-type":"item","numeric-id":4391424,"id":"Q4391424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$E4927F9D-F9E3-43D9-AB23-D5A10AE58F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13af848146e789f41fea1e1c432336b7bf3faae4","datavalue":{"value":{"entity-type":"item","numeric-id":3818413,"id":"Q3818413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$9291B306-AA8A-4806-AF11-97C7282F9F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bfa26e90eebbcbe6fbe817cf59460a95b3f6765","datavalue":{"value":{"entity-type":"item","numeric-id":3808203,"id":"Q3808203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$F1974050-35F2-4A42-8B70-8A7F3FDA3814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5101aeb1009d34b9a29b48b6c0c4f89f9ab3a2","datavalue":{"value":{"entity-type":"item","numeric-id":4135685,"id":"Q4135685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$FECEFB7B-6177-4672-8D27-EA7F549D9ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed7ff598c0c69ebac615e6090053320ee0eb713","datavalue":{"value":{"entity-type":"item","numeric-id":3630584,"id":"Q3630584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636388$E2EAADA1-4B35-4DC1-9140-C664E87CCFAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74b9c70ec60eb596fe53cce65dd7813bfc8cf978","datavalue":{"value":"10.1016/J.APAL.2010.06.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636388$797F83E5-7008-4978-B164-9257DF81C4FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21a35d004cd4b267001360133ab4b47db06a249","datavalue":{"value":{"entity-type":"item","numeric-id":638502,"id":"Q638502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a634aa7b436f75a6b7f89efb1815746adaf04f","datavalue":{"value":{"amount":"+0.8793836832046509","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":"Q636388$415B86C7-B5EE-4376-834F-D2C66457D4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88fe1cb85b0ff292a21fc81548eccfeffdfcbc8","datavalue":{"value":{"entity-type":"item","numeric-id":4590950,"id":"Q4590950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa067981255fbe45543ea68e8f838ea69f92140d","datavalue":{"value":{"amount":"+0.8532769680023193","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":"Q636388$56A59648-1EBC-4B3A-8DFF-711D5CCBF961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc60f3622eda1d78a724ac82649fc42c26916a9","datavalue":{"value":{"entity-type":"item","numeric-id":1759365,"id":"Q1759365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60a13af95713cf6e4fe4bbf9004e5f3b59569d6c","datavalue":{"value":{"amount":"+0.831845223903656","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":"Q636388$A9665F7D-F538-4D92-B5E4-F5B1D606A7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31e21f16bd7634b584452638897be21c482ba87","datavalue":{"value":{"entity-type":"item","numeric-id":5439607,"id":"Q5439607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8c2da7329c80f919fc840ae201d80339ba1b98","datavalue":{"value":{"amount":"+0.8115824460983276","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":"Q636388$3D202B67-8FA9-477E-92BE-9499A8C11DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a284cd931fcfcfce726fdc493ceb4399a157f90","datavalue":{"value":{"entity-type":"item","numeric-id":4809489,"id":"Q4809489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3e86e5fca4159b6a9c6a0db637d4b28d9e755ad","datavalue":{"value":{"amount":"+0.8058437705039978","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":"Q636388$A521252A-7806-4BCC-BF19-47BA0F1E0030","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Special transformations in algebraically closed valued fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Special_transformations_in_algebraically_closed_valued_fields"}}}}}