{"entities":{"Q2839384":{"pageid":2850104,"ns":120,"title":"Item:Q2839384","lastrevid":58027995,"modified":"2026-04-03T12:33:55Z","type":"item","id":"Q2839384","labels":{"en":{"language":"en","value":"Invariantly universal analytic quasi-orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6184596"}},"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":"Q2839384$1A93D296-935A-4A1E-971E-FF45C2D8DAB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42e48d6e40e6fbd164365ffabc359aeb17ca054e","datavalue":{"value":{"text":"Invariantly universal analytic quasi-orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2839384$EFBD41E8-9C73-4326-AAD7-B4039B9FA836","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d755d62edfdf29eb25465e14fad5d14e3dc4d5b","datavalue":{"value":"1302.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839384$4E6EC8BC-1638-4499-960F-7A812A54F20E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"775947284b1d91841caf7e094dc799afd2069d1d","datavalue":{"value":"10.1090/S0002-9947-2012-05618-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839384$3CB31729-A6E8-4B94-BAE4-B693C01A5E85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81bad945b472162a883c0a3dc55000f4086bf4bd","datavalue":{"value":{"entity-type":"item","numeric-id":481397,"id":"Q481397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$EA077A95-C0B0-4C3A-8DB0-0CD59B8852B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"647f4d17eb87bf327562a875e1fc7cdb8bf682b0","datavalue":{"value":{"entity-type":"item","numeric-id":238867,"id":"Q238867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$B7F312A8-E933-4FB0-AC59-9AACB887ACC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6e7af5df71126847a8a748475a8d8ef04050850","datavalue":{"value":{"entity-type":"item","numeric-id":490673,"id":"Q490673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$EC5D31E2-08AA-4B46-BEE3-9EA3938B6282","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$DF16831D-D172-4BA9-95FA-E05E1E688DAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e553745941756c98d8238154d74f9ad7174c4d8e","datavalue":{"value":{"time":"+2013-07-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":"Q2839384$0853AC22-30C5-4E52-9F85-D5A0F313E343","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91a2f096f7362b7ffc4d12a0bc0fc27ca5c7dcce","datavalue":{"value":"https://arxiv.org/abs/1003.4932","type":"string"},"datatype":"url"},"type":"statement","id":"Q2839384$7E87A523-5353-46D3-AFC3-4B660CB696ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839384$C614C96D-49F7-4B59-AB91-5B7B2661577D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cfa1aca87f6c53f42f0c6dd4816cbf553275fb7","datavalue":{"value":"6184596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839384$1EFA9307-764D-4C7F-9C0B-8F0DA5B5F92B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7447a8199053bfcdc01fb4419005e4f3c832f66d","datavalue":{"value":"analytic equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839384$18816B51-15DB-4EBE-82FB-FA103E7AD1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e2a2b8d28a9432c9ebfec80bea19585f4fd42bd","datavalue":{"value":"analytic quasi-orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839384$F0AA0440-A2B4-467D-B1F0-8A8CBD4DA84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9330abe130451586665a92b0ac2207e1fbd65df8","datavalue":{"value":"Borel reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839384$10C173E7-B5B9-41B6-8C4C-BB46EC7D4081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839384$3D236E7D-B56C-405A-A68B-C1F039024740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b33ae67c37c4c3559de67d95357b184d3236d63","datavalue":{"value":"invariant universality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839384$8CC6C422-D4DF-4BA1-9087-816E45D25F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e46b60c1b5e34e8210c221d96b1a8340f1fb340d","datavalue":{"value":"colored linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839384$7108616B-3DC3-4F24-A3BD-D6250FF730FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4fa3a8895bb54ff20fcb60ebe201bccc10d1cb4","datavalue":{"value":"dendrites","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839384$DA7AFDE4-9F4E-46FD-B7AB-FA4F50D52C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77795c35fb8ae101f9adc5495fd26d1c499b02fd","datavalue":{"value":"(ultrametric) Polish spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839384$5234B275-099A-4C06-AF18-E63992F0D9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b96df31970202186adc5b979a81d7ab2db6d934","datavalue":{"value":"separable Banach spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839384$F1FBE15E-C30A-4F94-9BCD-494E0DD5FBF4","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":"Q2839384$CB9B20F6-610E-42C3-B8DD-B339D25B2E83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7bcac66bb3dc49c58eac971c8f573186f643d4c","datavalue":{"value":{"entity-type":"item","numeric-id":4331784,"id":"Q4331784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$75652F59-FB4E-4C37-B626-38F7F34C26C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1164d729ab9ac18c5d19e167c5ce5da108c791c1","datavalue":{"value":{"entity-type":"item","numeric-id":5469391,"id":"Q5469391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$CE272E1C-3473-4065-95DA-A6335E817CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02daf8c95a1e08ccc721fc87d917401b5cf90f78","datavalue":{"value":{"entity-type":"item","numeric-id":2492801,"id":"Q2492801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$6E5316B0-1F2F-4ED8-9A5C-46FBBCA98188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbbbf7c50c667d66d964c7710dcdb4316b77de5","datavalue":{"value":{"entity-type":"item","numeric-id":5461387,"id":"Q5461387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$5A528B67-BFEA-4B70-92B2-A400ED6480AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f401d2ca76659b76d4c421fa27c8d34553f03850","datavalue":{"value":{"entity-type":"item","numeric-id":3083138,"id":"Q3083138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$F8B6DCDB-ADDE-4DD6-93D0-9A99772946DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabd751e70e7d5404934ad698e57469fca0d22e1","datavalue":{"value":{"entity-type":"item","numeric-id":3033746,"id":"Q3033746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$4EB05C14-1C85-422A-B623-E2BC816C9DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a96893383d28c87356a34d9b0fc22c1523edcf8","datavalue":{"value":{"entity-type":"item","numeric-id":4799700,"id":"Q4799700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$1F6B352B-D9CA-4949-9BB3-B1FD84BA1376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d1903b678804002ad8c4af062f77b38a2463ea2","datavalue":{"value":{"entity-type":"item","numeric-id":4522443,"id":"Q4522443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$4156A1CB-E7BB-4500-B36E-CAAE8D3F4738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$E6C335AD-16EA-48DC-B46D-8261A091C820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65262d113ec2a95f40cfaf0e6ffc0cf0e9713da3","datavalue":{"value":{"entity-type":"item","numeric-id":5313312,"id":"Q5313312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$7C7B5936-C95D-4100-A2A6-11CD5E216D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8732ce0af272c2448097e560672480dc4160bf75","datavalue":{"value":{"entity-type":"item","numeric-id":5311746,"id":"Q5311746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$503A703B-385E-4CB6-86AD-323BDF4A0C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82a55fdb90e96cecfc6794a863de916e81543b07","datavalue":{"value":{"entity-type":"item","numeric-id":5388809,"id":"Q5388809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$1A303352-DCC2-4730-A934-79C03ADEBE74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98f84e2a0871c721936b611c4777f9599605a8d9","datavalue":{"value":"W2067914503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839384$44A2D6A6-C6E4-4E34-A9BA-111E2793B5DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f348833e1e5c56fb8fb63da2dbbfa13ba5bb651","datavalue":{"value":"This paper introduces and studies the notion of invariant universality, which strengthens that of completeness, for the class of analytic quasi-orders. A pair \\((S, E)\\), where \\(S\\) is an analytic quasi-order on a standard Borel space and \\(E\\) is an analytic equivalence relation such that \\(E \\subseteq S\\), is \\textit{invariantly universal} for analytic quasi-orders if for any analytic quasi-order \\(R\\) there is an \\(E\\)-invariant Borel set \\(B\\) such that \\(S \\cap (B \\times B)\\) is Borel bireducible with \\(R\\).NEWLINENEWLINE The authors give a sufficient condition (see Theorem 4.2) for a pair \\((S, E)\\) to be invariantly universal, which is applied in \\S5 to show that various known complete analytic quasi-orders paired with natural equivalence relations are invariantly universal. The examples in \\S5 widely spread in a large number of mathematics areas, including graph theory (\\S5.1), combinatorics (\\S5.2, 5.3), topology (\\S5.4), metric space theory (\\S5.5), and the theory of separable Banach spaces (\\S5.6). A few other examples of complete analytic quasi-orders from the literature are proven (with sketch) to be invariantly universal.NEWLINENEWLINE However, there are cases where complete analytic quasi-orders, coupled with certain equivalence relations, are not invariantly universal. One such example, an artificial one, is given near the end of \\S1. A few open questions regarding analytic quasi-orders are proposed in the last section (\\S6), among which is one asking for a \\textit{natural} (namely, of independent interest in relevant areas of mathematics) invariantly universal pair \\((S, E)\\) with \\(S\\) being complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839384$4F0D0CB5-3C57-4B85-9BA3-DBAF46180599","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"004a10a5c768333f1f56f1c2cf5fda45c1f014f7","datavalue":{"value":{"entity-type":"item","numeric-id":512140,"id":"Q512140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839384$59B475C2-77C4-4FA5-807B-8C3399C9B5E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"022ddec488432afcbabf99d4397c477612a70279","datavalue":{"value":{"entity-type":"item","numeric-id":5313312,"id":"Q5313312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a947192c8df274848d075c4bbb938dc64a7bec5","datavalue":{"value":{"amount":"+0.7819138169288635","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":"Q2839384$EE8E93EE-F2A1-4E82-8C9E-77FECAD23D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8670368b927cd555d9b728ebbce5c7d305529ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2765918,"id":"Q2765918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd150a87fdc2a89705ff7835d9d37497b1c95ee","datavalue":{"value":{"amount":"+0.7805414199829102","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":"Q2839384$F843B9DC-7C5B-43E2-80E2-7432BB78E16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"026a59fe2063af0ea89160b9c6a81ce9f78f95c1","datavalue":{"value":{"entity-type":"item","numeric-id":5107221,"id":"Q5107221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4568ac2aadac073735fc76cf7358706f90c46c06","datavalue":{"value":{"amount":"+0.7645548582077026","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":"Q2839384$FF0DF0A8-3B68-4F3A-A4C2-128E700E7CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef760cd99d7af512c681b273fb7092e58b68703b","datavalue":{"value":{"entity-type":"item","numeric-id":2933683,"id":"Q2933683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a371a8b25f6fb126d812d8b1a5651d26d0db8d54","datavalue":{"value":{"amount":"+0.7612572908401489","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":"Q2839384$AEE9D22D-B6A2-47D8-B368-25A4FC71A833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b4506a9b29898ccfc8726db1d83489b333a019","datavalue":{"value":{"entity-type":"item","numeric-id":3298793,"id":"Q3298793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80c931e4b3bef162117bbc747babf61e6b4184b3","datavalue":{"value":{"amount":"+0.7592955827713013","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":"Q2839384$82C2944F-2EC4-48B6-8F15-9207590EF7CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2839384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2839384"}}}}}