{"entities":{"Q638502":{"pageid":640350,"ns":120,"title":"Item:Q638502","lastrevid":57089757,"modified":"2026-03-26T13:31:17Z","type":"item","id":"Q638502","labels":{"en":{"language":"en","value":"Integration in algebraically closed valued fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5947144"}},"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":"Q638502$214B3194-4E30-49E5-8844-C346524EEBDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"340d6971752b60b232216303af63a3337f657799","datavalue":{"value":{"text":"Integration in algebraically closed valued fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q638502$7C04AA11-C976-4D4A-B04C-47C9C6143351","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3b0aadcc7035f93fc591ea2f0ad1e42000364c2","datavalue":{"value":"1225.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638502$CDD56146-3E2D-4B8C-B828-1444C4C472FD","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":"Q638502$4C00BE82-23A7-4123-812B-61428234FFB1","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":"Q638502$D1D05E4E-A202-4261-B84F-12DEBAA9AEAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28ce2fef0076f9b8b7c93bbdc314b820e86bb25b","datavalue":{"value":{"time":"+2011-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q638502$134089B5-871B-4A9C-BCAA-413D1761ED07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e524969c928604c7348d76536d90f367f78e381b","datavalue":{"value":"https://arxiv.org/abs/0809.0473","type":"string"},"datatype":"url"},"type":"statement","id":"Q638502$A6057F43-1B17-44F7-A16E-5DBDB4DF228D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf0d2d07b1c984828f46b1e7287a837079ce9cd2","datavalue":{"value":"\\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)] introduced a new theory of motivic integration for algebraically closed valued fields in a quite general context. \\textit{Y.~Yin} [``Special transformations in algebraically closed valued fields'', Ann. Pure Appl. Logic 161, No.~12, 1541--1564 (2010; Zbl 1226.03044)] started to rewrite that theory in a more specific context, which allows some simplifications and which therefore is more accessible. The present article is the second part of that rewriting. More precisely, Hrushovski-Kazhdan work in an arbitrary ``\\(V\\)-minimal'' theory \\(T\\), a quite general expansion of the theory of algebraically closed valued fields of equi-characteristic zero, \\(\\text{ACVF}(0,0)\\); Yin only considers expansions \\(T\\) of \\(\\text{ACVF}(0,0)\\) by constants for a \\((\\text{VF},\\Gamma)\\)-generated substructure; the main advantage of this more specific context is the presence of syntax.  Recall that the heart of motivic integration in the sense of Hrushovski-Kazhdan consists of the ``motivic measure'' which one associates to any definable set in the valued field sort \\(\\text{VF}\\) of the expansion \\(T\\) of \\(\\text{ACVF}(0,0)\\). This motivic measure itself is essentially a definable set in the \\(\\text{RV}\\)-sort (where \\(\\text{RV}(K) = K^\\times/(1 + \\mathcal{M}_K)\\) is the ``leading term structure'' of a valued field \\(K\\)). More precisely, motivic measure is an isomorphism \\(\\int_+: \\mathbb{K}_+\\mu\\text{VF}_* \\longrightarrow \\mathbb{K}_+\\mu\\text{RV}[*]/\\mu I_{\\text{sp}}\\) (Theorem~7.10) between Grothendieck semirings, where \\(\\mu\\text{VF}_*\\) is a category of definable sets in the valued field with volume form, \\(\\mu\\text{RV}[*]\\) is a similar category of definable sets in the \\(\\text{RV}\\)-sort, and \\(\\mu I_{\\text{sp}}\\) is a suitable semigroup congruence relation.  To obtain \\(\\int_+\\), one first constructs a natural surjective homomorphism in the other direction: \\(\\mathbb{L}: \\mathbb{K}_+\\mu\\text{RV}[*] \\longrightarrow \\mathbb{K}_+\\mu\\text{VF}_*\\); this has been done in the first article of Yin [loc. cit.]. In the present article, the equivalence relation \\(\\mu I_{\\text{sp}}\\) on \\(\\mathbb{K}_+\\mu\\text{RV}[*]\\) is defined (it is generated by a single, very natural equivalence); the main technical work then consists in proving that \\(\\mu I_{\\text{sp}}\\) is exactly the kernel of \\(\\mathbb{L}\\). After that, \\(\\int_+\\) can simply be defined as the inverse of \\(\\mathbb{L}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q638502$71815F0B-0B64-4AC7-B286-9299A06E42DB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dddde243d09d3a0c11c233fa0f386c8f74d6555f","datavalue":{"value":{"entity-type":"item","numeric-id":590825,"id":"Q590825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638502$D1813B5A-8873-4454-A22A-A0417982030E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638502$9778DCF3-4F7A-42CD-829B-D36567AD8C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d90ee310454c6b867714319dcb47d31388e88370","datavalue":{"value":"11S85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638502$AF228D9C-EF22-4176-9EFC-E704128B1231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"009574a0aaaae71df9f86680a254995c981bac3d","datavalue":{"value":"11U09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638502$F383C899-DD6B-49F5-B4F4-5BACFA1EE77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638502$67EA577F-AB3E-4293-BF81-DD53770CE2E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea48ef4eb55c669c26be8f601e311915d7757a3d","datavalue":{"value":"5947144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638502$157BFECE-93F0-48D7-96DB-17955FC3F204","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f512f224c0e9a5e79a6ef62786b7541cc96e1d23","datavalue":{"value":"motivic integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q638502$E4813E83-8D48-4D8C-9FFC-C9FE156CD689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80927bed62ea440a7298644b48b0da2a470f145","datavalue":{"value":"valued field","type":"string"},"datatype":"string"},"type":"statement","id":"Q638502$A11159EE-D480-4120-A033-1DB7C0F49120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"551f6f80c2f822b2da86699d45caba402bd77106","datavalue":{"value":"Grothendieck group","type":"string"},"datatype":"string"},"type":"statement","id":"Q638502$B59F5935-B4F9-4F21-A89C-4D72032741B7","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":"Q638502$8F42FD7B-528E-4E4E-A5D0-53FD3510DD77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6ded485be676c01a4ed3a71da0bf55d33b5166e","datavalue":{"value":"W2963024574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638502$C2F0FB68-A20F-43AD-9162-16E16BCD359A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e95097a0e2616eab3c84dae83fdc0cbc5ed05b","datavalue":{"value":{"entity-type":"item","numeric-id":2889334,"id":"Q2889334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638502$FFB1D843-6D2A-4DBC-A09B-6B138A8E52B6","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":"Q638502$F69F1CB7-1F6F-4E56-9110-3D44691D78CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef07334f39a61c8fe5c32570029fc15faa64be1e","datavalue":{"value":{"entity-type":"item","numeric-id":4826818,"id":"Q4826818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638502$CCA8E42B-4BAA-4EE7-A0EB-ECD3182051BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d08b860bef7ebac625b2afd0fc3a5f4b8f336f","datavalue":{"value":{"entity-type":"item","numeric-id":4392286,"id":"Q4392286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638502$B1817C36-4EF0-4D2D-B718-4068D0C30424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab3bc1dc421da823b4194d496f90792ccd6f812","datavalue":{"value":{"entity-type":"item","numeric-id":3635895,"id":"Q3635895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638502$EF20180D-C92C-4ABE-ADCE-05BFA7ABF323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7a5685255fbd052966db1470e61ca3e400667a","datavalue":{"value":{"entity-type":"item","numeric-id":1290359,"id":"Q1290359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638502$593B1B93-1873-4F45-A10E-C7BC9FF00D0D","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":"Q638502$20826484-651F-4565-B468-2FDE382C49A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97006cb73ddcf00d5612b5e768857522b5fbc05d","datavalue":{"value":{"entity-type":"item","numeric-id":3649477,"id":"Q3649477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638502$65897457-E88A-477C-9039-F1A271938C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4e48c62cbce5df5269d5f83d8017d0d5318ccae","datavalue":{"value":{"entity-type":"item","numeric-id":2497443,"id":"Q2497443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638502$51918E36-E045-4B36-9B81-6655823C179D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e0ddfc13fb92dbeacf033fe1018a44588900811","datavalue":{"value":{"entity-type":"item","numeric-id":636388,"id":"Q636388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638502$FC58D5A4-74B7-4BE4-B25F-6382421FDA66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29828cb451db0f458e05383ce49c982b23fccbff","datavalue":{"value":"10.1016/J.APAL.2010.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638502$54E219FF-1526-44A3-9840-7CFD07A99642","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dce88bacc60e846f21273d5c1002b726554d5c7","datavalue":{"value":{"entity-type":"item","numeric-id":636388,"id":"Q636388"},"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":"Q638502$1CD03B9A-61D9-4B8D-A09E-DB08003500EF","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":"3e5966131019a29467a15563025783a8a91831c4","datavalue":{"value":{"amount":"+0.8407822847366333","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":"Q638502$5208F786-9CAB-4CF9-AF84-DC434BC81B9C","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":"c07e298e74d42a31f4c1491d2a91ec44943bd205","datavalue":{"value":{"amount":"+0.8313069939613342","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":"Q638502$55830E5D-3D4F-4C84-8F81-537D7080AAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2142827e474e9537d2111dc681bc0a1cd1215a7","datavalue":{"value":{"entity-type":"item","numeric-id":929367,"id":"Q929367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ce0393b542e6e7779135ab8ffda204f6379777","datavalue":{"value":{"amount":"+0.8105077147483826","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":"Q638502$CA018ECD-A596-4698-8384-3ACD5B74EC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74ba90a7dfc08a5ed00e6924ae5e927cd3477e0","datavalue":{"value":{"entity-type":"item","numeric-id":2018377,"id":"Q2018377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9642cd22513090fb9995f06d556290b863136215","datavalue":{"value":{"amount":"+0.7863652110099792","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":"Q638502$454C1580-E06A-4BD7-860A-3CDCC894F028","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:638502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:638502"}}}}}