{"entities":{"Q2331762":{"pageid":2342505,"ns":120,"title":"Item:Q2331762","lastrevid":71869344,"modified":"2026-04-14T01:04:53Z","type":"item","id":"Q2331762","labels":{"en":{"language":"en","value":"On the strong separation conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7124422"}},"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":"Q2331762$59D326E2-ED03-4F12-9C4F-674494E7E702","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9096855620d8a3102698cb91128b5f1cd45160d1","datavalue":{"value":{"text":"On the strong separation conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2331762$7337D368-1627-4EDF-8815-BCCBEA61E5E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"479b97626e9d698486b07d874ef80ff03071e7b8","datavalue":{"value":"1439.14164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331762$1995442B-0232-4A38-B631-1269348D87AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fddf1766372eac2ef9ab21adf8564a40a8da5f05","datavalue":{"value":{"entity-type":"item","numeric-id":2331761,"id":"Q2331761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$D140A1AB-E2BF-42D4-9168-E40613F6901E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c25926109514438e1c1fa3ec37af4b770b8c02ff","datavalue":{"value":{"entity-type":"item","numeric-id":841554,"id":"Q841554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$38479AC4-587F-4F57-B8B8-2B10A3E0816D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9448852e9f52e90312870b5cc754afacec950b7a","datavalue":{"value":{"entity-type":"item","numeric-id":388666,"id":"Q388666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$D349E50D-6F48-4850-8C9E-AE698797D59B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5478ede943fb911760ea7d60e42b6d499b786ce8","datavalue":{"value":{"entity-type":"item","numeric-id":259732,"id":"Q259732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$BC812E1B-364D-4F12-822A-943D7F28F96D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf3c9392a3a411e1401dab8af8f22fd364f2a018","datavalue":{"value":{"time":"+2019-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2331762$A293D570-640C-4F7D-8C31-FBA7D74192B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc49a218f2e661b243f8b38248526cf135bd6565","datavalue":{"value":"https://arxiv.org/abs/1802.09389","type":"string"},"datatype":"url"},"type":"statement","id":"Q2331762$F0956C6A-8E51-4B1A-8071-03CD73BABE9E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"492d3b6789c4fe2433dd743bce080ded1a0c1b86","datavalue":{"value":"The paper under review contains a partial result on the Pierce-Birkhoff conjecture. The latter is the following. Let \\(R\\) be a real closed field (for example the field \\(\\mathbb{R}\\) of reals). A function \\(f:R^n\\to R\\) is called \\textit{piecewise polynomial} if there is a finite collection \\(\\mathcal{P}\\) of closed semialgebraic sets covering \\(R^n\\) such that for every \\(P\\in\\mathcal{P}\\) there is a polynomial \\(p\\) such that \\(g|_P=p\\). The \\textit{Pierce-Birkhoff conjecture} states that given a piecewise polynomial function \\(f:R^n\\to R\\) there is a finite family of polynomials \\(p_{ij}\\) such that \\(f=\\sup_i\\inf_j(p_{ij})\\).    The Pierce-Birkhoff conjecture has been solved by Mah\u00e9 in the case \\(n=2\\) over the reals (see [\\textit{L. Mah\u00e9}, Rocky Mt. J. Math. 14, 983--985 (1984; Zbl 0578.41008)]). This result has been generalized by \\textit{C. N. Delzell} [Rocky Mt. J. Math. 19, No. 3, 651--668 (1989; Zbl 0715.14047)] to arbitray real closed fields. \\textit{J. J. Madden} gave in [Arch. Math. 53, No. 6, 565--570 (1989; Zbl 0691.14012)] a translation of the conjecture into a purely algebraic statement in terms of the real spectrum of the polynomial ring and separating ideals. This algebraic formulation allows one also to speak about the Pierce-Birkhoff conjecture for arbitrary ring.   In previous papers by the authors [Manuscr. Math. 128, No. 4, 505--547 (2009; Zbl 1169.14039); J. Algebra 435, 124--158 (2015; Zbl 1386.14197)] this algebraic Pierce-Birkhoff conjecture has been generalized to the \\textit{connectedness conjecture} and the strong \\textit{connecetedness conjecture} with the \\textit{strong separation conjecture} as a special case. The main result of the paper under review is a proof of the strong separation conjecture under a certain assumption on the orderings (i.e. on the elements of the real spectrum) involved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331762$65FAABCB-91CF-40B6-92A4-DB0C32957F31","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b7f8347bd062ba2d23b061672294b87c54f4db15","datavalue":{"value":{"entity-type":"item","numeric-id":314392,"id":"Q314392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$99AE4767-E1A2-4AF6-AB38-3ED79303DE64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"db482a841c11f0ca4464248aaa92efa1a30883e5","datavalue":{"value":"14P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331762$1934B1CA-65B3-40D0-831E-1D6F8F5A3FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331762$AC17FC80-1C8E-4AC3-A1F2-052BFCB5C7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9cf30409c08d8794814df406302eff616099c6f","datavalue":{"value":"12D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331762$B392D9FE-97DD-4906-83ED-7ED0F0B145F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1e60d778aaf340b6830a9da0921bb436536767b","datavalue":{"value":"7124422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331762$29DDF218-2430-48E5-9923-AA61C27FE0C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"133df42a52ac6f2472cb961ec52d3071c15bd07d","datavalue":{"value":"real algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331762$87DBEFFB-DD2D-418A-BB7C-09F965DB0A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"205d59cce6a4aeae80aa04864ad6d01352283019","datavalue":{"value":"real spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331762$029C8074-0F1C-4CD0-AB48-63DA10675BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6054dea3f9b79e5a724dc8301f1b48e34a82b6dc","datavalue":{"value":"valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331762$2CD930F7-AC02-4F52-A742-BE685325A77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae1c80db2ff61c60244fd1f801c9695d7f1890a","datavalue":{"value":"Pierce-Birkhoff conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331762$617135C1-4EFF-45B0-ACA4-FE623D92807A","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":"Q2331762$50F04E89-2A3A-4890-8535-C181DDB865C2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5f8c0261162132b715ff5e348a3232076adeefb9","datavalue":{"value":"Q123231082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331762$E1806961-BAEE-4E2E-A670-9310D47B62F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c97d34893d0bf5b072e9d18130836e498197a81a","datavalue":{"value":"W2963157675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331762$3D82292B-5692-408E-989C-3AC0775FDE59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d637fda503021c7be2de4ca0d88be38e8edac43","datavalue":{"value":{"entity-type":"item","numeric-id":3232337,"id":"Q3232337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$C8AC7551-E460-41E4-A059-E54FC7DF8DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd34380e57b74b520fbe12a546a16bd46fbf6f7","datavalue":{"value":{"entity-type":"item","numeric-id":802605,"id":"Q802605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$E76E39C2-57FD-475E-97D0-255A45D37F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$54FB161A-30F9-4A60-A38B-2E9978C7DBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14afc555b6aa279ed3d11e5a009d7a7fe1a85c30","datavalue":{"value":{"entity-type":"item","numeric-id":752124,"id":"Q752124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$E0379CB5-7096-4774-ABE2-D103F5519DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f2beab0dcece1974601cd8b78615045d1ee3ae","datavalue":{"value":{"entity-type":"item","numeric-id":3943066,"id":"Q3943066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$46A80D19-C9D5-4486-8727-FF372DD72A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e551b9a88d9300d9664dc488e5523b4674528ba8","datavalue":{"value":{"entity-type":"item","numeric-id":5820827,"id":"Q5820827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$46FC03D1-46E1-4BAF-A127-E88470029D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1240bbce2ff23710bb841fac9f40a873b97dd60","datavalue":{"value":{"entity-type":"item","numeric-id":1131275,"id":"Q1131275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$8B19B5C3-5468-4077-9171-386FA70938FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70da58a950c4daed426c494512bb41ced8cf0be5","datavalue":{"value":{"entity-type":"item","numeric-id":1014805,"id":"Q1014805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$BF1E7743-9DC0-47A4-ADAA-159D2C7873BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"012d0e571841ad5078a7cb1e0258166be9051b82","datavalue":{"value":{"entity-type":"item","numeric-id":439219,"id":"Q439219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$6CA3D934-7508-41C3-B413-FA774A0BA0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e777d494f15a1d2c94ef97824e0fa663e58a703","datavalue":{"value":{"entity-type":"item","numeric-id":5919740,"id":"Q5919740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$8F9F029E-0449-4622-93F3-4D6774A9385C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4feee6454b77e5cc47359a2fa8cb7e6502e4b3","datavalue":{"value":{"entity-type":"item","numeric-id":582343,"id":"Q582343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$9F29D91F-EF34-4BAA-8BB0-B28B17BAEED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21b5f82e23dda129b60d99afb96032b30f1261f8","datavalue":{"value":{"entity-type":"item","numeric-id":5902937,"id":"Q5902937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$D1F1668A-494C-4F9D-9488-3472D7B28CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ede21e98ee3e49227af879848c662a58999021e","datavalue":{"value":{"entity-type":"item","numeric-id":995607,"id":"Q995607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$386BD987-BD86-42D7-B541-48D66660D39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7b816ecf00d90567d495b5df2b96e8b00ca678","datavalue":{"value":{"entity-type":"item","numeric-id":5797046,"id":"Q5797046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$93EAC08F-279B-4630-87DF-EB0FEA285E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb525222db23641f1fb5c163a9f7a17eca003d28","datavalue":{"value":{"entity-type":"item","numeric-id":4027845,"id":"Q4027845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$DEFF3B8B-E945-46AB-B142-43845E623E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516f05bb83bb62f7645e4398c575868003a1a1a7","datavalue":{"value":{"entity-type":"item","numeric-id":1959934,"id":"Q1959934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331762$1ED58B99-8696-414F-89BB-484D3E9526E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f721060e704b498879e63dbd10b0987cdeaf1bc2","datavalue":{"value":"10.1007/S13398-019-00714-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331762$E64DE5AF-CDED-40CF-A832-D4CA094C99DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d67e25c337fd08144564a8f7b6b061a15d69f28","datavalue":{"value":{"entity-type":"item","numeric-id":5919740,"id":"Q5919740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7dd1050bbcc8d1f42c4eb87a4ebb417b223dd3","datavalue":{"value":{"amount":"+0.9028555154800416","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":"Q2331762$72C16C5C-4131-4440-9E91-276C41D9CFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ff2a07fff2d45d396a2d6a267a1bad5e7c8b56","datavalue":{"value":{"entity-type":"item","numeric-id":1014805,"id":"Q1014805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b514e53385725d34452a6c3b42cbdba232f0f3c2","datavalue":{"value":{"amount":"+0.894806444644928","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":"Q2331762$05B9D880-E6D4-42A2-BA54-09D290AE437C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b7c0c97154f0d622efab312e6b744b0a35a107","datavalue":{"value":{"entity-type":"item","numeric-id":4027845,"id":"Q4027845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d94c1b8d82dde05aca10628a5470ab7b77e934","datavalue":{"value":{"amount":"+0.870637059211731","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":"Q2331762$12FD7912-40A9-4284-96B7-F5CC2779823E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90acdf5a52a1f895eb030b9169ed78d7b14d2099","datavalue":{"value":{"entity-type":"item","numeric-id":1959934,"id":"Q1959934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a43949fe86a255865db0f31e45a2f6e2064fe03","datavalue":{"value":{"amount":"+0.8605097532272339","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":"Q2331762$554A00D5-E9A6-47C3-B1D3-96B776E21D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f8e563d4511582a01490b607211ccc4c948da0","datavalue":{"value":{"entity-type":"item","numeric-id":582343,"id":"Q582343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c1b8b820c8bccd74c498cd4f202e990725f650","datavalue":{"value":{"amount":"+0.8502901196479797","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":"Q2331762$0022B799-DCB8-47C8-89A8-835711372808","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the strong separation conjecture","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_strong_separation_conjecture"}}}}}