{"entities":{"Q763703":{"pageid":765552,"ns":120,"title":"Item:Q763703","lastrevid":57161250,"modified":"2026-03-26T20:41:34Z","type":"item","id":"Q763703","labels":{"en":{"language":"en","value":"Quantifier elimination in ordered abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6019671"}},"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":"Q763703$B6013FA0-0BC2-410E-8ADA-B08B7F45ED17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c99bf64adddf777658dc91d4454e2fd8b77f7c58","datavalue":{"value":{"text":"Quantifier elimination in ordered abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q763703$7CC5D643-19BA-4F47-81E7-3A37D8D08810","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"456e7d1378dd0964a8f65f3617c46112046f07b3","datavalue":{"value":"1246.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763703$8D8C8D9D-4D33-4D6A-89A9-B8499CF39D9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ffbefc9111d1a456361ab56a51ea14967a43364","datavalue":{"value":"10.1142/S1793744211000473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763703$66A9E508-E4A5-407F-8AE7-DE1ABFB47445","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad177194eb993c63a81c720db2c123059d277423","datavalue":{"value":{"entity-type":"item","numeric-id":249504,"id":"Q249504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763703$501E9969-E457-432A-A00B-9544B2C2266E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"122a98968a60ee6ef562a088f8f733262e0a60ec","datavalue":{"value":{"entity-type":"item","numeric-id":590825,"id":"Q590825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763703$907C5A17-A22F-4245-A1B5-FB6FF3CDF85F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e156f5e85ca91ce21d0269f2a0c8ec801f8412d","datavalue":{"value":{"entity-type":"item","numeric-id":418691,"id":"Q418691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763703$076E50E0-E1A3-4CA3-B958-8ADE4480700B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0a3f1e568029ab0648b899666b38e418849eaa7","datavalue":{"value":{"time":"+2012-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q763703$F4D97B8B-37B5-4123-AA80-3C86EA36FAA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"383244faa3d069582c5f1fbee144a582b44437f5","datavalue":{"value":"https://arxiv.org/abs/1110.3200","type":"string"},"datatype":"url"},"type":"statement","id":"Q763703$340B5B2D-D01B-461C-AB97-02A3198D9798","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf00b03191dc82da454ce076b6445a98dad38196","datavalue":{"value":"A new quantifier elimination proof is given for the theory of all ordered abelian groups. This result was already shown by Gurevich and Schmitt by a different method. Here a new language is introduced, allowing a quantifier elimination ``relative'' to ordered sets in the following sense: Each definable set in the group is a union of a family of quantifier-free definable sets, where the parameter of the family ranges over a set definable (with quantifiers) in a sort which carries the structure of an ordered set with some additional unary predicates.  The relation between this approach and the one by Gurevich and Schmitt is illustrated.  As a corollary of the quantifier elimination theorem, a result of piecewise linearity of definable functions is obtained. In more detail, it is shown that, for every definable function \\(f : G^n \\rightarrow G\\) in an ordered abelian group \\(G\\), there is a partition of \\(G^n\\) into finitely many definable sets such that the restriction of \\(f\\) to any of these sets is of the form \\(f(x_1, \\dots, x_n) = {1 \\over s} \\sum_i (r_i x_i + b)\\) where \\(r_i\\), \\(s\\) are integers and \\(b \\in G\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q763703$19AD243E-7FAC-4DD0-919D-20667BE1EDD7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b44ab2ab89d6b11aa6f7da0ef60936cfd52cfe4","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763703$06E87FDC-464E-4EE6-B199-E997107502F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763703$4CD4F85C-9DD3-4B5D-B9DA-E21AFAB254AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763703$1C7965D0-6F0A-4559-A7B6-560509B2E3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763703$5072A999-071C-4FE2-8659-DD715BE9EB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763703$82AAB393-CEC0-43DB-96F9-C4E840353C74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d48cd18ef54732ac51da7bcbdd9611765bf21be7","datavalue":{"value":"6019671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763703$14F4A0F2-3E2B-46BB-A182-5F7D6AF7E66E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49ab8deff90d48e368f38c495a0bf6ef3e84447","datavalue":{"value":"ordered abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q763703$8B7DA5A8-4622-4A4E-96DB-3465DAA39353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q763703$FD76E635-A0C5-46CE-9236-EF93D2A2D625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df8bc080003c41c239c9395ad4365d64adb5e7b0","datavalue":{"value":"cell decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q763703$6944599B-3FDF-4326-A892-0C2AB34901E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8fead937777669a78ec83f073cc532bd95767f2","datavalue":{"value":"piecewise linearity","type":"string"},"datatype":"string"},"type":"statement","id":"Q763703$280D9AF9-0F00-4195-B1F5-D1B22F10D1EC","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":"Q763703$12B058EA-41F7-4FD8-8030-BE71851169E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4e9c2f2b2466edef1d107ade377d26d2ccc4257","datavalue":{"value":"W2027028526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763703$7AE1E2F8-94B5-4378-A9C9-9DC80669090C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ebb15693586515f083fedd884ae6e4a40e57a4","datavalue":{"value":{"entity-type":"item","numeric-id":3767392,"id":"Q3767392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943f065b4395548a9c76093658846185bcae3be4","datavalue":{"value":{"amount":"+0.8791618347167969","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":"Q763703$E372C124-49D8-46F1-A8EF-677E2E422E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caa3613ac456ff27a27cb243db968ae9846d31d8","datavalue":{"value":{"entity-type":"item","numeric-id":2565488,"id":"Q2565488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"215b15d0216a1e1e36d7bb64f5cc0d66208ab093","datavalue":{"value":{"amount":"+0.8516352772712708","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":"Q763703$2F7D6B6F-3453-4737-A365-9B7EA5E953F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e53e892f77f8c6bc7babbe85f65ff4d12ef14f9","datavalue":{"value":{"entity-type":"item","numeric-id":4735177,"id":"Q4735177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5fe8a549a3ea5142a0211099eef9ec8b2470190","datavalue":{"value":{"amount":"+0.8473772406578064","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":"Q763703$1F31832B-26BD-4B3E-8D58-9C663106FD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c660f4e31961d8c23d3adab6feae78cc82befd","datavalue":{"value":{"entity-type":"item","numeric-id":875687,"id":"Q875687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08753ce4f00a8292dab38f32fed3226638588a94","datavalue":{"value":{"amount":"+0.8272616267204285","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":"Q763703$C19BB2C4-8EA5-4F49-90E1-CFCEBA3F7F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75fc5c0a2108f2cfe875b90d64ddf2f156f42022","datavalue":{"value":{"entity-type":"item","numeric-id":1032695,"id":"Q1032695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8f0a066453a3ee6fe14c5da647d3aa81d9f8c5","datavalue":{"value":{"amount":"+0.8230818510055542","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":"Q763703$761147D7-E3D7-4DAB-AB38-6A7647236486","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:763703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:763703"}}}}}