{"entities":{"Q802672":{"pageid":804520,"ns":120,"title":"Item:Q802672","lastrevid":42704356,"modified":"2025-07-08T16:24:38Z","type":"item","id":"Q802672","labels":{"en":{"language":"en","value":"A positivstellensatz for chain-closed fields, \\({\\mathbb{R}}((t))\\) and some related fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4198145"}},"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":"Q802672$CFDE6DAB-6EE4-448C-9DB4-10D11257CCE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28df9750926696fd10b937031750abeacac54cda","datavalue":{"value":{"text":"A positivstellensatz for chain-closed fields, \\({\\mathbb{R}}((t))\\) and some related fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q802672$FEF0B6AB-71D3-4D15-A558-BF5C07751780","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"839b5a59ad76b0d0f4bac8be0944615d369cc2cc","datavalue":{"value":"0726.12006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802672$8C980768-845E-4B7F-A075-73BF3E84DEE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f4252cfd6eb48ef1c0035344f3c98738bfc2657","datavalue":{"value":"10.1007/BF01246741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802672$465003F2-5A21-41EB-9A76-779E5EE5F301","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c10702fa094fa031ee69d6dd90a9057ddfcf61f","datavalue":{"value":{"entity-type":"item","numeric-id":802671,"id":"Q802671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802672$B06BCBC5-34F6-4BFA-B895-7154B313BE84","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":"Q802672$031D1FD3-2FF9-4BF7-B37F-CEAC3CCF23E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q802672$FE221D45-084C-4787-A80B-822F83B56182","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4153dfada5b680cad1ffa7e61d8de701cc43e4df","datavalue":{"value":"The author develops an analogue to the Artin-Schreier positivstellensatz for the field \\({\\mathbb{R}}((t))\\) and the chain closed fields introduced by Harman. These fields carry exactly two different orders. The author characterizes the rational fractions over these fields taking positive values where defined for one of its orders. In addition to sums of squares, other rational fractions turn out to be positive where defined. There are characterized also the rational fractions taking positive values for both orders. The proof is a combination of algebraic and model theoretic methods, in particular the concept of model-completeness and the Ax-Kochen-Ershov Theorem play a crucial role in the proof.","type":"string"},"datatype":"string"},"type":"statement","id":"Q802672$27374B84-8AD4-428D-BDB8-3E6AE617D87D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802672$01EFC2CA-361C-4F7C-AE51-3D966C0B49DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802672$788F54B1-BCA1-4680-8F42-D468CF66DB13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7387fab3306ed07fab761abbb42e9efd93931707","datavalue":{"value":"4198145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802672$3A548F67-9738-4688-A74A-77E6A4C261B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"587589161830e091d7e1d17beebcdefd8401e4cc","datavalue":{"value":"ordered field","type":"string"},"datatype":"string"},"type":"statement","id":"Q802672$AEC3CCA7-86DD-4497-A100-E9033A921701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9570801c52e9c9790d160ed64b4e3cc7fd91921","datavalue":{"value":"Artin-Schreier positivstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q802672$4DD72237-F9CD-431E-B8A9-A39ED0117565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53edd65d4ade3f826b2d7581d3febf3e8e1e582c","datavalue":{"value":"chain closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q802672$82F4DE06-7E5E-454B-A099-0BB9B248B3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c02428030daedd0bfbf384c3a4e5dc78402a26e3","datavalue":{"value":"rational fractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q802672$10D791BB-E5C8-4A2A-9398-48C3EA3F292C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c86c2b5ac1bc83ee55615fdce96a707a66aa45f","datavalue":{"value":"model-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q802672$85FF4070-FD8A-4192-A552-1FD9C3BBAF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9cee6a6ae69de5be1e8a2bf103b3146bec557f8","datavalue":{"value":"Ax-Kochen-Ershov Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q802672$331863B0-4245-4171-AE27-EE42DD9B04AF","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":"Q802672$385E223E-BF32-4994-8AC1-838B7AFD5908","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b76560958741de034d3c69ead7f8562428a4b10","datavalue":{"value":{"entity-type":"item","numeric-id":4748231,"id":"Q4748231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802672$593BAEAB-B30B-491F-B9C3-B5BAC2B48DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99323ab19a98f3dbc4d8d22a8363797c4b54a8f4","datavalue":{"value":{"entity-type":"item","numeric-id":3340971,"id":"Q3340971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802672$7C4D5110-E772-4580-BD5E-144319C81994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7359fda40fffca294c0b28a05bf7a00d4a6bd9da","datavalue":{"value":{"entity-type":"item","numeric-id":3985083,"id":"Q3985083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802672$88006B82-3699-4452-AA9E-7B5C2ED9AD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe82cd38b15e84d9f7e4866ffe68b55c5ae215f","datavalue":{"value":{"entity-type":"item","numeric-id":4729766,"id":"Q4729766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802672$D7D09AB4-3967-4742-9F38-7ECF5A9FB099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b1ed6a0209cf390f3e7d87e8e21b225ebe9e29","datavalue":{"value":{"entity-type":"item","numeric-id":2559510,"id":"Q2559510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802672$DE6D0E58-F875-4D8E-AF75-5B0DABFC5980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d905adee39c62c0e7dca64ac27d6b3312ee2ad5a","datavalue":{"value":{"entity-type":"item","numeric-id":4748232,"id":"Q4748232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802672$E2856DB9-9A8F-4225-9062-4330D892D4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45fbffac55650a7333d49b27fe8d0ffe001f910","datavalue":{"value":{"entity-type":"item","numeric-id":3969055,"id":"Q3969055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802672$86FDB391-5F3B-4DB2-B5D0-41210A5A77AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ffc22d33cebbb0a41b325ca541775dec225ff2","datavalue":{"value":{"entity-type":"item","numeric-id":3890800,"id":"Q3890800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802672$3B980EBC-43D5-48CB-9286-3B87CFBD550C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a8b70959cb53e2678ae2f87ba18eb35f5c388b","datavalue":{"value":{"entity-type":"item","numeric-id":4097020,"id":"Q4097020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802672$7CFD8561-030A-46AF-8580-B0884CCF9AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adc04418faff4043e9fa45ad372a3c5c8cc2262","datavalue":{"value":{"entity-type":"item","numeric-id":3274978,"id":"Q3274978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802672$DBB675EF-4F90-45F9-A6AB-22BC12E225D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfb4cdbc3474a37d12dc020021b2315fdcee26c","datavalue":{"value":{"entity-type":"item","numeric-id":3312335,"id":"Q3312335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802672$6B8886F7-D039-4990-B7FD-0572FED19B22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c245a6a4966ac911bbe0cfad001f4866a845c183","datavalue":{"value":{"entity-type":"item","numeric-id":2944800,"id":"Q2944800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5baa033f233040312c02fa445e6afb97b9ed2f5","datavalue":{"value":{"amount":"+0.89162004","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":"Q802672$9397E747-CB5A-4FFB-B501-EA049B6032CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9e397705e8a0997e6cc74c4d803936298e34fa","datavalue":{"value":{"entity-type":"item","numeric-id":1380044,"id":"Q1380044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a063f133bce91e52748e5ed8cb2a6058aaeb12c6","datavalue":{"value":{"amount":"+0.8888016","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":"Q802672$64BF62C4-91D8-4B62-8759-39402D2FCDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bfc224d971e3e74d55e1f5d232123d6713b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":5491361,"id":"Q5491361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06beee6699cc96525566ad9210dded337810993a","datavalue":{"value":{"amount":"+0.8725182","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":"Q802672$66D82D7F-CD8D-488A-976D-C4D3F54CF227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ab0d255aaed682faa5a089b953337a6c891cc2","datavalue":{"value":{"entity-type":"item","numeric-id":4928974,"id":"Q4928974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af3e285cca1c9f77584e04de0532ace1b654abc","datavalue":{"value":{"amount":"+0.8689234","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":"Q802672$A97D95F3-B790-4AB1-B3D3-0938D361BC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8095236d36ffdc93e7b27900fb80472aa10b6792","datavalue":{"value":{"entity-type":"item","numeric-id":1095200,"id":"Q1095200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d72f2de147db5b71dd373b1c64659afaf3b19ce","datavalue":{"value":{"amount":"+0.8665224","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":"Q802672$1D80E036-22EB-47A8-98FF-B3A27FB40D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25e0c3f11a93e17c034f078df427ec2c39231eb5","datavalue":{"value":{"entity-type":"item","numeric-id":2509057,"id":"Q2509057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484481521754eb3c7f5f43149bb483177014ffa4","datavalue":{"value":{"amount":"+0.8573961","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":"Q802672$19C075E4-656B-4377-9EE5-B86FC2B67AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d402d196ae1786dc85689d2eadbc130700c8784","datavalue":{"value":{"entity-type":"item","numeric-id":4512579,"id":"Q4512579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2213a78548f7f4966e68ddb3541794bc32fbf469","datavalue":{"value":{"amount":"+0.85702974","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":"Q802672$62AABE55-0885-4FB8-BC99-5BDFAB6F820F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d59999062cd738ce3f94700023298b4d050f8159","datavalue":{"value":{"entity-type":"item","numeric-id":368724,"id":"Q368724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8125bd21bcf3f4348af1d9491017d1a32d051823","datavalue":{"value":{"amount":"+0.85412586","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":"Q802672$F1570390-2EE8-4787-9730-074C6BF21A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80214fb7b135f474901d8471ef69cb7bb6170afe","datavalue":{"value":{"entity-type":"item","numeric-id":3488273,"id":"Q3488273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bcae83d0000c0da7718b16f122ab24fdf6e7529","datavalue":{"value":{"amount":"+0.85321105","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":"Q802672$1A4CE130-8C43-4B7B-A75D-DB025051658A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:802672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:802672"}}}}}