{"entities":{"Q1428036":{"pageid":1438776,"ns":120,"title":"Item:Q1428036","lastrevid":48252202,"modified":"2026-01-04T03:09:17Z","type":"item","id":"Q1428036","labels":{"en":{"language":"en","value":"An effective version of Wilkie's theorem of the complement and some effective o-minimality results."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2056205"}},"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":"Q1428036$47D5C8F7-AB2A-427B-B322-98F73BB33ECC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2b72125f73c8fb2551298b79f3a3ad83421af2a","datavalue":{"value":{"text":"An effective version of Wilkie's theorem of the complement and some effective o-minimality results.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1428036$CE260506-82A2-47A8-A0DB-50EAAE3970B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5ec98ad8dc26c92e035968d33409eb7bce0a7df","datavalue":{"value":"1046.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428036$80EE38D7-BC6B-45B8-9016-094C4609FDA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73be4ca9840fbd728ecb0cefdb65f88a9f13d68b","datavalue":{"value":{"entity-type":"item","numeric-id":361790,"id":"Q361790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$7D710961-5C55-4234-969F-663D8039C7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aefad5d202c009368aaaca30767853284694db0","datavalue":{"value":{"entity-type":"item","numeric-id":351837,"id":"Q351837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$4FE9B040-1DE5-443B-B1F0-2DDA5FE91150","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$962259B1-2446-41AD-8FD4-8DBE9AD9E030","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947fc07e6e3c9508b7adeaf87fe542c1ae2d0058","datavalue":{"value":{"time":"+2004-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1428036$1D8DC240-BB2B-4E5D-BA7E-33E23C84CD97","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e267b6382979e4518267c2bdc166b7124aac372b","datavalue":{"value":"Tarski proved that the theory \\(\\mathbb{R}= (\\mathbb{R},+,\\cdot,0,1,<)\\) is decidable and asked whether the same holds for the theory \\(T_{\\text{exp}}\\), the theory of \\(\\mathbb{R}\\) with the function \\(e^x\\) added. This problem is still open.   Wilkie showed that \\(T_{\\text{exp}}\\) is model complete. It follows that every definable \\(X\\subseteq\\mathbb{R}^n\\) (in the language of \\(T_{\\text{exp}})\\) has a finite number of connected components. This implies that \\(T_{\\text{exp}}\\) is o-minimal. Here, the authors prove an effective version of a theorem of Wilkie: Given an expansion of \\(\\mathbb{R}\\) with finitely many \\(C^\\infty\\) functions, if there are uniform and computable upper bounds on the number of connected components of quantifier-free definable sets, then there are uniform and computable bounds for all definable sets. Further on they show: Let \\(L\\) be a language expanding the language of ordered rings. If an \\(L\\)-sentence is true in every o-minimal \\(L\\)-structure expanding the ordered field of real numbers, then it is true in every o-minimal \\(L\\)-structure expanding any real closed field.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428036$03A822FC-0D9A-4478-AF88-71B0C6BEB9DF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$DE598ED1-C85A-4732-911E-331AB3EBE060","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428036$40441D0D-DB13-46CA-9536-CE43322C29C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428036$E06E9252-C5F7-4E7A-BD6D-82D63F67D3D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"789b95007e2314ca4408c03165bed4a5af0a5bca","datavalue":{"value":"2056205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428036$9DB13C06-048D-45DE-940B-B8AB34C9FA58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2c4f46eeb58bdc78dd0618f1bb6eb8b973236e","datavalue":{"value":"o-minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428036$DEC0E013-F347-4E51-A504-8309975A4B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c03c59d0fc8ac4d0033f40a57cf8e10e655b2c4","datavalue":{"value":"Pfaffian function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428036$D087B6CB-34CF-423A-8404-94ECE63C0C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f588a2415b42da52169ab7b16af84f131d5c40","datavalue":{"value":"real exponentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428036$85100A37-CF60-4A32-BA4E-9636A8D89322","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":"Q1428036$BCBC54AE-7F6B-44B5-9D26-67C3FC177B0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9ef9c1537356e560a1ea59c12a7c26613102943","datavalue":{"value":"https://doi.org/10.1016/j.apal.2003.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1428036$7D57DCBE-6768-41A4-BC6C-878CF3570CEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b390a4e12fa43eba9de9081252cf0849de86ef6f","datavalue":{"value":"W1968465633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428036$41723124-CE57-42EB-A949-A05F951BD1A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc9014f17efcf391e1345a12e82e95d99dc4129","datavalue":{"value":{"entity-type":"item","numeric-id":1190720,"id":"Q1190720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$F0B82B3D-3500-4024-AC08-4F1B46957EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc93e1ef5ba62b8f3c9a7ecea0b18931afd8821","datavalue":{"value":{"entity-type":"item","numeric-id":3837729,"id":"Q3837729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$5FF4AF3D-B97D-4706-84CA-14903FF0A9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d08b860bef7ebac625b2afd0fc3a5f4b8f336f","datavalue":{"value":{"entity-type":"item","numeric-id":4392286,"id":"Q4392286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$5199BF5C-6079-4874-90D5-C792FF355A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75adfd6631f6d9aefc71530629ff53f9f5cbb112","datavalue":{"value":{"entity-type":"item","numeric-id":1389175,"id":"Q1389175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$2BD5815F-770B-45BC-A142-062B13508653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2a8b7d545c022bfb26316eec79612c324b2e6f","datavalue":{"value":{"entity-type":"item","numeric-id":5692710,"id":"Q5692710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$BD1D8834-863E-4A01-8B8C-91F4365715F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b52f0a91f1dbff7c68e902a7541b23b52b01c9e","datavalue":{"value":{"entity-type":"item","numeric-id":1894719,"id":"Q1894719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$824186E5-40F6-44A5-AD7F-202F0C966D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96e18641eef658ac26bf8b0bb22104ca3babd2b","datavalue":{"value":{"entity-type":"item","numeric-id":3686991,"id":"Q3686991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$B9EB1680-F44E-44EC-8EE4-4B5796C1D9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43118d68ea3672ae3a4c154ccd8898e867ed4748","datavalue":{"value":{"entity-type":"item","numeric-id":4397030,"id":"Q4397030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$1C328B66-93C6-4531-B444-AC01B5E12B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e90a0c3f79867841d1d2e69bef7ed9c15cf049b","datavalue":{"value":{"entity-type":"item","numeric-id":1295415,"id":"Q1295415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$CF72F746-7286-418C-9069-9FA5540AC62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0da5070302651680e576e0b3ddd21102e75644","datavalue":{"value":{"entity-type":"item","numeric-id":4863848,"id":"Q4863848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$C7E9E60A-09BD-4B70-9144-9383B0BCFE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070f50f66851de35961c4bb6f2a59f5c2791e874","datavalue":{"value":{"entity-type":"item","numeric-id":5620774,"id":"Q5620774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$0DD9B32B-2207-440B-BF63-8A5E25D795ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$DE10B7CA-389E-46E0-9723-5CF321CD332B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a66c7fd34e955c349d134c6217b2eb4a376c40","datavalue":{"value":{"entity-type":"item","numeric-id":5687291,"id":"Q5687291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$5984177F-D3AA-4F75-ADAB-002D08AFC863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53f3dc65d6f17387f4b3339f9a47b98086f85bbd","datavalue":{"value":{"entity-type":"item","numeric-id":4938568,"id":"Q4938568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$770BA7D6-D7F2-4269-BC5D-6C136C21EF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d0b86b2e54b45c9bcaa36685917114010aa9819","datavalue":{"value":{"entity-type":"item","numeric-id":1971497,"id":"Q1971497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428036$E7F387E7-9150-4767-AF53-D75AF15C036B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a46f24742cc132a244f751455f9cc8fc62dcf070","datavalue":{"value":"10.1016/J.APAL.2003.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428036$D1EECB7D-B46E-410A-9E6B-F94E5770E8E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612a64d163fd3278cb1d6ace1a11f87bee744ef9","datavalue":{"value":{"entity-type":"item","numeric-id":5687291,"id":"Q5687291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97285444bde6a778c6fa076b967dfe2e24d79646","datavalue":{"value":{"amount":"+0.8482915759086609","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":"Q1428036$BE29DB0A-C825-47CD-8866-8D35AA519C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59589dd190390fbce73d2a9c1c1dadad176e8971","datavalue":{"value":{"entity-type":"item","numeric-id":1320026,"id":"Q1320026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4362a7a800e6a74bba03e5c0dc0a111f0ea93ca8","datavalue":{"value":{"amount":"+0.8470171093940735","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":"Q1428036$86D2BAF6-0CB7-40DC-B76A-5C3271E71F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d1fd0abb780f9d127e0bb52549506dcd35779d","datavalue":{"value":{"entity-type":"item","numeric-id":1971500,"id":"Q1971500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c4e2796584756afbccaba885f6680d03b564d5","datavalue":{"value":{"amount":"+0.8293960094451904","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":"Q1428036$F397216A-A344-4AFE-B9FB-D4B37D415907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2ddcdb7e3ceeade7f98a37b8e410ef979e2cc6","datavalue":{"value":{"entity-type":"item","numeric-id":5700786,"id":"Q5700786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c4e2796584756afbccaba885f6680d03b564d5","datavalue":{"value":{"amount":"+0.8293960094451904","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":"Q1428036$79D66C84-545F-4B49-A420-3ADC3E154C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7316fb356bf8412da099135d437dcd383536082f","datavalue":{"value":{"entity-type":"item","numeric-id":4898995,"id":"Q4898995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dee4f5d12a556457586e1fe46fc3234802d1a9c","datavalue":{"value":{"amount":"+0.8271576762199402","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":"Q1428036$50614737-12D4-4EF2-B7DB-F2BBFF03ADAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1428036","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1428036"}}}}}