{"entities":{"Q1279847":{"pageid":1290597,"ns":120,"title":"Item:Q1279847","lastrevid":67221753,"modified":"2026-04-12T16:09:56Z","type":"item","id":"Q1279847","labels":{"en":{"language":"en","value":"An algebraic construction of the ring of piecewise polynomial functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1251323"}},"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":"Q1279847$F24FA116-C02F-4460-8C04-C9E9D56F4FB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"baf65db535464d6276baf62d82652da3a7a0a13a","datavalue":{"value":{"text":"An algebraic construction of the ring of piecewise polynomial functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1279847$55B35FA5-AEF9-46F6-91DC-50B31A48791B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4fbbc5f4e3693e0e1340cd3fa65a7e952b316f2","datavalue":{"value":"0931.14031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279847$94DF06E1-AD91-4401-8602-B0697E9C6E70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e14b388b2b8a259605eb4ffde9ff2dd6eb3fece1","datavalue":{"value":{"entity-type":"item","numeric-id":177337,"id":"Q177337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279847$64C9CD52-96E5-4E24-B84F-756E50E23A20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279847$1A928590-81D6-49A8-8F04-BE0832A66B1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cd995c1857a736a2627dd903db873682d4a4c31","datavalue":{"value":{"time":"+1999-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1279847$B800A583-6D43-49E1-813D-708AE66E6B6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b62cc02d3c43bfeb109aebba9556698c07f2b9c5","datavalue":{"value":"\\textit{N. Schwartz} [in: Ordered algebraic structures, The 1991 Conrad Conf., 169-202 (1993; Zbl 0827.13008)] gave the following definitions: Let \\(A\\) be a ring or \\(\\mathbb{Q}\\)-algebra contained in its real closure \\(R(A)\\), the so-called ring of abstract semialgebraic functions. For \\(\\alpha\\) in the real spectrum \\(\\text{Sper}(A)\\), we denote by \\(\\rho(\\alpha)\\) the real closure of the quotient field \\(qf(A/\\text{supp}(\\alpha))\\) with respect to the total order specified by \\(\\alpha\\). This makes \\(\\prod \\rho(\\alpha)\\) a lattice ordered ring with respect to the pointwise lattice order containing \\(R(A)\\). An \\(a \\in R(A)\\) is piecewise polynomial if the real spectrum \\(\\text{Sper}(A)\\) of \\(A\\) can be covered by finitely many closed constructible sets \\(C_1, \\ldots, C_r\\) such that for certain \\(a_1, \\ldots, a_r\\in A\\) there holds \\(a |C_i = a_i\\) for all \\(i\\). Denoting the collection of piecewise polynomial functions by \\(PW(A)\\) and the collection of elements generated in the sense below by the elements of \\(A\\), the so-called sup-inf definable functions, by \\(L(A)\\), one has a chain \\(L(A)\\subseteq PW(A) \\subseteq R(A) \\subseteq \\prod \\rho (\\alpha)\\) of lattice ordered (sub)rings. A ring \\(A\\) is Pierce-Birkhoff if \\(L(A) = PW(A)\\). Defining inductively \\(L_0(A) = A\\), \\(L_{n+1}(A) = L_n(A) [|a |: a \\in L_n(A)]\\), one has \\(L(A) = \\bigcup_n L_n (A)\\).   The unresolved conjecture these authors made in 1956 [cf. \\textit{G. Birkhoff} and \\textit{R. S. Pierce}, Anais Acad. Bras. Cic. 28, 41-69 (1956; Zbl 0070.26602)] is that this equality holds for the case \\(A=\\mathbb{Q}[X_1,\\dots,X_n]\\), in which indeed \\(L(A)\\) and \\(PW(A)\\) assume the meaning the terminology suggests [see \\textit{J. J. Madden}, Arch. Math. 53, No. 6, 565-570 (1989; Zbl 0691.14012) or \\textit{C. N. Delzell}, Rocky Mt. J. Math. 53, No. 3, 651-668 (1989; Zbl 0715.14047)]. In the paper under review a construction corresponding to the inductive algebraic construction of \\(L(A)\\) is provided for \\(PW(A)\\). Interesting corollaries for understanding the Pierce-Birkhoff conjecture are derived. Assume (real) intermediate rings \\(A \\subset B\\subset C\\subset PW(A)\\). Let \\((\\text{Spec}B)_{\\text{re}}=\\{\\text{real primes of }B\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279847$DE712292-A5AB-4410-9238-7A060537A92B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279847$5C00EE92-40C7-4D32-B999-20C2FBAACD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"765bffd38ceeadce2d709456a083f0dd0b70ccc2","datavalue":{"value":"13J30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279847$FF3AFCFC-C45D-4FCE-8D00-78C77211AA09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc2304d1342d047ebf1b81fa2b12069cf66f67a9","datavalue":{"value":"1251323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279847$EEC07E0F-0735-49D0-9730-A7FA41E7AEAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae1c80db2ff61c60244fd1f801c9695d7f1890a","datavalue":{"value":"Pierce-Birkhoff conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279847$64C54E7B-91EE-48BF-82FE-D29681B64B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbed8283e172598265c57535ad1d6ec05bc5837a","datavalue":{"value":"lattice ordered ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279847$FAAC2E33-7597-43E8-9ED3-05551696153C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8dd915521a42e8714918cd7b35c6e8dbf99df9a","datavalue":{"value":"semialgebraic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279847$ECDD0848-0D20-4720-9F75-11828C5B4C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5df64da52b63a6f33034af83c8244e24b05511d9","datavalue":{"value":"piecewise polynomial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279847$F55EBBEA-DDC4-4987-B047-1EDB6145B3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0647e1c785109a7db02c2edcda59136b9dab3987","datavalue":{"value":"sup-inf definable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279847$A7AE67E8-34D0-4249-A55C-D82537E9AAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b544c29ef2332a7ac7e48f9d6728288c581f4fd3","datavalue":{"value":"constructible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279847$254E193F-1BD0-42F6-AFEA-D461CF5ECD7F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4cb749bb0545117c5a39ee1b861da533345043d8","datavalue":{"value":{"entity-type":"item","numeric-id":587686,"id":"Q587686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279847$B95A0F4A-3C21-416B-9418-960C71D6A675","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":"Q1279847$73E6537A-1CF4-4D83-9412-9D71D25BA301","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dfe2579abc332bf506b6db2a26339caeeb1f20f","datavalue":{"value":"https://doi.org/10.1007/s002290050124","type":"string"},"datatype":"url"},"type":"statement","id":"Q1279847$F949A4EE-C394-43A9-A0F0-B4968BCBEA0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d15c1855106306d37072cf461b9bf53a4f841c52","datavalue":{"value":"W2087340630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279847$82DB85A4-51A6-4792-8D48-041A5BD99655","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d76ebed6ff2ebb4b64bbb1cf85c7394e6c8e944","datavalue":{"value":"10.1007/S002290050124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279847$6E6D7FFE-FB1B-4B93-9DF7-133785789B2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b33158e67013c1e1d5a150ecd61357a48859a2d","datavalue":{"value":{"entity-type":"item","numeric-id":3142383,"id":"Q3142383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36cbbcd4cc8218ded46e3756be3beaa14df22ef3","datavalue":{"value":{"amount":"+0.98301905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279847$1EF13FE4-0D26-465E-AF19-90950292F4E3","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":"92d18d8ffcecdf9d38163493b0121049ad4d31d4","datavalue":{"value":{"amount":"+0.7042841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279847$37A44BD5-8239-4AB9-B4F1-E794A8979FAF","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":"9748565775cf156695e292b9ef8fac908b92f0ad","datavalue":{"value":{"amount":"+0.6711424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279847$83E106A6-E504-4B7C-879C-5ABB898E484C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"709cc2ad1c208b91e01dc6f9bd47a5eabc35284c","datavalue":{"value":{"entity-type":"item","numeric-id":2331762,"id":"Q2331762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86efc3de5e829cfc16c06407a5256d50e8e7198d","datavalue":{"value":{"amount":"+0.64710444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279847$114CD82E-C533-4123-9565-3C6E15ED5F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4772ade11f83a2881e380a820e903fd8f0b951b3","datavalue":{"value":{"entity-type":"item","numeric-id":1802250,"id":"Q1802250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8843ff696a49380a7ba39d17ecb21324a365909b","datavalue":{"value":{"amount":"+0.6364871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279847$B68D586D-E14B-4107-A58C-42E017161D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a404df2ef5052e35d3874cde94fd1010f9bf8d","datavalue":{"value":{"entity-type":"item","numeric-id":1959932,"id":"Q1959932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fe30fc0540256d351bb7a3f6becf0b87108c89c","datavalue":{"value":{"amount":"+0.6306637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279847$0683ED6C-C789-4C9F-81CF-A20CCFF882D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"999e913f32677b6643f332c02b0c63d592766947","datavalue":{"value":{"entity-type":"item","numeric-id":1959924,"id":"Q1959924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b332377c0190684d7dcc9a83f2f4d121f60b4e","datavalue":{"value":{"amount":"+0.62962526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279847$DF9A3B26-6933-4106-BEE7-7A168AF6FB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66b2b8686cc4c7eccbcb8e1724c32b204326eec","datavalue":{"value":{"entity-type":"item","numeric-id":4843074,"id":"Q4843074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"262145ca2be654242e7bed1e2f63ebbac1e7f49e","datavalue":{"value":{"amount":"+0.6228918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279847$BC2CF32B-3A11-4575-ADA9-7EF97FEA6209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6e605b93620b1535187082055222e87b027b87","datavalue":{"value":{"entity-type":"item","numeric-id":4516995,"id":"Q4516995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c15503e1e1fb7a5be76e634b3844641c662c1aaa","datavalue":{"value":{"amount":"+0.62156373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279847$4733F85F-77A2-4DF9-8BBE-9FA1CD0D81FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b9d4e2f263fbbd63458350864a81e6f7327bfc2","datavalue":{"value":{"entity-type":"item","numeric-id":4304786,"id":"Q4304786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862a821731e5b939b88684fbc9c09760f94f2946","datavalue":{"value":{"amount":"+0.61945546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1279847$C08AC70A-2A64-4861-B0D1-8EEA75955573","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic construction of the ring of piecewise polynomial functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_construction_of_the_ring_of_piecewise_polynomial_functions"}}}}}