{"entities":{"Q1117991":{"pageid":1128740,"ns":120,"title":"Item:Q1117991","lastrevid":66776619,"modified":"2026-04-12T12:47:03Z","type":"item","id":"Q1117991","labels":{"en":{"language":"en","value":"On the Mostowski number"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4093634"}},"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":"Q1117991$B58C8CDD-2F2B-4599-8985-3F4F92E7B97D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63d2834fe51aa59561bdc0215a553a0b1fce7fc3","datavalue":{"value":{"text":"On the Mostowski number","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1117991$63948C44-1FA0-4D37-AD2A-8C81B17C5B3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c71a99156fecffce4beafb5dba3441f76be01377","datavalue":{"value":"0668.14015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117991$4C24F454-F42D-482A-82E7-A9792780771B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d318b0a5826b8553e2cf667b77053119cdebb65","datavalue":{"value":"10.1007/BF02570760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117991$5C6FEC50-F656-4930-B6CF-CE11713B5763","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"534dd2f8a687b6d9e24544090f3871af2619f69c","datavalue":{"value":{"entity-type":"item","numeric-id":1069999,"id":"Q1069999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117991$9A05EFF3-8AB2-4C9B-B130-32D1BB41EDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ad4f7dab27a9a51b683bcb4876609ccd2194011","datavalue":{"value":{"entity-type":"item","numeric-id":1051054,"id":"Q1051054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117991$586CE931-5D81-432B-BF18-56C1415BD289","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117991$12E62B36-D572-4E40-9006-A189891A934C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q1117991$409E3130-9780-47A8-843E-7F2520A9AAC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a42ac3c9093aa3e6b98ed1b4da7778c2b81453e2","datavalue":{"value":"https://eudml.org/doc/174151","type":"string"},"datatype":"url"},"type":"statement","id":"Q1117991$C9770984-9F9C-42DC-A7B2-01237899DAF5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"86220966be9cba1b80a4096dc1afa454caf31345","datavalue":{"value":"A well-known theorem of Mostowski says that any two disjoint semialgebraic subsets of an n-dimensional real affine \\({\\mathbb{R}}\\)-variety V may be separated by a function of a ring \\({\\mathbb{R}}[V][q_ 1,...,q_ m]\\) with strictly positive elements \\(q_ i\\in {\\mathbb{R}}[V]\\). The paper investigates the question of whether there are upper and lower bounds, depending only on n and not on the sets or variety involved, on the number \\(m=m(n)\\) of square roots which need to be adjoined. It is shown that \\(m(n)>n-2\\). There exists also an upper bound depending on bounds on the number of inequalities needed to express closed semialgebraic sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117991$2A39AA3F-F86F-472C-B8DC-411F55C0C187","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"80619583a343f6ab8e0090f36b890511a86ef408","datavalue":{"value":"14Pxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117991$3F94DBAB-9281-4753-A493-9899069A7C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"299c2ceee90a97db4ef5b7d633c2a5784e0cb3c0","datavalue":{"value":"12D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117991$9045F9AD-E3C3-4C88-9BF1-FE02A4EF7E39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"818518dd7241d87426af7c6b55cd971095884fe7","datavalue":{"value":"4093634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117991$6179C3C9-053A-487D-8483-7604D82F8380","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd8b53478411607d45859a6f6acc7c33f378344d","datavalue":{"value":"Mostowski number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117991$36E6C863-4EF2-4D4D-A4CD-EE408E450366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec6d561de274a47dc2979100d9d95ce0f541d6b2","datavalue":{"value":"closed semialgebraic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117991$ED7FFA97-32B2-4183-9004-5E537E11E9CF","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":"Q1117991$16AAA210-D867-4669-8EDF-CA3EC2FE7CF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83380451dcde13a1ec44453a3a428b79678efb81","datavalue":{"value":{"entity-type":"item","numeric-id":3663392,"id":"Q3663392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117991$2FE18923-ACDA-4FED-A8DD-AB77E73CFEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37fcae6a1f5a8f3fb204bccedf6f80d89ad670e6","datavalue":{"value":{"entity-type":"item","numeric-id":1080905,"id":"Q1080905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117991$63B57CD9-E311-4D5B-B617-FA3E22EE1E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"196cb1d8bcfd34ea933e550956382f952a570e7b","datavalue":{"value":{"entity-type":"item","numeric-id":1837253,"id":"Q1837253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117991$FB5E4891-0F3A-4D43-861C-C17AB0049EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c55c46f1a504975c8b2d1a0353f8d7b603c78bc","datavalue":{"value":{"entity-type":"item","numeric-id":1262914,"id":"Q1262914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117991$1BD30AE8-202A-4645-ACDE-E8816677D947","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7706a36387cfbd50cfca7be096e15739650296","datavalue":{"value":{"entity-type":"item","numeric-id":4770945,"id":"Q4770945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b9ff97235b8abfdcf83cf7922dfa6c05310b92","datavalue":{"value":{"amount":"+0.92265916","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":"Q1117991$DD8EA320-AF13-4AE6-8467-6308CD2D7B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91129f55569edd99097b1624758baad91b27c31d","datavalue":{"value":{"entity-type":"item","numeric-id":1408191,"id":"Q1408191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12996a6a7e4302affc404964e065bd4a241870c","datavalue":{"value":{"amount":"+0.8677619","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":"Q1117991$C1C4B232-B78D-4A29-8D5F-F077C92156DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e01c42f38df69b7b219f2fbd0e83a0daa396686e","datavalue":{"value":{"entity-type":"item","numeric-id":5842733,"id":"Q5842733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9509ab4471dafc4035430ef1d32e3088768c12f5","datavalue":{"value":{"amount":"+0.8583134","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":"Q1117991$7674CECB-9278-4707-A929-0C9FE3DE49C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe00ea86f37caa7493bad7fe0a4f02f28784602","datavalue":{"value":{"entity-type":"item","numeric-id":4370884,"id":"Q4370884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38aea6371522316fbc80e4e3bcc64701f70d0cfe","datavalue":{"value":{"amount":"+0.8470143","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":"Q1117991$F348901A-017B-4DC6-9D9D-37D524DBB123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7d92cc763a0d5c9e27c193158a1f59d03e203a","datavalue":{"value":{"entity-type":"item","numeric-id":5618375,"id":"Q5618375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aae37b25640a68620adcba4f16fb19cf7218a5e","datavalue":{"value":{"amount":"+0.84228104","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":"Q1117991$C0DF837E-281D-4C30-B0C6-517CD1A6617D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60fc2493ef7e31542a4c32c7881d2e36f0cff35e","datavalue":{"value":{"entity-type":"item","numeric-id":1896015,"id":"Q1896015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aae37b25640a68620adcba4f16fb19cf7218a5e","datavalue":{"value":{"amount":"+0.84228104","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":"Q1117991$60A49888-0669-4A94-9D57-AC73A175AD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222e70aec04de8eebe85623889f437ecda8f2587","datavalue":{"value":{"entity-type":"item","numeric-id":4577066,"id":"Q4577066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906fed4c2f5b7a0eb0401e8515289465d33768c2","datavalue":{"value":{"amount":"+0.84118444","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":"Q1117991$3A6CC8D3-BEEC-40FB-B3C3-8247874E96DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d294065c9777de96409a764e181d7b5e1e4b18ff","datavalue":{"value":{"entity-type":"item","numeric-id":2473700,"id":"Q2473700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb6cab8b804d111c0af71e8e5c3533d3c8f58b2","datavalue":{"value":{"amount":"+0.83959085","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":"Q1117991$872F3EA5-5071-4487-8C17-AD0E293565B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a859ba7ff858a25f80c5d1d6ab7b92a738e36882","datavalue":{"value":{"entity-type":"item","numeric-id":3984065,"id":"Q3984065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ffffe8d8a51f588644ef37ae17c143186f5a62","datavalue":{"value":{"amount":"+0.83823514","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":"Q1117991$47AF2447-3F7C-426D-B0BB-BE3452980958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48954c70bd1aa48b1c0cc4c6be68b0b9531e1cfa","datavalue":{"value":{"entity-type":"item","numeric-id":5387506,"id":"Q5387506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"861f19d6aeec39b37c128642c9b13902f20469ae","datavalue":{"value":{"amount":"+0.83743155","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":"Q1117991$907AA9CC-6E52-4259-8120-BFD225F69D44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Mostowski number","badges":[]}}}}}