{"entities":{"Q582343":{"pageid":584110,"ns":120,"title":"Item:Q582343","lastrevid":62958792,"modified":"2026-04-11T09:15:02Z","type":"item","id":"Q582343","labels":{"en":{"language":"en","value":"Pierce-Birkhoff rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130538"}},"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":"Q582343$6A123715-3EF0-463C-9EFE-E8F12BB6FA45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d5402a2e08991eb5c7e20a446e7793364a9f1a3","datavalue":{"value":{"text":"Pierce-Birkhoff rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582343$14F2851F-5A5C-4FDA-977F-51C9156FBE14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcd28ff7418d67016e5729606c32cb8188455669","datavalue":{"value":"0691.14012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582343$9FAE4EB5-F4FE-4F29-B79B-963890791FEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"433d600f998bf64caf4013a6b104434669bb2509","datavalue":{"value":"10.1007/BF01199816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582343$C472634D-6414-4A25-B2C3-FB52D60B7087","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6585cf50b1231d595db90f7509d1f302bec256bd","datavalue":{"value":{"entity-type":"item","numeric-id":328651,"id":"Q328651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582343$FDB99273-C0FC-4D32-B7DF-29B0F6BAC50E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582343$48D7F443-2741-4A72-BE2F-9634928D3E1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q582343$C6342FBA-8550-4FC5-8951-2304F6269B22","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"34a6b4cd0ca0b01d937a8d98b0af9775bb5bff1e","datavalue":{"value":"The author shows an equivalent formulation of the Pierce-Birkhoff conjecture in terms of the set of separating functions of points of the real spectrum. Precisely, let A denote a commutative ring with unit and SA(A) its ring of abstract continuous semialgebraic functions. Set PW(A)\\(\\subset SA(A)\\) for the subring of functions which are piecewise defined by elements of A. Then it is shown that the following are equivalent:   (a) A verifies the Pierce-Birkhoff conjecture, that is, any \\(t\\in PW(A)\\) is of the form \\(t=\\sup_{i}\\{\\inf_{j}(b_{ij})\\}\\) for some \\(b_{ij}\\in A.\\)    (b) For any \\(t\\in PW(A)\\) and \\(\\gamma,\\delta \\in Spec_ R(A)\\), there is \\(h\\in A\\) such that h(\\(\\gamma)\\)\\(\\geq t(\\gamma)\\) and h(\\(\\delta)\\)\\(\\leq t(\\delta).\\)    (c) For any \\(t\\in PW(A)\\) and \\(\\gamma,\\delta \\in Spec_ R(A)\\), \\(t_{\\gamma}-t_{\\delta}\\in <\\gamma,\\delta >\\subseteq A\\) is the ideal generated by all functions \\(a\\in A\\) with a(\\(\\gamma)\\)\\(\\geq 0\\) and a(\\(\\delta)\\)\\(\\leq 0.\\)     Then the author applies this characterization to show that fields and Dedekind domains satisfy the Pierce-Birkhoff conjecture, improving a result of C. N. Delzell.","type":"string"},"datatype":"string"},"type":"statement","id":"Q582343$D92D0CDB-B43D-4F46-A270-F7A20B321394","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"80619583a343f6ab8e0090f36b890511a86ef408","datavalue":{"value":"14Pxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582343$AFF6605C-0635-474C-896A-043CDE874969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c4b44681f7a1707f0cf17256dc3be888b8d7656","datavalue":{"value":"13B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582343$420325CE-98D1-4459-B694-5B907967E576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aeaa44c2e834cb1990f4a8778263cbd6a8f762b8","datavalue":{"value":"14A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582343$E670E581-51EA-410C-BA99-E4A9D63A4781","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f632b7f7c123717dda94ade026909c1b738fcb32","datavalue":{"value":"4130538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582343$6F1D7A14-D74A-485B-AD7B-DCE7C99662D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79e713321b274bf91039d49e67face59361f2a9a","datavalue":{"value":"polynomial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q582343$A2DF01FE-1993-453A-B762-F260394E6F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae1c80db2ff61c60244fd1f801c9695d7f1890a","datavalue":{"value":"Pierce-Birkhoff conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q582343$00C985E7-A39E-4AA6-9D0A-10CF53A6E605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e105b64140b142503a1dc8ab505f0164b66c63a8","datavalue":{"value":"separating functions of points of the real spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q582343$83A2DB4A-B4E8-4A4B-BCBA-4F0C6F37A6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f957f92a58add9694c53629eeca871e27f7e151","datavalue":{"value":"Dedekind domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q582343$F0226815-70D0-40A6-8E8A-B46F9C46EB0E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"981e6e1b577865dd210bc72d1fbaec3a747b189d","datavalue":{"value":{"entity-type":"item","numeric-id":631068,"id":"Q631068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582343$DFFD1802-DED4-4019-AC32-82EBCC843A00","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":"Q582343$4AF9A7FD-C935-49A1-85E6-83F463A2DE6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c467da9965311b13faba9d86776bf0664ead11ec","datavalue":{"value":{"entity-type":"item","numeric-id":3772340,"id":"Q3772340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582343$E179C8E1-D587-4F27-A701-9BE3EF4F2FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245726923652ec612c8a46560806320a9f67ffce","datavalue":{"value":{"entity-type":"item","numeric-id":1248535,"id":"Q1248535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582343$F07FDF2E-CAE9-4493-83D6-0E0EEC7BDC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8656a9683b1ed46fc99c22f94d22f134283e938","datavalue":{"value":{"entity-type":"item","numeric-id":2552173,"id":"Q2552173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582343$73CD8362-9D8E-43D4-A267-2C6BFB754BE5","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":"Q582343$A76DD8A8-CEED-403C-B1D8-B47F0480AF77","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":"Q582343$266A6E29-D84A-4AA8-B1A2-C45ACD542C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aacaf96f1f00d00479e10cde57a872f1dfaf7d58","datavalue":{"value":{"entity-type":"item","numeric-id":3705182,"id":"Q3705182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582343$1435BC73-0DB9-422F-8AE8-76986A6048DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e456da6d7238a0d986b925bb20176856959b60","datavalue":{"value":{"entity-type":"item","numeric-id":4843074,"id":"Q4843074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582343$FFB365D7-3650-435A-A645-FCA9D5D73688","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":"Q582343$DE8D1146-9F28-4D21-B503-FD9F1660C499","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e553ba5d4daa2a24f961c1896bf84f78ebfe636","datavalue":{"value":{"entity-type":"item","numeric-id":3729038,"id":"Q3729038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e240280b2512a3d9d184135b56616075e5a312fb","datavalue":{"value":{"amount":"+0.8836549","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582343$8AFBA7C2-0757-4D9A-8D15-DA9C763905A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d9827434162c9e12c76f0e48c850e45211ac26","datavalue":{"value":{"entity-type":"item","numeric-id":967488,"id":"Q967488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd257a878e11b3769c7862880cde529a62a52e9d","datavalue":{"value":{"amount":"+0.87846684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582343$C2FA1219-3ADD-4E63-8D3D-1A3415E5F768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702e26a55ea192ba37261d4261a6337b851d5c3b","datavalue":{"value":{"entity-type":"item","numeric-id":3009674,"id":"Q3009674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e593ec2190b99d0ce636b99d82ef916d6975d05e","datavalue":{"value":{"amount":"+0.8774276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582343$87FC05F4-08A6-4500-AFF8-2A3FDC25BBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70427d728d335784577abdcbb16454cac7b1e393","datavalue":{"value":{"entity-type":"item","numeric-id":3233263,"id":"Q3233263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d74a69629b618fb006c0e4812ae8dfcd3f430a5","datavalue":{"value":{"amount":"+0.8752136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582343$A0B886C5-4B47-4A3F-BFB0-9D696AE1CCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc33269b1c70c4c13ae7b4c6ac9c02414220fb1","datavalue":{"value":{"entity-type":"item","numeric-id":1908457,"id":"Q1908457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a689497e46e5352d756efcafb4b8726ed8abecc5","datavalue":{"value":{"amount":"+0.86600536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582343$3410ABDF-44EC-4925-8ED3-18C2DC6347E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6305a5cd1162bcd972eb93367a61f9a78fd75ba8","datavalue":{"value":{"entity-type":"item","numeric-id":793128,"id":"Q793128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cdf4e28f50ce396e135522d304b63a946bf6c3f","datavalue":{"value":{"amount":"+0.8629477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582343$544199B0-EAD2-4037-AFB9-82F17768159C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73eeeffc8e2f86832e5b068222f54e78d66b14ef","datavalue":{"value":{"entity-type":"item","numeric-id":2936850,"id":"Q2936850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8f3c49c31af0fb7df1bb066b335cef31683dd7","datavalue":{"value":{"amount":"+0.8615386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582343$EEEE2BCD-3998-40BE-8EDB-AEF70DF5C072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97711460b9b364f322094e1b1cab0cad4c78f6be","datavalue":{"value":{"entity-type":"item","numeric-id":4686839,"id":"Q4686839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4821938dac5a3f8a68e3b6a732ec7a36f829804","datavalue":{"value":{"amount":"+0.8613404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582343$2853FB61-43D9-448D-84DD-F7C4FAF6F302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cad6a7851dfe18414475667280b955eeb40990","datavalue":{"value":{"entity-type":"item","numeric-id":1097969,"id":"Q1097969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea40e6dacb860a982157205deb73422f51a11203","datavalue":{"value":{"amount":"+0.8600557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582343$BB29F222-8503-47A6-A2F9-EF00C3967E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b904e3aae83f7abc506b49a2b059e2bcf035bb","datavalue":{"value":{"entity-type":"item","numeric-id":5230124,"id":"Q5230124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9525a92a4c4ed150aed364abe0cc5b606fc1984d","datavalue":{"value":{"amount":"+0.8596709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582343$ED69D476-4D1F-41A2-B3CB-FB9E9E222556","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pierce-Birkhoff rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pierce-Birkhoff_rings"}}}}}