{"entities":{"Q1320026":{"pageid":1330776,"ns":120,"title":"Item:Q1320026","lastrevid":47245420,"modified":"2026-01-01T02:59:32Z","type":"item","id":"Q1320026","labels":{"en":{"language":"en","value":"On the real exponential field with restricted analytic functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 553995"}},"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":"Q1320026$D1BA0F75-3DD5-4357-A287-7EB41A0C4715","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5be21a8d3ae63798a28d2ecb86de9376237498d0","datavalue":{"value":{"text":"On the real exponential field with restricted analytic functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1320026$5BCEC3AE-46A5-4BB8-A5AE-0FFA17E9376D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a81f4b239609cb334380cb153659ae19ac5432f","datavalue":{"value":"0823.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320026$E42057CF-0233-4466-9B4D-965D1416E9B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cb8e9726362132f7cc4c737175e9fa2ad0e0cba","datavalue":{"value":"10.1007/BF02758635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320026$D818580B-9B1F-4309-962D-CD0F77A4C076","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc40043473e2fd9431358a4b9c67461ba28133bd","datavalue":{"value":{"entity-type":"item","numeric-id":287478,"id":"Q287478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320026$6BFCDDD7-3AC7-405B-85E7-22725DDF78AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ed87200671954154fed3812a1c575704adc30ed","datavalue":{"value":{"entity-type":"item","numeric-id":1812782,"id":"Q1812782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320026$C0B40EAB-BC20-4F64-B79B-3FBA5D02361E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320026$7A6B2AC7-9EF1-4A95-B5C8-46F81920EB2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd1c8c4982b9511bde5eecec899d6a228c1a7c7","datavalue":{"value":{"time":"+1995-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1320026$7ED51876-101D-4188-8DE4-594924BF97A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1e77434a68ca90d9bb6f3e1f7e7f79eb0fdc1ea","datavalue":{"value":"The present paper generalizes a result of A. Wilkie who has proved the model-completeness of the structure \\(\\mathbb{R}_{\\exp}\\), i.e. the field of reals together with exponentiation. In an earlier paper, Denef and van den Dries have already proved the model-completeness of \\(\\mathbb{R}_{\\text{an}}\\), the field of reals endowed for every \\(m\\geq 1\\) with the restriction to \\([- 1,+ 1]^ m\\) of all \\(m\\)-ary real-valued functions \\(f\\), analytic in a neighbourhood of \\([- 1, +1]^ m\\). Now, this paper gives a proof of the model-completeness of the structure \\((\\mathbb{R}_{\\text{an}},\\exp)\\), i.e. \\(\\mathbb{R}_{\\text{an}}\\) together with real exponentiation. The proof generalizes that of A. Wilkie and, in addition, gives o-minimality for the structure \\((\\mathbb{R}_{\\text{an}}, \\exp)\\). There is a more recent work of the first author, \\textit{A.Macintyre} and \\textit{D. Marker} [Ann. Math., II. Ser. 140, 183-205 (1994)] which proves an even stronger result for \\((\\mathbb{R}_{\\text{an}}, \\exp)\\) by using a different method in the proof.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320026$E63913AC-CFA4-4285-AA5C-46FF09567B97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320026$085A9F95-1FCB-4B80-83FD-353EDCAD90C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320026$4A72988E-5208-450C-B37A-1ECB04F0A9FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"586b036524297222a911b2d2942fffcc930870a6","datavalue":{"value":"553995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320026$7211ED54-9A6C-424D-8960-0A06F9751FCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"062e13f13f9d7eb71cd3e8a751ea50535afdb052","datavalue":{"value":"real-analytic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320026$79870112-38F7-4047-BD50-513839D009DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2e0989b712fc2b3b968403b4a2a3f8e168b345","datavalue":{"value":"exponentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320026$C3263436-0DC0-4A8F-83E2-F1B752D697AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c86c2b5ac1bc83ee55615fdce96a707a66aa45f","datavalue":{"value":"model-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320026$5A217E95-7B24-46E1-9504-E54756CB27EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2c4f46eeb58bdc78dd0618f1bb6eb8b973236e","datavalue":{"value":"o-minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320026$FC464217-9756-4B1A-A1B8-7B678124E02F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"321f34e2e95fe71a963dfb0e9957de8369b00fc4","datavalue":{"value":{"entity-type":"item","numeric-id":556424,"id":"Q556424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320026$D671E1C7-1B96-427E-89DE-BBEE8C03A067","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":"Q1320026$28A1F3C8-7343-483E-901E-0C6CCB74E68C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c144670c3fd42cce656d8a1382ec0ec40c30c761","datavalue":{"value":{"entity-type":"item","numeric-id":584334,"id":"Q584334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320026$935B5F7F-B565-4498-86A1-EC2BD57E3A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88c7097b8c20754181e65c20c653d8bcea4793c","datavalue":{"value":{"entity-type":"item","numeric-id":3727972,"id":"Q3727972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320026$86C80A1D-6005-4321-A079-458F4F238185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14ac129a19119c75e01be445cd0c8a6d606fb81c","datavalue":{"value":{"entity-type":"item","numeric-id":3752365,"id":"Q3752365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320026$7584A934-1E01-4E2A-8ECF-AA489E844E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4ec00568059c992547aca847e2d2ed6703f0c9","datavalue":{"value":{"entity-type":"item","numeric-id":3475258,"id":"Q3475258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320026$91C358A8-F70E-44D5-80FA-F6BE303383E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa98c4e99f58941598aba5d01331c82a7d56a71a","datavalue":{"value":{"entity-type":"item","numeric-id":1341981,"id":"Q1341981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320026$9DA988A5-9E64-4D60-8508-EBB2F6EECE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8279d51625b5911ff3c64e220e2ee35e6967b74","datavalue":{"value":{"entity-type":"item","numeric-id":2530354,"id":"Q2530354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320026$C64C8948-337E-4F2A-8947-4F8D7ADF24AC","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":"Q1320026$3D9531B2-BF57-41FD-ADA8-9142DD49E000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6defbd05bd4ffee4e27a61675caca087373420","datavalue":{"value":{"entity-type":"item","numeric-id":3812218,"id":"Q3812218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320026$84C7453B-C613-45C3-9777-B49BCA9C4ACA","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":"Q1320026$693B76A5-A799-4CDD-A8C6-358C9E631D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fbe96f60805239cfa6238ea31aff9e6c18fb15","datavalue":{"value":{"entity-type":"item","numeric-id":3140641,"id":"Q3140641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320026$E730FC2C-D675-4C59-A472-800E9F69E1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232ccf0c86f29f086a8b83af7e33d0e1a17709b0","datavalue":{"value":{"entity-type":"item","numeric-id":3320495,"id":"Q3320495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320026$DC9407C9-F84A-40A6-B623-9EB921A01F76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1721c7496a97ece28229e972222b3459f47c460f","datavalue":{"value":{"entity-type":"item","numeric-id":1341981,"id":"Q1341981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9615938ed38365ffa4e6d24d701b98700a13248c","datavalue":{"value":{"amount":"+0.8691355586051941","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":"Q1320026$114CA78A-D44D-41BF-AA25-AF76DA37DBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c528dacb8af4fe1539f6e5a72e513adc7b756aa","datavalue":{"value":{"entity-type":"item","numeric-id":1112014,"id":"Q1112014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6490bf982ed74bb66e5e0e14dfb83492801aaae3","datavalue":{"value":{"amount":"+0.8683409094810486","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":"Q1320026$CEC71430-A644-420A-8ED7-C158BB24912D","rank":"normal"},{"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":"1e40792a6a7ec0822937800e48534ddcd3489d01","datavalue":{"value":{"amount":"+0.8561181426048279","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":"Q1320026$060B0887-D0CD-43CE-9A9F-435C9532C7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e9083fa99d6f4dd04787026fc200960f15c2c89","datavalue":{"value":{"entity-type":"item","numeric-id":4211151,"id":"Q4211151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52cb739a1f926f8e8dec3360a55ef59028d9ffd","datavalue":{"value":{"amount":"+0.8558869957923889","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":"Q1320026$ECB420D4-7715-4D88-8C04-CBC553243F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e12b8f7041bfb8486e9d26486b80b401b05e5e","datavalue":{"value":{"entity-type":"item","numeric-id":1326770,"id":"Q1326770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8ba9f907e8251f09452fb802bf40e742c66443","datavalue":{"value":{"amount":"+0.8437709808349609","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":"Q1320026$C22CB824-8FE2-44E1-89FE-2EA950687C56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1320026","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1320026"}}}}}