{"entities":{"Q958486":{"pageid":960334,"ns":120,"title":"Item:Q958486","lastrevid":65665032,"modified":"2026-04-12T04:08:36Z","type":"item","id":"Q958486","labels":{"en":{"language":"en","value":"What is o-minimality?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5378326"}},"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":"Q958486$7BFFF216-ED1B-41AE-8184-F6B76709C0AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62a8fbffa889d36b84a2ca4cbf057e437bd4c9b7","datavalue":{"value":{"text":"What is o-minimality?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q958486$F1B261BA-E43D-4FC5-AD6B-BEF6B4D90A2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5189c0612cd3e3ed18b481c16878ffd2eda04f11","datavalue":{"value":"1155.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958486$84942CAD-1D42-45BB-9052-68A5933D5FEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7d460ffc6b3e0069ff40b20b2755df97aa354","datavalue":{"value":{"entity-type":"item","numeric-id":196044,"id":"Q196044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958486$E9B1D87C-ED9D-4AF6-A620-A096F367E135","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":"Q958486$8FA089BE-EA56-4BDC-9104-7B376B907CF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85c956bb62834fd3366db6abe30b39dc8a24e17e","datavalue":{"value":{"time":"+2008-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q958486$086BE36A-2B6E-41E5-BF0A-81540B42B54F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b2c01f4e3898cd6b70a9306b52bd425fe5cc1a0","datavalue":{"value":"Let \\(\\mathbb R\\) denote the set of real numbers and let \\(W\\) be a set of functions, each from some \\(\\mathbb R^n\\) to some \\(\\mathbb R^m\\). Friedman proves that \\((\\mathbb R,<, 0,1,+,-,\\times, W)\\) is o-minimal if and only if there exists a least \\(V\\) such that \\(W\\subseteq V\\) and: \\(V\\) contains all polynomial functions; it is is closed under compositions; for all \\(f,g\\) in \\(V\\), if \\(f\\) and \\(g\\) are of the same arity, then \\(h(x)=(f(x),g(x))\\) is in \\(V\\); if \\(f:\\mathbb R^{n+m}\\to \\mathbb R\\) is in \\(V\\) then there is a \\(g\\) in \\(V\\) such that for all \\(x\\), if \\(f(x,y)=0\\) for some \\(y\\), then \\(f(x,g(x))=0\\); if \\(f:\\mathbb R\\to \\mathbb R\\) in \\(V\\) is bounded, then \\(f\\) has a limit at infinity.  The result is then generalized to arbitrary ordered rings \\(R\\), but to this end the last condition above has to be replaced by: for all \\(f: R\\to R\\) in \\(V\\) there exist \\(x_1<\\dots <x_k\\in R\\), \\(k\\geq 1\\), such that on each of the intervals \\((-\\infty, x_1), (x_1,x_2),\\dots, (x_k,\\infty)\\), \\(f\\) is either constant, strictly increasing, or strictly decreasing.","type":"string"},"datatype":"string"},"type":"statement","id":"Q958486$1314EDD9-5195-48F2-B714-8861703DC5CF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958486$5CDE0465-8A4A-485D-B48B-74A337022055","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958486$8CF684D4-2E73-4C3D-87CD-3F5DE7FB56CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958486$3B986EE2-4340-49C4-BA6A-CBDA5DC42AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958486$853AC4BC-895E-4D05-8DCE-108A4098E76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a0518870eb93a469c4f1922f999428fafa65a6e","datavalue":{"value":"26E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958486$B2CB2E24-6715-4317-9B7B-116AE2CD3E78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3e49d5c90feffe9b97d8bf32e69e17fc3cc6f64","datavalue":{"value":"5378326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958486$3A31CF5B-8728-428C-A6AB-504B8DCD8D46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2c4f46eeb58bdc78dd0618f1bb6eb8b973236e","datavalue":{"value":"o-minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q958486$13BA95D6-949B-4ED8-9B5D-AD63542B4BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a764055826e5241834dd0b96d90cab6a3e00d295","datavalue":{"value":"ordered rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q958486$4AAE3880-2B36-446F-A9AA-B862D51988A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3167e0b1663965358524d45a080c429aca98fb38","datavalue":{"value":"monotonicity theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q958486$2105E20B-04F8-4381-8941-D5F3FB578DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20d1552f0c2ade19432d71ef490225d09d3f7ecb","datavalue":{"value":"zero selection","type":"string"},"datatype":"string"},"type":"statement","id":"Q958486$2E1817AE-75C9-41FC-9EF4-D2D1DCEB700E","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":"Q958486$A6BB49C9-5EA1-413D-8AB5-5A2EDF0A0F49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc0fd20d51c54eb956141627f5defdc54e249132","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.06.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q958486$4EB92F84-C91D-4947-B8C4-80246A975F1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce466e3aa7ba29337823658c49cc4e9bb120bfe1","datavalue":{"value":"W2017552350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958486$3E3A2EBB-7125-4461-99F0-2D1E748AE52F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e8fd66e84c76353edbccda9edead651b240ecb","datavalue":{"value":{"entity-type":"item","numeric-id":793009,"id":"Q793009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958486$D3F2AFBC-DE0D-40C8-8249-42CCAD90282B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7709e5ebc9ec481c831199a23d60fa2b954fc76","datavalue":{"value":{"entity-type":"item","numeric-id":3812217,"id":"Q3812217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958486$BC6B8E64-D093-4888-8C0D-7DF7923B7549","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":"Q958486$695DCE90-9DED-45FA-997A-36129548E820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a1a2a6ff25f3445dddf07cc32ef8072a157819","datavalue":{"value":{"entity-type":"item","numeric-id":1922131,"id":"Q1922131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958486$191D13BC-2E08-4CF9-B739-63C2DAF400B2","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":"Q958486$17560634-1ABB-4DD6-BAAD-333FE8E85423","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50750435c0c2201868883fa9b66636210fe37664","datavalue":{"value":"10.1016/J.APAL.2008.06.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958486$C0C75BEC-2C73-4AB4-A40F-B18018199A5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf7877452c9466840ed69b5ffa53e47e1ca8a8a1","datavalue":{"value":{"entity-type":"item","numeric-id":1129865,"id":"Q1129865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf2cdf2861db862827974103d6f83247787225e","datavalue":{"value":{"amount":"+0.8193953","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":"Q958486$1039EA6D-08FB-4E16-A7F9-E9323B4E33FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c2ba5a512a9c738f45b9eec5acaf4bcebb01c8","datavalue":{"value":{"entity-type":"item","numeric-id":2921003,"id":"Q2921003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b905abd810168bc61389f7c98656735ba9de6f","datavalue":{"value":{"amount":"+0.7844288","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":"Q958486$01E3CC38-B522-4215-B96A-EF56CCC3095B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3118d25e956be29be6ee8edd23232190d05889","datavalue":{"value":{"entity-type":"item","numeric-id":3566607,"id":"Q3566607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a280f5de311f91a27fc21ee150aa4b63835e454","datavalue":{"value":{"amount":"+0.7504816","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":"Q958486$C6A7A984-A6D2-4B15-9950-0592F6955FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"529549b1cb8b52ec59c58ab8ad18a789e3b707cf","datavalue":{"value":{"entity-type":"item","numeric-id":3102150,"id":"Q3102150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a280f5de311f91a27fc21ee150aa4b63835e454","datavalue":{"value":{"amount":"+0.7504816","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":"Q958486$3900610E-E9E8-466F-B896-B826115670D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"922bcaeae49915b3aec56c482f420ae4d1693c0d","datavalue":{"value":{"entity-type":"item","numeric-id":3837729,"id":"Q3837729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c718dc6dee10805061e1f3945126fd6b60af51a7","datavalue":{"value":{"amount":"+0.7504815","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":"Q958486$DB6FDDF2-CAB7-4892-B36F-6883994EC95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9befee51bf54da52d101b5ae55e3ffd6263db3e4","datavalue":{"value":{"entity-type":"item","numeric-id":2958442,"id":"Q2958442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366f6d33a62571fdb16ab436f42996d7dd8bf234","datavalue":{"value":{"amount":"+0.7411818","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":"Q958486$A7923BB6-76FA-4B0F-9A84-BCEF59AFF3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb217f3448aeb44c54bed28fe74906cb21b3565d","datavalue":{"value":{"entity-type":"item","numeric-id":2921019,"id":"Q2921019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909a70b276b1f01d7585ac1f2eecc17a0cba5c8d","datavalue":{"value":{"amount":"+0.71207505","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":"Q958486$8EAB3E79-14D0-4727-8AB8-27635C9598C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9095910fe16d2d6f0ab293558f3aaf38f118d9","datavalue":{"value":{"entity-type":"item","numeric-id":3521599,"id":"Q3521599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b6b242561b32ebeebc9a75917270fc339b6e02","datavalue":{"value":{"amount":"+0.70940053","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":"Q958486$90D0790C-12E8-4E84-8115-467F6F1AABA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe2bdc7615e37f260023076cefb2cdfdf4695112","datavalue":{"value":{"entity-type":"item","numeric-id":2782445,"id":"Q2782445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b14d7ebaf693e08ac579694e71925d477848d0","datavalue":{"value":{"amount":"+0.7092699","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":"Q958486$53A5D53C-EDB9-4421-B13C-F602F7A0070C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e79d9f6eb3f0e6553940c9da930917b48bc1e4","datavalue":{"value":{"entity-type":"item","numeric-id":2825769,"id":"Q2825769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee7948aed06a1a4f8fdb35501ffc3fa750621f7","datavalue":{"value":{"amount":"+0.69932747","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":"Q958486$4C19B2DE-A04F-4FC6-AA47-D299FABA6895","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"What is o-minimality?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/What_is_o-minimality%3F"}}}}}