{"entities":{"Q2018246":{"pageid":2028988,"ns":120,"title":"Item:Q2018246","lastrevid":57677649,"modified":"2026-03-31T21:25:27Z","type":"item","id":"Q2018246","labels":{"en":{"language":"en","value":"Definable orthogonality classes in accessible categories are small"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6424459"}},"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":"Q2018246$B4B60963-519B-4D6D-BE83-9FE9CFEDB2EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5519d0830c42c71b63fec5e35f8756124d0431b5","datavalue":{"value":{"text":"Definable orthogonality classes in accessible categories are small","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2018246$67DEAECA-775A-4898-B759-5628CE423C73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d0cb427d5df4c72b1af27b7e0aae833625b0b48","datavalue":{"value":"1373.03108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018246$D2AEDF01-BCC1-4152-89A6-AB1A24B4E41E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcd073cb99f49455aa11c405dee586d0ec48cd92","datavalue":{"value":"10.4171/JEMS/511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018246$862292EE-757C-4CC8-8C21-D6B57E53E22B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cfc2d369b46b6c978fbde1691c53c0d3c96af1e","datavalue":{"value":{"entity-type":"item","numeric-id":186017,"id":"Q186017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$A838DD7E-A197-47B9-9A85-90593D4318F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9826cce155530d9c139226ef04dbbd31fa31360","datavalue":{"value":{"entity-type":"item","numeric-id":189956,"id":"Q189956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$2290428D-0D8E-467F-9775-E0879CB0FE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b93a7088f0f3f3d6d8299d78aae3a1d1876d975","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$E866622C-9845-4DA4-89CA-9D006803B3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c70380042d747dc4fd26ae33db4b8519b40a0272","datavalue":{"value":{"entity-type":"item","numeric-id":1013094,"id":"Q1013094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$C1B83532-6EA6-4DBF-A4FE-2C17B3639ADB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"26780b1287f0091cd789fa2d15704011bf65df86","datavalue":{"value":{"entity-type":"item","numeric-id":171275,"id":"Q171275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$BFAA728F-5980-4384-97A8-97DCEA2FAACC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66976054409e2e1eb2157a88623f487fd1855b09","datavalue":{"value":{"time":"+2015-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2018246$B3798206-A196-42A3-9D42-93D10240518C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"901913eda5ae55868c9cbce64e1c90b539751309","datavalue":{"value":"https://arxiv.org/abs/1101.2792","type":"string"},"datatype":"url"},"type":"statement","id":"Q2018246$5A81F005-6442-433D-BA6A-7539B78A6D30","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa556081013ac0442a349a10ef4f85c614cc4c66","datavalue":{"value":"Summary: We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vop\u011bnka's principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the L\u00e9vy hierarchy. For example, the statement that, for a class \\(\\mathcal S\\) of morphisms in a locally presentable category \\(\\mathcal C\\) of structures, the orthogonal class of objects is a small-orthogonality class (hence reflective) can be proved in ZFC if \\(\\mathcal S\\) is \\(\\boldsymbol{\\Sigma}_1\\), while it follows from the existence of a proper class of supercompact cardinals if \\(\\mathcal S\\) is \\(\\boldsymbol{\\Sigma}_2\\), and from the existence of a proper class of what we call \\(C(n)\\)-extendible cardinals if \\(\\mathcal S\\) is \\(\\boldsymbol{\\Sigma}_{n+2}\\) for \\(n \\geq 1\\). These cardinals form a new hierarchy, and we show that Vop\u011bnka's principle is equivalent to the existence of \\(C(n)\\)-extendible cardinals for all \\(n\\). As a consequence of our approach, we prove that the existence of cohomological localizations of simplicial sets, a long-standing open problem in algebraic topology, is implied by the existence of arbitrarily large supercompact cardinals. This follows from the fact that \\(E^*\\)-equivalence classes are \\(\\boldsymbol{\\Sigma}_2\\), where \\(E\\) denotes a spectrum treated as a parameter. In contrast with this fact, \\(E_*\\)-equivalence classes are \\(\\boldsymbol{\\Sigma}_1\\), from which it follows (as is well known) that the existence of homological localizations is provable in ZFC.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018246$8CCFA388-7254-43D5-8E10-C92DBEBAE70C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018246$43CD6C25-6598-4E8B-975F-7F50D3AB329B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018246$5D15D0AD-23DD-4FD1-9C6D-17013D03AA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018246$2BBDBD50-E68E-42AF-B975-23D7716A2F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95d2338239996b5a652f0958c14ca2334979dba4","datavalue":{"value":"55P60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018246$11674274-912B-482A-B16E-1C143F89069B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d35289bedc80b1085d64d820313e4cb71e428c91","datavalue":{"value":"18C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018246$F22E78F0-2336-4687-B64D-D9EB33A98AC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b873e776141229399f4721fc5fcb04fec7152b83","datavalue":{"value":"6424459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018246$DD24530A-1717-492B-987F-1A731364519F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58ceb89dcc5a025cb885d95184fb2b727e2af6dc","datavalue":{"value":"supercompact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018246$95AF4C60-C31C-4C75-998D-0F359B54216C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6e816e6e7060fb36536d1ce2cdadf67c0f272c3","datavalue":{"value":"extendible cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018246$8B37B861-F8B1-4597-A12E-A105738B1A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b8efa6d5bd14b29872e7ffe265409af45dc030a","datavalue":{"value":"L\u00e9vy hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018246$A7207FC8-CF7E-49F0-BE48-1CE1B169A677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d239105e649723439f93b0962b8638c7b35cb5","datavalue":{"value":"accessible category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018246$7AC28993-96DE-4336-BF29-8B8857681F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aed24b59e7d3af589f28ee288f424d3f3e19a1","datavalue":{"value":"reflective subcategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018246$2FDB789D-3D7E-4BC0-935E-93D0C59CCEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d941a620a3bd0441c274eb366e0107c685f26e8","datavalue":{"value":"cohomological localization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018246$184E5E90-FD9B-45E6-8CDE-D0D5888E43FB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"59ceb08d5eefec8aa7973c2f9c2403a8a0f95cde","datavalue":{"value":"Q56813231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018246$515E2138-8597-4509-AE6B-347835157CF7","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":"Q2018246$E54C9705-3C10-4656-BDF9-20D40DA375C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"945b569cb2b5d0341f9462d371c087963dc779f6","datavalue":{"value":{"entity-type":"item","numeric-id":3411966,"id":"Q3411966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$2C40D24D-5DE1-484F-A308-A13BAA823416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$5499F745-6BEF-4405-ABFF-B2BEBF7129F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5fea3eba0f022ba59638fdb9473dd8e1742ae62","datavalue":{"value":{"entity-type":"item","numeric-id":1910729,"id":"Q1910729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$CB9AC55B-426B-4C2D-9354-EDDBC60940A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e6592db3ee60cbc42d16620933904e6337a22f","datavalue":{"value":{"entity-type":"item","numeric-id":2539765,"id":"Q2539765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$F391E583-6D42-49FE-A27C-73E45F84DA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5b75e5917c889134d8a78729f028c28b56c294","datavalue":{"value":{"entity-type":"item","numeric-id":4848740,"id":"Q4848740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$950FB22E-7420-4396-8467-3729639E0182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5239bbaaf83b86e04ee48eb295537db92fab15","datavalue":{"value":{"entity-type":"item","numeric-id":412056,"id":"Q412056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$B7110782-27C2-418A-83A3-DCBAB2658E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515a37d805be2658eb57036c67b023c396890341","datavalue":{"value":{"entity-type":"item","numeric-id":5300078,"id":"Q5300078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$9F5F5F35-F653-4771-A7E3-C81D1385AB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5879b85fc6dbf17866bb1bfb1d90a972836790","datavalue":{"value":{"entity-type":"item","numeric-id":1013095,"id":"Q1013095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$69F5266E-39C7-4156-BB0B-B2876F3576CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20682c091bd24b87c5e35df22a6ee23a682fea9d","datavalue":{"value":{"entity-type":"item","numeric-id":4239318,"id":"Q4239318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$BFEB3AF3-C8B1-4E96-B447-388AECDF2B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ccc8eaf8699ff4740939fd19512db5dac4f6b6","datavalue":{"value":{"entity-type":"item","numeric-id":1219082,"id":"Q1219082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$6C42FC98-F6CC-4265-A44B-C6DFF87FC035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e43143f0e7ee6f779f2d7d17250cc387d393bf","datavalue":{"value":{"entity-type":"item","numeric-id":1239361,"id":"Q1239361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$78A5A25D-8E17-4CC1-9948-EB6113D14855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b262feeacd70c4c1ebe84d8f3d0300e1e05b5e9","datavalue":{"value":{"entity-type":"item","numeric-id":4191283,"id":"Q4191283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$A62C74DE-371E-4476-916A-70FAD7D3D27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e181597254c33d1339e52e75a968fdad7f78100","datavalue":{"value":{"entity-type":"item","numeric-id":634767,"id":"Q634767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$495F7B99-C935-4BC1-A413-B6DAD1F67038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb503396a0ab3efbb032b7e02b6be031c4afbbf4","datavalue":{"value":{"entity-type":"item","numeric-id":5475464,"id":"Q5475464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$166F5710-485C-4231-BE98-DDF9FA333663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f001a733463df25e8c1fb7f2ac708a1de1d01d76","datavalue":{"value":{"entity-type":"item","numeric-id":2445288,"id":"Q2445288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018246$5AEAAC11-B164-48BB-BE37-CC90067273B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ef5130f4390a3d346f6c91d6473cbcdda354d24","datavalue":{"value":{"entity-type":"item","numeric-id":5475464,"id":"Q5475464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b00927041594828d6ea4c9e8497e0e594498fda","datavalue":{"value":{"amount":"+0.852947473526001","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":"Q2018246$627063CF-FC74-4DB8-B4E5-1E4B022CDF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f0f7222a61182d5bccb1e88b3ca2f6dbb5bfed7","datavalue":{"value":{"entity-type":"item","numeric-id":4793628,"id":"Q4793628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64ddb5dd02c2db792cae90df138ad70c49beabb","datavalue":{"value":{"amount":"+0.8206701874732971","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":"Q2018246$000F27BD-E1FF-471C-93AD-D6CE7E15329C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a129af879d355b59b0e5d0c861a84874d8eb4294","datavalue":{"value":{"entity-type":"item","numeric-id":1707297,"id":"Q1707297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64ddb5dd02c2db792cae90df138ad70c49beabb","datavalue":{"value":{"amount":"+0.8206701874732971","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":"Q2018246$2C9B2603-23FC-4973-85F5-C9388AF2582D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ced8ab4f6f3f93643c5334be3467a0642b4b319f","datavalue":{"value":{"entity-type":"item","numeric-id":2570069,"id":"Q2570069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc619cefb0c77a32de6ce6ec966a6aef6467f458","datavalue":{"value":{"amount":"+0.8107700347900391","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":"Q2018246$093AF674-C462-46CD-8878-21BF8E40AE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7efb5b720330615e2dc7f76ee84308d116bdfe4","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8400a623899ab64b3ce69c05c77afa0534c5d8f7","datavalue":{"value":{"amount":"+0.8020108938217163","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":"Q2018246$A949E717-FC4B-484B-9BAB-63FD5118D18D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2018246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2018246"}}}}}