{"entities":{"Q752126":{"pageid":753975,"ns":120,"title":"Item:Q752126","lastrevid":64105059,"modified":"2026-04-11T17:40:25Z","type":"item","id":"Q752126","labels":{"en":{"language":"en","value":"The ultrafilter theorem in real algebraic geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4177287"}},"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":"Q752126$9818B488-9FF2-4DA7-9645-18BE398CDEAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b36d6a973035c2cb4350dd1d8b2113b4a09c90bb","datavalue":{"value":{"text":"The ultrafilter theorem in real algebraic geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752126$98B06C7C-7AFC-40B7-936E-0BE00BE903B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64e8ec8aecc7e19ec717d9888fab71cf4689baa1","datavalue":{"value":"0715.14048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752126$AA70E5CC-FF13-4B41-878E-EED3BD01E7AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23b99e728a0bea55cf0e85284e39d336abd43f52","datavalue":{"value":"10.1216/RMJ-1989-19-3-611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752126$DC82C54B-CBE2-4BB6-84B2-1782E8C11C81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3c56016573ce7bfe3075a77ec18be101169a3439","datavalue":{"value":{"entity-type":"item","numeric-id":168778,"id":"Q168778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752126$7B679EA8-6D5E-4162-9B97-47091FA9B713","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":"Q752126$69E343EC-9126-488E-815E-10B56DF109FA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"88dc05214cf3a61a82edc411d50994eebb907e24","datavalue":{"value":"This paper contains some variations on the theme of the ``ultrafilter theorem'' which gives a homeomorphism between the real spectrum of the coordinate ring of a real algebraic set V (with its constructible topology), and the Stone space of the boolean algebra of semialgebraic subsets of V. The first three sections fall under the rubric ``Stone duality'', as indicated by the author. He describes a general situation where prime filters of [subbasic\\(| basic| constructible]\\) [open\\(| closed| void]\\) subsets of a set Y coincide with points of Y (it is a pity that frequent errors concerning the notation for these nine families of subsets occur). This applies when Y is a subset of \\(2^ A\\) closed for the Tychonoff topology, for instance to the real spectrum of A which is considered in the fourth section. In this case, filters of open or closed basic subsets are related to subsets of the ring A, via abstract Stellens\u00e4tze.","type":"string"},"datatype":"string"},"type":"statement","id":"Q752126$C2CF6977-ABD4-44F2-BE4A-DFD49E8CBF62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752126$9D594770-108F-4AD6-B2CA-DEAF5CBEB3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aeaa44c2e834cb1990f4a8778263cbd6a8f762b8","datavalue":{"value":"14A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752126$8CBCBA40-195A-4C99-9884-9F5A05DA48F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752126$D1640837-5EF9-45E1-80B2-63F049028DB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"174f83942153c1df735afca61da24fe13e44b25d","datavalue":{"value":"4177287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752126$E35C62EA-4B20-4868-B522-BEE59E6B26F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e82f40cf9bb945e26e436b240077a02febb0261b","datavalue":{"value":"Stone space of semialgebraic subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q752126$7A0DEF27-79C6-40BC-A8B3-30102B2F3992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"697e9eda6144e55ac6c754715a3eb7fc5a671fbf","datavalue":{"value":"ultrafilter theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q752126$81FCC3B4-3667-4A12-8DE3-933F754A7224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d3f4bcf921139648ec1c130ffe534d297b3771","datavalue":{"value":"real spectrum of the coordinate ring of a real algebraic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q752126$8BCBEC97-5215-4D4C-B6D1-576F7C211ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba2216e68d44617abe8e33892382d91873cb6a6e","datavalue":{"value":"Stellens\u00e4tze","type":"string"},"datatype":"string"},"type":"statement","id":"Q752126$3FD7C0E4-8101-4DF8-874F-FB4E47A17408","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b39eb3ac30b1782614df7b2f670583ce6a278c51","datavalue":{"value":{"entity-type":"item","numeric-id":1232716,"id":"Q1232716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752126$75793619-63D0-4496-9710-BF39AC9F5598","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2cbc5a5065d0ee30b0cf4044ef7f481008e0460f","datavalue":{"value":{"entity-type":"item","numeric-id":455652,"id":"Q455652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752126$1F413E2B-B73B-4A7F-A00D-739CF4436793","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":"Q752126$E9A04D8A-1D55-4448-BE78-BFCAFDEFDE34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"907ca8cedf6b8674eec6ce76cd00098d751e2e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4420216,"id":"Q4420216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ecc26237127015d377e2703052c4723cdd9731","datavalue":{"value":{"amount":"+0.7883642911911011","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":"Q752126$FB100B84-0895-4BDC-BEC6-568B12187318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00205c0357d11aa28d99113effce26e71ae7c22","datavalue":{"value":{"entity-type":"item","numeric-id":3772340,"id":"Q3772340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0beda19aa358dd96694216b56c5b8cacfa65068f","datavalue":{"value":{"amount":"+0.7594521641731262","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":"Q752126$FF768FCB-3253-47B5-AEAD-54EBD503500C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d961ca7bcfe001483d2429093826c4f1c02eb31d","datavalue":{"value":{"entity-type":"item","numeric-id":5413971,"id":"Q5413971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c427a5f70acc25bf340b11b4d02ed9ffea0339","datavalue":{"value":{"amount":"+0.7533794641494751","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":"Q752126$17620461-A2BA-47D3-9095-F4B658614EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f709b8cec05f92e4a86850c1792959b08257c93a","datavalue":{"value":{"entity-type":"item","numeric-id":298036,"id":"Q298036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e687deea16fc11af54f5bf917a24f5719c435efb","datavalue":{"value":{"amount":"+0.7454367876052856","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":"Q752126$E98BEB9B-579A-4A0D-80DB-EC100A408C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db2b332ad30a21bc4d8d16dedea6f488cc51ccd3","datavalue":{"value":{"entity-type":"item","numeric-id":2922056,"id":"Q2922056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0320d6e110db7049652da7cc5a2e7658394c085","datavalue":{"value":{"amount":"+0.7356167435646057","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":"Q752126$B288811F-5F95-4D81-8576-28F16B04A486","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The ultrafilter theorem in real algebraic geometry","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_ultrafilter_theorem_in_real_algebraic_geometry"}}}}}