{"entities":{"Q695771":{"pageid":697620,"ns":120,"title":"Item:Q695771","lastrevid":63586215,"modified":"2026-04-11T14:10:10Z","type":"item","id":"Q695771","labels":{"en":{"language":"en","value":"On some representations of the real number field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6116188"}},"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":"Q695771$F6512069-1A5F-4D36-8949-403F940E2F37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ac19904b47e905d871cbb3890de78eac64ed7bd","datavalue":{"value":{"text":"On some representations of the real number field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q695771$9B5C5F94-FCD8-41E7-BF3D-38E115D31087","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ca8350edd1d5b9f42ff23f5961a766b0620c6b6","datavalue":{"value":"1291.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695771$21781A21-DB6D-4F7E-906E-1582F587C22D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695771$B438A4CB-5095-4AA6-98BD-F6C2405402DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"361bffbceda806006d5fec8b3962c6c8e6ce4aff","datavalue":{"value":{"time":"+2012-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q695771$ECDB1AA1-7F41-4207-BBBD-CCF7C396CBF0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"affd65921e7dfa4317d430297efb3dfd1cb17e80","datavalue":{"value":"This is a less than two-pages announcement of a later paper [\\textit{A. S. Morozov}, Algebra Logic 51, No. 1, 66--88 (2012); translation from Algebra Logika 51, No. 1, 96--128 (2012; Zbl 1334.03039)], where it is shown that the ordered field of the real numbers \\({\\mathbb R}_f=\\langle R;+,\\times,<,0,1,f\\rangle\\) augmented with a function \\(f\\) such as \\(\\exp\\), \\(\\sin\\), \\(\\cos\\) or \\(\\ln\\) is not \\(\\Sigma\\)-definable over \\({\\mathbb {HF}(\\mathbb R)}\\), a hereditary finite superstructure over \\({\\mathbb R}\\). This is done by showing that every two \\(\\Sigma\\)-presentations of \\({\\mathbb R}=\\langle R;+,\\times,<,0,1\\rangle\\) over \\({\\mathbb {HF}(\\mathbb R)}\\) whose universes are subsets of \\(R\\) are mutually \\(\\Sigma\\)-isomorphic. The author notes that the structure \\(\\langle R;<,\\exp\\rangle\\) has already a rather simple \\(\\Sigma\\)-presentation over \\({\\mathbb {HF}(\\mathbb R)}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q695771$18F33754-869B-4BC0-B7BB-88012D17F377","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bc285a01ee2fee3db93f6df1148b69669dc8b6e","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695771$AC7890F2-79A7-423F-8596-952B66D56F12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695771$DC3C9F0C-75F7-4B4A-AA8C-26C8FE6EE9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695771$AB20FA4E-0D98-4375-B711-A7143A9531AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3017a4763157ffdb3a14da576b9c6a19a78bdf4","datavalue":{"value":"12L99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695771$6B3E84E1-C9EB-4C92-81DA-B5E4C4292AA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8658e28e16272f9e87fb2cc46d0aa771dd14af2","datavalue":{"value":"6116188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695771$014830CC-0C79-4800-B266-7DE32222F690","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29ff3a014b802cfb188cbda531e99ea135145bb1","datavalue":{"value":"ordered field of real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q695771$40D7E3B2-B6CD-4D70-A15B-F20486A59E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a6370bb12c814e84398ff8fa4235719dd384dcc","datavalue":{"value":"Sigma-presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q695771$F78BDBBA-9463-4F9E-97C4-35ECB4417277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53e147efaddb4c573c2fb9a7b1f3fa44e7df2a5b","datavalue":{"value":"hereditary finite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q695771$0E89A89B-A1E8-4358-BBFA-847E85096161","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5969ae5a2ffdfe98c9b3655a50da4e19018ece0","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695771$E072AE97-1EE7-46F3-B3C5-029805B67F67","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":"Q695771$0F75AED5-BC76-464B-A8DA-8C12B34CBA37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27fd3b3bec10be73145907c5458e96dcde820796","datavalue":{"value":"https://doi.org/10.1007/s10469-011-9133-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q695771$E2CABE63-F4DD-403D-BB32-77ACCC17BC76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8d089ee5c07927b462c02a1e81df74c6e766533","datavalue":{"value":"W2009001986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695771$9C58DFAC-C380-4C65-BC87-AF3004884A44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7066918a89144819e549d4190b099f4714f4b0e4","datavalue":{"value":"10.1007/S10469-011-9133-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695771$78F12397-76C1-4184-991B-430FA7D2252B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e070dff9ef4284d013ca3dcf7ded39fed66ee46e","datavalue":{"value":{"entity-type":"item","numeric-id":694238,"id":"Q694238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b99a1b1ce99679355625bab4730e3d80b5a2c11","datavalue":{"value":{"amount":"+0.8860594630241394","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":"Q695771$9E5A5C69-E03A-4D08-8E16-2853EAE284AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee57e184721746057f7cb031bb5cd481cce4d399","datavalue":{"value":{"entity-type":"item","numeric-id":4382467,"id":"Q4382467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebbc81b63521ce7ab9a29faa46da03d24bb6aa2c","datavalue":{"value":{"amount":"+0.773581862449646","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":"Q695771$AE97FE18-2318-4428-9B61-9CAD35635E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c91a46e86f624bb9d0cedfa3fbc68a1bd51460","datavalue":{"value":{"entity-type":"item","numeric-id":404712,"id":"Q404712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0821d612711c3e859b4f59fee171f8d438a7e863","datavalue":{"value":{"amount":"+0.770651638507843","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":"Q695771$3075EAA7-746E-414F-AF63-99A4C7D2C321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d83478e8e288f5554b9be6b148a0db0b2c2da92","datavalue":{"value":{"entity-type":"item","numeric-id":2970968,"id":"Q2970968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823f8b74623b4252b33d294217942268724dae40","datavalue":{"value":{"amount":"+0.7588356137275696","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":"Q695771$B86EB131-06F6-4B66-9ABE-96D4C682A980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62f5576cbce4353bea8a84af2758db0146a6bab","datavalue":{"value":{"entity-type":"item","numeric-id":4451652,"id":"Q4451652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c307e57334d7261b062382f1c4e3f2e9e55374","datavalue":{"value":{"amount":"+0.7536827921867371","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":"Q695771$5D611478-1A03-4812-B76C-8DEACE84F3EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On some representations of the real number field","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_some_representations_of_the_real_number_field"}}}}}