{"entities":{"Q1773889":{"pageid":1784631,"ns":120,"title":"Item:Q1773889","lastrevid":48472099,"modified":"2026-01-04T22:32:55Z","type":"item","id":"Q1773889","labels":{"en":{"language":"en","value":"Betti numbers of semialgebraic sets defined by quantifier-free formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2162286"}},"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":"Q1773889$BB5E9F34-9757-4B71-8A85-2C3FEA53EE44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6eb7cd0d3b9f8bef9d4589c56735ce07478aa981","datavalue":{"value":{"text":"Betti numbers of semialgebraic sets defined by quantifier-free formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1773889$D5C11FE8-8DF1-445D-81DE-AB30400710A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abeec174ea25cf2df4bd1209d7c6150109960848","datavalue":{"value":"1073.14072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1773889$898AA15F-8BB3-433E-A84D-2711E12195C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a1083cbd987b138b7545fc2fd96fba317b5e1cd","datavalue":{"value":{"entity-type":"item","numeric-id":220798,"id":"Q220798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1773889$DEFAD9CD-ADF2-4834-B72E-7E042C66666F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b80574436eb2cfe6e06d2d1b3446d5365a842cc","datavalue":{"value":{"entity-type":"item","numeric-id":1190746,"id":"Q1190746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1773889$893985DA-BF07-4975-8678-678611924BAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b6f367138a9ac2b85113cfed5a6fd5bedcc8944c","datavalue":{"value":{"entity-type":"item","numeric-id":178842,"id":"Q178842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1773889$6365F924-CF37-453B-9274-936569C49768","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bfa6eec06fbc2e87cf7e4d24043bc1e03bb0e8f","datavalue":{"value":{"time":"+2005-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1773889$FE3FF199-4DA8-4242-B232-4536C4442673","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3770745355ee7ce2848196ddc2df295415a44a0f","datavalue":{"value":"This paper is devoted to get a bound for the sum \\(b(X)\\) of the Betti numbers of a semialgebraic set \\(X\\). More precisely, the authors prove the following     Theorem. If \\(X=\\bigcup_{i=1}^r\\{P_{i1}>0, \\ldots, P_{ir_i}>0, Q_i=0\\}\\) is a semialgebraic set such that \\(\\deg(P_{ij}),\\deg(Q_i)\\leq d\\) for all \\(i,j\\), and the number of distinct involved polynomials is \\(k\\), then \\(b(X)\\) is less than \\(O(k^2d)^n\\).     This result extends previous well-known results for an algebraic set \\(X\\subset {\\mathbb R}^n\\) due to \\textit{O. A. Oleinik} and \\textit{I. G. Petrovskii} [Izv. Akad. Nauk SSSR, Ser. Mat. 13, 389--402 (1949; Zbl 0035.10204)], \\textit{J. Milnor} [Proc. Am. Math. Soc. 15, 275--280 (1964; Zbl 0123.38302)], and \\textit{R. Thom} [in: Differ. Combinat. Topology, Sympos. Marston Morse, Princeton, 255--265 (1965; Zbl 0137.42503)] which provide \\(d(2d-1)^{n-1}\\) as an upper bound for \\(b(X)\\) (the sum of the Betti numbers of \\(X\\)), where \\(d\\) is an upper bound for the degrees of a system of polynomials defining \\(X\\). It also extends a results of \\textit{S. Basu} [Discrete Comput. Geom. 22, No. 1, 1--18 (1999; Zbl 0973.14033)] for basic semialgebraic sets \\(X\\), which states that \\(b(X)\\leq O(kd)^n\\), where \\(k\\) is the number of distinct involved polynomials defining \\(X\\) and \\(d\\) is an upper bound for their degrees.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1773889$387A6E06-EEBF-4D17-9E42-5F5BCDDCC658","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1773889$5D385AAD-6D7C-4CDB-B2CD-EC495B4C6687","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca7f0af8bb620503edf4b7c7fe628c6ed9a61aae","datavalue":{"value":"2162286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1773889$863AEC9D-BF21-4D5D-A6FE-FEF79F0DF674","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4665b4d5f88b9d309260502ba6d126af2152e1e2","datavalue":{"value":"semialgebraic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1773889$1EFB9C63-2227-4AE7-AB68-EFC78235571A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"817f91d754a6618dd027e0d851a1fc8b7cbc7134","datavalue":{"value":"upper bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1773889$1573EBB1-0DE3-44AB-97F3-EFACC45179ED","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":"Q1773889$77B02385-6507-491C-A9D7-28B0A17FE856","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f58bcba74fec0f34c9ea537fc4bf13fb9e58a2b4","datavalue":{"value":"https://doi.org/10.1007/s00454-004-1105-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1773889$46A1C271-0AEE-4FFB-B387-B0188D77770B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d6331fd7b15d12ba8e830fa4f68ed6fb1ce97d4","datavalue":{"value":"W2159666017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1773889$8D95E698-50E0-4440-85AA-AC9582D62673","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5d760a1ea1a068300ac6852ff7daf7f5f0d3152","datavalue":{"value":"10.1007/S00454-004-1105-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1773889$EC62EEB4-3F35-480C-BCBC-BC65AA3ADE6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1404b1803c69783662b8b23e6699c183a0cefa97","datavalue":{"value":{"entity-type":"item","numeric-id":4228495,"id":"Q4228495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5929ee8e64be48da6d578eb34e7184f13e1b7dbc","datavalue":{"value":{"amount":"+0.8699354529380798","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":"Q1773889$B6F67635-8C00-4CC1-8977-0869E1F38B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50523434ff5742967f46e3263e7fc783394911c","datavalue":{"value":{"entity-type":"item","numeric-id":4469249,"id":"Q4469249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5929ee8e64be48da6d578eb34e7184f13e1b7dbc","datavalue":{"value":{"amount":"+0.8699354529380798","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":"Q1773889$4BDCA659-3C6A-4736-8519-A62AFAB46E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c772eb01a783c0e735311dcdf314b13a885532c0","datavalue":{"value":{"entity-type":"item","numeric-id":3155925,"id":"Q3155925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79362c45bd8cf59350346d2bdbc07842cc52ed98","datavalue":{"value":{"amount":"+0.8678497076034546","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":"Q1773889$3A266324-C774-42D7-AB97-43FD5C2F4078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2866d7681b2ba23131b465d6fa7d044e46f70271","datavalue":{"value":{"entity-type":"item","numeric-id":1404531,"id":"Q1404531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b00dc527e2ba20dee5f045505fde26585635fe3","datavalue":{"value":{"amount":"+0.8625254034996033","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":"Q1773889$5FB3DBFD-C45A-4C4A-B949-27B5FCDF3991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"863f995a3d0f1612e9cecd5ee1bc1b34fb4a6209","datavalue":{"value":{"entity-type":"item","numeric-id":5361590,"id":"Q5361590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf73a277d391aca3be1a2912c8c310dc9c7313df","datavalue":{"value":{"amount":"+0.86123126745224","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":"Q1773889$3ED9B1AA-AD4A-4D13-A221-724CB291C8FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1773889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1773889"}}}}}