{"entities":{"Q987186":{"pageid":989034,"ns":120,"title":"Item:Q987186","lastrevid":65919144,"modified":"2026-04-12T06:15:47Z","type":"item","id":"Q987186","labels":{"en":{"language":"en","value":"A representation of convex semilinear sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5770090"}},"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":"Q987186$3AE34DD5-98F0-47A5-895F-D8EB00F30B96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38d0d63392af1d0d46494eba4302061471a71b85","datavalue":{"value":{"text":"A representation of convex semilinear sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q987186$9CAD9CBD-7968-47B0-AC6C-FE7E0D18CE7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c52f01bc8f01be1c1ab33535c1dd94d1f251a6c4","datavalue":{"value":"1206.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987186$F5E8C30B-34BB-4589-94BF-98DE9A61BF07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8046c88830c5dfb2589ca8a57ceeee063c5c70b9","datavalue":{"value":{"entity-type":"item","numeric-id":292830,"id":"Q292830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987186$182B6AAA-9B57-4044-AB37-160A44C3BB4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987186$EDBB9008-67A8-4393-8241-BD13B345C566","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"829d55f1ec544e7d684ffd95ef09a9fd350e7c82","datavalue":{"value":{"time":"+2010-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q987186$C5CBB7CE-04BA-4560-AA6A-96DBD9006E8E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ddaa29cad0ec1f387debc35e1b06d6d83f6f6379","datavalue":{"value":"Let \\(F\\) be an ordered field, \\(n\\) a positive integer. A subset of \\(F^n\\) is called \\(F\\)-semilinear if it is a finite Boolean combination of translates of closed subspaces, that is, subsets of the form \\(\\{x \\in F^n \\, : \\, \\sum_{i=1}^n a_i x_i \\geq b \\}\\) with the \\(a_i\\) and \\(b\\) in \\(F\\). Andradas, Rubio and V\u00e9lez showed that closed (open) convex semilinear sets of \\(F^n\\) are finite intersections of translates of closed (open) halfspaces. However, there exist convex \\(F\\)-semilinear subsets that are neither closed nor open. The paper under review provides a simple and nice representation of arbitrary convex \\(F\\)-semilinear sets, referring to the ordered field \\(F(\\theta)\\) with \\(\\theta\\) a positive infinitesimal. In fact, it is shown that the convex \\(F\\)-semilinear subsets \\(S\\) of \\(F^n\\) are just the intersections with \\(F^n\\) of the closed convex \\(F(\\theta)\\)-semilinear subsets of \\(F(\\theta)^n\\), hence the finite intersections of sets of the form \\(\\{ x \\in F^n \\, : \\, \\sum_{i=1}^n a_i(\\theta) x_i \\geq b(\\theta) \\}\\), where the \\(a_i(\\theta)\\) and \\(b(\\theta)\\) come from \\(F[\\theta]\\). A sharp bound of \\(n\\) on the degrees of the \\(a_i(\\theta)\\) and \\(b(\\theta)\\) is also provided. In particular, it turns out that the bounded convex \\(F\\)-semilinear sets of \\(F^n\\) are exactly the intersections with \\(F^n\\) of the convex hulls in \\(F(\\theta)^n\\) of finitely many points of \\(F[\\theta]^n\\).  The author also examines the intersections with \\(F^n\\) of subsets of \\(F[\\theta]^n\\) definable in a more complex way, involving arbitrary connectives and quantifiers. Here \\(F[\\theta]^n\\) is viewed as an ordered module over itself. A suitable language \\(C\\) is introduced to support this approach. Basically, \\(C\\) expands the usual language of ordered \\(F[\\theta]\\)-modules by a binary relation \\(\\leq_a\\) for every \\(a \\in F[\\theta]\\) (to be interpreted by the relation  \\[ x \\leq_a y \\quad \\Leftrightarrow \\quad \\exists x \\, (x \\leq az \\leq y)). \\]  The author analyzes in this setting first the structure of projections of finite intersections of solution sets of weak inequalities, and then arbitrary definable sets.  A more expressive two-sorted language is also considered, with a valuation assigning to every non-zero \\(a \\in F[\\theta]\\) the greatest natural number \\(k\\) such that \\(\\theta^k\\) divides \\(a\\) (and \\(\\infty\\) to \\(0\\)).  All these results are compared with earlier quantifier elimination theorems for abelian groups and modules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q987186$00ED24EC-EF2C-429E-ABC9-3DD285FBA4E1","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":"Q987186$FE4FF10B-549B-4EA7-BC07-7C07CA666B20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987186$F4E6DB14-BAFD-4C95-AFD2-D89D2CCB398E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3e91529a8a08801bafc0325eb71a11714228bfc1","datavalue":{"value":"52A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987186$674A4E00-BDE9-4E17-863F-75046A61FE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987186$8417E091-F7CA-4B3C-B28C-F6D22C4B8D39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f078b113bf5c8cfb0a3914a338b63fed997855cf","datavalue":{"value":"5770090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987186$12AC9852-5F1A-4BA6-BDC5-81BB23814ABD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36684c3e7ff30f81e4698e5d7b5f91b220a88e16","datavalue":{"value":"semilinear sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q987186$41BDC94F-23E1-42A8-8C22-EBA9B2E43914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261dec08f9c5dd2fc758481b34f4c263251c1e82","datavalue":{"value":"definable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q987186$24435346-76CB-4956-82C7-E6FD2F7EB392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q987186$8E20D401-D4C9-4535-93EA-A2D430FB20CA","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":"Q987186$2F161571-4B65-46A2-9039-F7C8AEB33B77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99be7037fe126be59bce97a04e3f196527ada093","datavalue":{"value":"https://doi.org/10.1007/s00012-010-0056-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q987186$45E720B5-7F3A-45A1-81B6-79E54684BCFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbf7179e1780f6bcc1cfed8a7042b2266db4a80d","datavalue":{"value":"W2000829731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987186$66FDF94A-D115-4CDB-BC27-F0B55D103AA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24bcfbaddc5dfd7110d669915e9d46ab48011577","datavalue":{"value":{"entity-type":"item","numeric-id":5817448,"id":"Q5817448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987186$F8F72E7A-90F2-4785-B93E-4211EAD2AF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5338e3d501cfe063a7963498edb44c9cbdf39262","datavalue":{"value":{"entity-type":"item","numeric-id":1184352,"id":"Q1184352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987186$CECCE59B-8B03-4055-A9B8-ED7FE1D185E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c790a28a23b5ecff99b272336c89700604ca255","datavalue":{"value":{"entity-type":"item","numeric-id":3254327,"id":"Q3254327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987186$006603C0-FCDD-4745-B1B9-965258F48A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6defbd05bd4ffee4e27a61675caca087373420","datavalue":{"value":{"entity-type":"item","numeric-id":3812218,"id":"Q3812218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987186$A5E65DB0-F3A0-4D51-B192-34710E7AD80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ae49418d5e2a20bc6e2ee8567ab6adff82f377","datavalue":{"value":{"entity-type":"item","numeric-id":5804178,"id":"Q5804178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987186$5E6D74AC-6170-43E9-953F-CE7E1A38D8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa9317c637dd3b37f22a1ddbaae552ff5413e6d","datavalue":{"value":{"entity-type":"item","numeric-id":3813802,"id":"Q3813802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987186$F3392C75-084E-49F5-989E-B022A99B4C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd7aaf9fa2cfe61c21dfa894662c415827d37d2","datavalue":{"value":{"entity-type":"item","numeric-id":5469198,"id":"Q5469198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987186$EF34D0EB-251C-47FE-B1C1-8DC4915EB3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df35f41a840264f964b5bd613744707d3c8dfc8c","datavalue":{"value":{"entity-type":"item","numeric-id":3602611,"id":"Q3602611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987186$8A55953C-757E-427D-A8F9-74E3FCAC276D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13d8aa0595fe539bf047ca155cc84c00cd32f38","datavalue":{"value":{"entity-type":"item","numeric-id":925849,"id":"Q925849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987186$5898DD14-4EEA-4BFC-8C5F-DFC456EF6975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03557cbd918b8a8243c3226bcfbd382a844e571c","datavalue":{"value":{"entity-type":"item","numeric-id":5603731,"id":"Q5603731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987186$46224C22-7886-44CC-A19C-7D7ACAFC5CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d47b8afabf1ed39f7e5cff68a7631594f3a9fd","datavalue":{"value":{"entity-type":"item","numeric-id":3964534,"id":"Q3964534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987186$0E709EE5-06B5-4F39-BA61-5B6047616CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cfea5fcebfb4162710425692e427cbf2157a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1103602,"id":"Q1103602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987186$446CE80E-B957-44CE-AA77-D01CFF7DCB76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70457d56a80ac7fc3164a3c5c262e07f5f7ae74b","datavalue":{"value":"10.1007/S00012-010-0056-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987186$93AF1627-4D49-45C0-8832-664FB11844D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a78090c38ba8e25b2eabe7987ee77f01a6a6d85f","datavalue":{"value":{"entity-type":"item","numeric-id":491796,"id":"Q491796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c53fb01d2cb6086e092984a90532aeaf0cc45a","datavalue":{"value":{"amount":"+0.7418014407157898","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":"Q987186$53D64F30-9335-4872-B445-F8ED153ABD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab2dcdfe6a5d58714dd6deee76a839a6a920987","datavalue":{"value":{"entity-type":"item","numeric-id":4008750,"id":"Q4008750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bcae56f193c86e5f269338952bc2da1e19e2f8b","datavalue":{"value":{"amount":"+0.7315395474433899","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":"Q987186$15C8800B-84C3-4997-B612-115D31D1AD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b783450bd01c8955bd303e34ed897bb204e8853","datavalue":{"value":{"entity-type":"item","numeric-id":4032861,"id":"Q4032861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b9b78836ecd10d0cae2f13731444a0f239cc9b","datavalue":{"value":{"amount":"+0.7306487560272217","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":"Q987186$1C4244D3-E465-41B5-A7FA-167B38E2309B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c39a62c63524f88a76b5ab4ce78ea3a88022198","datavalue":{"value":{"entity-type":"item","numeric-id":1059111,"id":"Q1059111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057ebfe571d2d90f3d3f21fb49fa14617f4b307e","datavalue":{"value":{"amount":"+0.727010190486908","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":"Q987186$653DC291-5119-4C9E-80AF-67BE5F03E769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf6f65120a2adfea7f936cd846398184d2896db","datavalue":{"value":{"entity-type":"item","numeric-id":3137044,"id":"Q3137044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b5e0c1504ffb99dd383139481e75a042b62382","datavalue":{"value":{"amount":"+0.7248520851135254","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":"Q987186$1E63EA22-CE13-475A-8A0A-49E0AA25C559","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A representation of convex semilinear sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_representation_of_convex_semilinear_sets"}}}}}