{"entities":{"Q640880":{"pageid":642728,"ns":120,"title":"Item:Q640880","lastrevid":51351284,"modified":"2026-01-17T21:20:36Z","type":"item","id":"Q640880","labels":{"en":{"language":"en","value":"On differentially closed ordered fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5960865"}},"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":"Q640880$ECAFFF82-BF22-476C-B060-97D5DAAA1E70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ffae4b1ab0a095d87a027dfcf35c187cb122369","datavalue":{"value":{"text":"On differentially closed ordered fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q640880$035949FF-305D-4432-9278-0A8949ADBB21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e39ec3ad7e44b563b5d0c4645cfc3bd43a0fdf45","datavalue":{"value":"1237.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q640880$840A6832-65B5-4D17-B70F-A806B112F871","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af421165656b3caad5dddf37027ce32af21714c7","datavalue":{"value":{"entity-type":"item","numeric-id":251979,"id":"Q251979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q640880$2FBCB3EE-6180-41AD-88FC-9B10B0B4132E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a5c9e0c6a7a2a0cb7662cbf32d2a100f29f5641","datavalue":{"value":{"entity-type":"item","numeric-id":251665,"id":"Q251665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q640880$E6101EE7-2F4A-47A6-8D24-9143038FB700","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5412e51208588a3303ff1411a4274ccfb0b7d7d6","datavalue":{"value":{"time":"+2011-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q640880$63A6C644-87BC-47DF-BBEA-546B39697113","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"076f4b2c07f848f4a8080fa8145835f02170ebab","datavalue":{"value":"Let \\(M\\) be an expansion of an ordered group endowed with a dense linear order. The open core of \\(M\\) is the structure having \\(M\\) as a domain and an \\(n\\)-ary relation for every non-empty definable subset of \\(M^n\\) (where \\(n\\) ranges over positive integers). The paper under review studies the open core of a differentially closed ordered field. It proves that such a field if definably complete and uniformly finite. By a result of Dolich, Miller and Steinhorn, it deduces that its open core is o-minimal. Moreover it shows that the theory of differentially closed ordered fields admits elimination of imaginaries.","type":"string"},"datatype":"string"},"type":"statement","id":"Q640880$7A923279-8D5B-4DF1-A4C8-4A34AB0BACC3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b44ab2ab89d6b11aa6f7da0ef60936cfd52cfe4","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q640880$8ED3BB5C-0CA7-4F1D-AA63-EE53D38D126B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q640880$8873C712-E5E3-4DB7-A075-2B248B219A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q640880$3A7B04DA-AA56-4A21-B695-F895DBC0FCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q640880$C3CBB4D5-542D-40E6-B54A-AE1E01B912D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"746cfb20f839df644941faceb8ba32de702ca973","datavalue":{"value":"5960865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q640880$14C806A3-5BCD-41E8-862B-F60BD486B2D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c4cbef6d51476bd22b6954e7dec7652f2a683a9","datavalue":{"value":"differentially closed ordered field","type":"string"},"datatype":"string"},"type":"statement","id":"Q640880$53C11E84-C4A3-4F59-868D-9057E2426765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10752e34f649b14d3bcfe5bd0d612c2ec0c43f21","datavalue":{"value":"open core","type":"string"},"datatype":"string"},"type":"statement","id":"Q640880$377BCA7D-DCCB-4BD5-8FC2-BAA9C10BAD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66dd4d597c3af60992cd372ab7a0f46dd50f6f1f","datavalue":{"value":"o-minimal structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q640880$6297804F-2F28-4D37-B8EC-9ADB36D99854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"183ca9ab965323f327ce51011f8c63c73032cdd9","datavalue":{"value":"elimination of imaginaries","type":"string"},"datatype":"string"},"type":"statement","id":"Q640880$D8DB411C-0DC4-4C80-A8ED-09F7DAAF16DB","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":"Q640880$4A729A00-CE95-47B5-BD28-7FEEE4C857C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4ecdbca7c081b99624c533242829c4d6d6047a5","datavalue":{"value":"https://doi.org/10.1016/j.crma.2011.08.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q640880$3D20E0DC-EA65-4D70-8375-0DAF566306D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"610f4fa3b38bddd06e09fff44cd6391aa4b43802","datavalue":{"value":"W1965939120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q640880$DFBCA185-559B-4815-9EEA-1D7F898022B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q640880$4FE5040A-1931-4BA4-A13C-411F1736205D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c821d92a8042001fa2e5bc8891f8283f93f602b1","datavalue":{"value":{"entity-type":"item","numeric-id":1023052,"id":"Q1023052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q640880$E66181B0-757D-43FD-B8C6-ACD02BC5E293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02627496f85f5e9da7e318e38fa0aeb37b5375f9","datavalue":{"value":{"entity-type":"item","numeric-id":3550539,"id":"Q3550539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q640880$5ED372DF-5234-473E-B601-10114DFFEFF4","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":"Q640880$3545A14E-8FDC-4C4C-A0A1-39F45C6408D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q640880$D0672EA6-CD0A-41D2-8443-CE9593110DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea0078a7af66b99b0e4f419cab7b2c43b3a6212b","datavalue":{"value":{"entity-type":"item","numeric-id":2501395,"id":"Q2501395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q640880$0A8FE981-6091-40EA-A79E-6E1EBE44D441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbfacf4a81c385ab7bc79ba13786beed70eabe","datavalue":{"value":{"entity-type":"item","numeric-id":1572658,"id":"Q1572658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q640880$4DBED9F1-9C98-407F-B6ED-1D5A889BAF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7888b77e215f6b1c77da54febbf7c64f35b2fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4179009,"id":"Q4179009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q640880$A5C77FDD-7003-4ABD-9A14-57EA1B6ED811","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"024001d2906583738fec02c42feedb0d847e065b","datavalue":{"value":"10.1016/J.CRMA.2011.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q640880$94767C69-F0C6-4312-9151-F514B22A7B7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590361b517eac2e4e25e1f00f7316266bcd54eec","datavalue":{"value":{"entity-type":"item","numeric-id":5485485,"id":"Q5485485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be538a7aae351b0fa30c977403a8fa29fe993765","datavalue":{"value":{"amount":"+0.827103316783905","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":"Q640880$7CBB2CD4-C203-4AA1-83B5-B54F0FCA23C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e214fcd8f28290d921c217e810a2ef5cbba72a4","datavalue":{"value":{"entity-type":"item","numeric-id":2506458,"id":"Q2506458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91081f1265b75166890bdb494d7e6dd9f15e76b4","datavalue":{"value":{"amount":"+0.8197781443595886","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":"Q640880$66AEAF1C-780D-4DF2-931C-005CDA72271B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b7741812e0fe0cc9285a8fc244ecc585e00653","datavalue":{"value":{"entity-type":"item","numeric-id":512139,"id":"Q512139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f99b154693e0d58722a9d6d1edca855a509f1aa","datavalue":{"value":{"amount":"+0.8195790648460388","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":"Q640880$43D6C8D8-6EDA-4745-958C-31A3C146752D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26ff44caffa0dd365dde29cb34a3e96ae2854c9","datavalue":{"value":{"entity-type":"item","numeric-id":2575102,"id":"Q2575102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6fe40b251f1ee1d851de6d08029032145eeddc","datavalue":{"value":{"amount":"+0.8141992092132568","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":"Q640880$F9A981C0-8326-4DBF-B53F-ECE8662C7875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c261b1b18bfda19d00fe7a637dc2a97b4cb70e","datavalue":{"value":{"entity-type":"item","numeric-id":1023052,"id":"Q1023052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd180a7cd9df152baadf6e57d98fffa210620032","datavalue":{"value":{"amount":"+0.80275958776474","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":"Q640880$14877E6E-EA3E-43C3-8A83-F88716369CD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:640880","badges":[]}}}}}