{"entities":{"Q5955995":{"pageid":8132797,"ns":120,"title":"Item:Q5955995","lastrevid":97703015,"modified":"2026-06-05T15:15:37Z","type":"item","id":"Q5955995","labels":{"en":{"language":"en","value":"Schm\u00fcdgen's theorem for preorderings of higher level"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1708279"}},"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":"Q5955995$959C7BB3-7CDB-400E-8077-72DFD32EB5DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a23996428903dd27676d38fa837917ee9ac684b0","datavalue":{"value":{"text":"Schm\u00fcdgen's theorem for preorderings of higher level","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5955995$491DF50A-9619-4DF4-A0C3-02C8290D237B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1c6d6d06490340dae1ae3bc8a2189884114fe28","datavalue":{"value":"1015.13008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955995$3757973A-7B63-41CE-8008-344256FB6D12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed312b1f15d8517fd4df67992f7c61efdbb79fa3","datavalue":{"value":"10.1007/PL00000496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955995$5388ED95-AB24-4B94-990E-5210674E750D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19a7644eb2cb40f124c9c9f36f61f1d5ebbfa663","datavalue":{"value":{"entity-type":"item","numeric-id":230523,"id":"Q230523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955995$1BDB5C97-5D19-45E7-8EA6-DD7518B332BF","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":"Q5955995$267EF156-A405-4463-8413-E4EE9D969E3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"575062ffce83cc707c5ec76bc24a08691a6aaed1","datavalue":{"value":{"time":"+2003-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5955995$D926A502-B5AE-42E4-904B-760C146D14ED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"53c0c2dd47abb730011ec4a8b7e0d1b22de3fb10","datavalue":{"value":"The author proves the following analogue of Schm\u00fcdgen's Positivstellensatz [cf. \\textit{K. Schm\u00fcdgen}, Math. Ann. 289, 203-206 (1991; Zbl 0744.44008)] for preorderings of higher level:   Suppose that \\(R\\) is an affine algebra over the field \\(K\\);   \\(T\\) is a preordering of level \\(r\\) (i.e., \\(T\\) is additively and multiplicatively closed, contains every \\(2r\\)-th power in \\(a\\in R\\), and \\(-1\\notin T)\\);   for every \\(a\\in K\\) there is some \\(n\\in \\mathbb{N}\\) such that \\(n\\pm a\\in T\\) (i.e., the partial order \\(T\\cap K\\) of the field \\(K\\) is Archimedean);   for every \\(a\\in R\\) there is some \\(n\\in\\mathbb{N}\\) such that \\(n\\pm\\varphi (a)\\geq 0\\) for every homomorphism \\(\\varphi\\in X(T)= \\{\\varphi: R\\to \\mathbb{R}\\mid \\varphi(T)\\subseteq \\mathbb{R}^\\geq\\}\\).   Then the preordering \\(T\\) is Archimedean (i.e., for every \\(a\\in R\\) there is some \\(n\\in\\mathbb{N}\\) such that \\(n\\pm a\\in T\\)); and   an element \\(a\\in R\\) belongs to \\(T\\) whenever \\(\\varphi(a)>0\\) for each \\(\\varphi\\in X(T)\\).Schm\u00fcdgen's theorem for preorderings of higher level is also studied by \\textit{J.-P. Monnier} and \\textit{R. Quarez}, Math. Z. 39, 563-577 (2002; see the following review Zbl 1015.13009).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955995$A0FC8CE4-7376-4D78-9481-040747F10330","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"686b28cf776f97d1876e91eb21edc77a670894f5","datavalue":{"value":{"entity-type":"item","numeric-id":364687,"id":"Q364687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955995$7D586183-A8FF-488B-BC25-CC1B37AAE74A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"765bffd38ceeadce2d709456a083f0dd0b70ccc2","datavalue":{"value":"13J30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955995$09972E08-C4AC-4580-B0B0-BD16FBF5076E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955995$C2BE7503-62C7-4BF5-B0F5-CC08DA766BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39fcd47c2eb394bec253b19621381acc48f5cc6a","datavalue":{"value":"13J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955995$7CA5EE46-812B-4AF4-9A0B-55BBF7569686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aeaa44c2e834cb1990f4a8778263cbd6a8f762b8","datavalue":{"value":"14A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955995$CFBA29A6-E3E0-491A-B2AE-E7B571134CF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71d1c4bdad6bee284503328defaf6a5b2d523e22","datavalue":{"value":"1708279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955995$40331886-8B88-41AD-A45D-DBD6414E3C19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"910eb9e3f120b456423b8dede7caa15de78a05b2","datavalue":{"value":"higher level ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955995$7743F595-99DD-441B-ACDB-E836DF8200AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4918092ad189e813fda26972a403a2ec926ed138","datavalue":{"value":"Schm\u00fcdgen's Positivstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955995$15A18AE3-60AB-4546-9793-929789EDD764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fc1d58151a387d9ece46cd3ba9e1f9e134be5a5","datavalue":{"value":"preorderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955995$55402ED5-857D-4AB4-9AA5-19A859379385","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":"Q5955995$B483EAA0-FDD0-47A8-BFE4-626D09655F32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3855df89e4c7c54e1d6e1c8e5be4e5b9139fe36","datavalue":{"value":"https://doi.org/10.1007/pl00000496","type":"string"},"datatype":"url"},"type":"statement","id":"Q5955995$3BE2F6C8-C3EC-4A3F-9E47-C297FF08AA1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0df46b2e15dcb96f4e91b6f992bdf104facf637","datavalue":{"value":"W1980615638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955995$37D5A4DF-E8BD-4251-AB1C-C78ED80B5781","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbbd3c7f2626decf9b317ebd508d42c5a6b99d9","datavalue":{"value":{"entity-type":"item","numeric-id":5947773,"id":"Q5947773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d6a415c13635ae67dd12199ab84030fa70583d","datavalue":{"value":{"amount":"+0.8288846611976624","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":"Q5955995$68E3CFCE-AF12-4FA3-8B78-2EAAEF98284F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691a65b675c099883acc867c702e30971d52cb5b","datavalue":{"value":{"entity-type":"item","numeric-id":1601783,"id":"Q1601783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08d93d4724c99e7bd0816fdd1fa1868bb1e2454","datavalue":{"value":{"amount":"+0.8249720335006714","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":"Q5955995$6B7FEF12-F5B5-41DA-9FCA-18F3D8DF3E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97146304a5c7d01f2558b7d39b2abdc2de9695bf","datavalue":{"value":{"entity-type":"item","numeric-id":4267613,"id":"Q4267613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08d93d4724c99e7bd0816fdd1fa1868bb1e2454","datavalue":{"value":{"amount":"+0.8249720335006714","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":"Q5955995$DCF9B531-2CF0-4D29-9F23-82282CFC791B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"575748505f80e215b5c14789c0c1c11a92c45d4a","datavalue":{"value":{"entity-type":"item","numeric-id":792387,"id":"Q792387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2642bdb164c185cb6401e41a2a94eb70398f86da","datavalue":{"value":{"amount":"+0.7934532165527344","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":"Q5955995$135966AF-3DE5-4B57-8091-198BDA5AC304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee667da68db5d3f66975c46040dec4948c45be9","datavalue":{"value":{"entity-type":"item","numeric-id":1197367,"id":"Q1197367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1067eb3cbca375ebae18c69b48de343ec6c8fef6","datavalue":{"value":{"amount":"+0.7737669944763184","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":"Q5955995$F4234F15-10FC-4C3C-9B3A-495A44DDA5ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Schm\u00fcdgen's theorem for preorderings of higher level","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Schm%C3%BCdgen%27s_theorem_for_preorderings_of_higher_level"}}}}}