{"entities":{"Q2765371":{"pageid":2776110,"ns":120,"title":"Item:Q2765371","lastrevid":83151536,"modified":"2026-05-07T06:20:23Z","type":"item","id":"Q2765371","labels":{"en":{"language":"en","value":"A definitional view of Vogt's variant of the Mazur-Ulam theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694678"}},"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":"Q2765371$8AC70AEB-023A-42B7-A2C6-BA6F74E168A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e4928a7b1cd260f54c8920de3144c2a4897b3a2","datavalue":{"value":"0992.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765371$535A055F-2B99-41FB-8223-ECBF130FA342","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f8c686acf111f5870bb8b8a79eaa7f4f60ee12e","datavalue":{"value":{"time":"+2002-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2765371$164B87FE-31AE-410F-9932-C7C63E009838","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"baf66e20af5c7c86d71b90dd653ed8dea9e9c8ec","datavalue":{"value":"https://arxiv.org/abs/1211.4588","type":"string"},"datatype":"url"},"type":"statement","id":"Q2765371$C8CD73DF-1B14-4B4F-BC2E-6F5105DCDCA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765371$43856CAF-D231-4AAE-8888-8F9E6E5FC15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765371$DB6E5BF1-7FE6-4817-B104-53971732ACE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765371$94E68EC7-9F82-4AE9-AC3A-3339D0BE861B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a033e9eac6bc697f9cc44f7896f5eac2bc7abea","datavalue":{"value":"1694678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765371$E111373D-A745-49E9-B907-DD9CE466F65B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f485e2ef5d711dc6b65f3aad7478d15f8b7f7","datavalue":{"value":"Beth definability theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765371$2BD25BAA-78FD-4C6D-A04C-D3FE9054EB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd94cc6c81b5ea24912cf193d793f78c15340a0","datavalue":{"value":"affine transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765371$B1EB03B1-3D78-475B-80FD-3106D1A1B878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13b8ef7aa98ad4723cca8cc5ab90bfae68cb99a3","datavalue":{"value":"real normed spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765371$91EA6F46-28E1-48E1-A732-028C64D2591F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94a0836b8f6fa2968e81482351df8ab94ee5594d","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765371$82A95E4E-5066-4A19-A9B9-6ADF736120C3","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":"Q2765371$E91709A5-1F29-4B48-BBB5-FB3A7ABC8A5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b850441545f45d2b3000517722b1b9fbcb08fb64","datavalue":{"value":{"text":"A definitional view of Vogt's variant of the Mazur-Ulam theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2765371$FE3232C5-A5D9-4386-A02A-E33FBD1B56F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9463dae2c6434165dc2c1047702668ce27923d0a","datavalue":{"value":"Generalizing a theorem of Mazur and Ulam, Vogt proved that equidistance-preserving transformations between real normed spaces of any dimension \\(2,3,4,\\dots\\) are affine similarities. Further generalizations were prove by Skof. In this note the author reformulates these theorems as explicit definability results from implicit definitions in the logic \\(L_{\\omega_1\\omega}\\).NEWLINENEWLINEFor the entire collection see [Zbl 0972.00028].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765371$96C8ECA2-CB00-4B7E-A250-FBFA769A96F4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765371$8BC9C8FB-4F2B-4AAF-9D64-B358C9E286EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba820da9bbc795d0b6e6d3ba4aac46ba6e8a0373","datavalue":{"value":{"entity-type":"item","numeric-id":1931421,"id":"Q1931421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fd59835ad0b2d77981825aa3ec7dc1640c99a8","datavalue":{"value":{"amount":"+0.8082162141799927","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":"Q2765371$06DEFDC9-F66E-4C95-8B80-1CAC50A889B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa1cc63fa01fd6564aecd61dec30d4f358afe6c0","datavalue":{"value":{"entity-type":"item","numeric-id":3614415,"id":"Q3614415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8892a9bd71675077ede7b5f2466498734f72af0c","datavalue":{"value":{"amount":"+0.7657005786895752","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":"Q2765371$C0211772-08FB-4229-BE4B-46321CEBA7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f2dd5cdb4965345c0064141cf8553dacc7bf21","datavalue":{"value":{"entity-type":"item","numeric-id":422011,"id":"Q422011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4fb6d8bcd0835b4aba8c35a6814ca42ef1a8bfd","datavalue":{"value":{"amount":"+0.7600129246711731","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":"Q2765371$9A8CDBBF-7F0D-4370-A4EE-1928A306AED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb60c1f6fcdeca469239b0bb58beac594de9bfaf","datavalue":{"value":{"entity-type":"item","numeric-id":4295849,"id":"Q4295849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a794eea70af2c74b6d125215821b3960d35093","datavalue":{"value":{"amount":"+0.7531177997589111","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":"Q2765371$DCF3D1C5-4403-4A83-BEF8-DCD72AB41F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7afd3723411d2bf03fef12f578c3159732f6c944","datavalue":{"value":{"entity-type":"item","numeric-id":2801698,"id":"Q2801698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a794eea70af2c74b6d125215821b3960d35093","datavalue":{"value":{"amount":"+0.7531177997589111","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":"Q2765371$62CAED9A-04E3-470D-9124-69EE7C3F7E0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A definitional view of Vogt's variant of the Mazur-Ulam theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_definitional_view_of_Vogt%27s_variant_of_the_Mazur-Ulam_theorem"}}}}}