{"entities":{"Q527330":{"pageid":529097,"ns":120,"title":"Item:Q527330","lastrevid":62504775,"modified":"2026-04-11T06:33:00Z","type":"item","id":"Q527330","labels":{"en":{"language":"en","value":"Magidor-Malitz reflection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6714183"}},"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":"Q527330$2668FE1E-B973-4231-AD56-3FBBC4D277B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5ad1482e793064e7d692074152fd397c3fb7c70","datavalue":{"value":{"text":"Magidor-Malitz reflection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q527330$B8348D1F-ADE2-4575-B775-5CD1C698DC26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72b862fc768a0728a70fbebfe86c2530002de2d0","datavalue":{"value":"1383.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527330$50852AAD-43CB-4554-83B5-3F3736CF285A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab81b311d2124fb14599a1aaaa481ae83935d71e","datavalue":{"value":{"entity-type":"item","numeric-id":283094,"id":"Q283094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$283005D9-370C-42DC-BB6A-86B8E138D896","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$FC2CFA98-CEBF-47A1-8E16-02B55A2FEAB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9e8b439653b9d6355317e4dbf4602d7c9d2cabd","datavalue":{"value":{"time":"+2017-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q527330$3E55120F-2BF6-4B8C-886E-6520325BEB41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5cf4fc83a8e5152f05ec980d51aed9d83ef5dd9","datavalue":{"value":"https://arxiv.org/abs/1512.09299","type":"string"},"datatype":"url"},"type":"statement","id":"Q527330$D458426E-4A50-47DF-B03C-4C7935FC76D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0748d6b98acdcb0689f6687aa3a0d50eb36ec9bd","datavalue":{"value":"The author views the downward L\u00f6wenheim-Skolem-Tarski theorem (DLST) as a reflection principle. In contrast to first-order logic, for which it is a ZFC theorem, asserting DLST for second-order properties necessitates the existence of a super compact cardinal [\\textit{M. Magidor}, Isr. J. Math. 10, 147--157 (1971; Zbl 0263.02034)].  In the article under review, the author investigates the consequences of DLST for logics that extend first-order logic through the addition of Magidor-Malitz quantifiers. From the author's abstract: ``We derive some combinatorial results and improve the known upper bound for the consistency of Chang's conjecture at the successor of a singular cardinal.''  The Magidor-Malitz quantifiers \\(Q^n\\): For \\(M\\) an \\(\\mathcal L\\)-structure and \\(\\varphi(x_0, \\dots , x_{n-1})\\) an \\(\\mathcal L\\)-formula, \\(M\\models Q^n \\varphi(x_0, \\dots , x_{n-1})\\) if there is a set \\(A\\subseteq M\\) with \\(|A|=|M|\\) such that \\(\\forall a_0, \\dots, a_{n-1}\\in A\\), \\(M\\models \\varphi(a_0, \\dots , a_{n-1})\\).  More notation: \\(M\\prec_{Q^n} N\\) means \\(M\\) is an elementary submodel of \\(N\\) with respect to first-order logic with the quantifier \\(Q^n\\) added. Moreover, \\(M\\prec_{Q^{<\\omega}} N\\) indicates that \\(M\\prec_{Q^n} N\\) holds for all \\(n<\\omega\\). For cardinals \\(\\lambda>\\mu\\), the notation \\(\\lambda\\underset{Q^n}\\twoheadrightarrow\\mu\\) means that every model of cardinality \\(\\lambda\\) for a countable language has a \\(Q^n\\)-elementary submodel of cardinality \\(\\mu\\).  In the paper's second section, the author investigates some combinatorial consequences of \\(Q^{<\\omega}\\) reflection. For example, if \\(\\kappa\\underset{Q^2}\\twoheadrightarrow\\mu\\) where \\(\\mu\\) is regular, then the square principle \\(\\square(\\kappa)\\) due to Todor\u010devi\u0107 fails. Also at the successor of a singular limit cardinal, the tree property holds if an appropriate sequence of \\(Q^{<\\omega}\\) reflections holds.  In the third and final section, the author turns to consistency results. First, he proves two theorems about the consistency of Chang's conjecture at the successor of a singular cardinal. Finally, he investigates which large cardinal assumptions imply \\(Q^{<\\omega}\\) reflection. For example, for \\(\\kappa\\) is a Ramsey cardinal, if \\(\\mu\\) with \\(\\omega<\\mu<\\kappa\\) is a regular cardinal then \\(\\kappa\\underset{Q^{<\\omega}}\\twoheadrightarrow\\mu\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q527330$871BCC5B-0FD4-4001-B64B-99041C73635A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$645D5DAE-90DC-4B8F-A50B-B42060491081","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527330$8B993150-E2C3-4EA3-80E6-024A641C29A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527330$1A4AAB97-AAF2-485C-88B9-AC25DE5BEAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527330$E56EF5C9-ABD9-48F4-AB88-23FB0ECA468D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527330$4F5B8B83-9747-42A7-8C96-BD7610F0698C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58771ed87504f27dcd1eff6f9c7745486a7d4eb7","datavalue":{"value":"6714183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527330$9E9C4A64-AA95-4E49-BABD-B895BD5B6522","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f50ca6dfcbf88664c52e98869ffc1a78aec9b4ce","datavalue":{"value":"Magidor-Malitz quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q527330$D280B18D-3FCA-4ED9-9022-77BA5A243E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25d1748161cd374b78718e9dc78eebe810016fd6","datavalue":{"value":"Chang's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q527330$DD27E914-3E98-486E-96A5-F172A043ED09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q527330$6EFB0D99-8AFE-4F9D-878F-820EB9797456","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":"Q527330$B413F480-D804-4D2B-AA06-9FE0D21A381D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fa826c08d43623e07b46d74a9c66344bab623f6","datavalue":{"value":"W2963658396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527330$04C93861-F5C7-4772-9D6D-B82EF6BF4C15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$DBA7FBD0-838B-4B06-8384-D47E65FC7995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ccce7009b41aba4770dd3595081a633d1d8b32d","datavalue":{"value":{"entity-type":"item","numeric-id":3581136,"id":"Q3581136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$8820FFBF-12FE-49C6-8968-284957FC3753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df193fd97c98f6524069e8bd18870e909d57d58","datavalue":{"value":{"entity-type":"item","numeric-id":3530397,"id":"Q3530397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$273C07FE-AF08-4C71-B39C-3DDB5387C7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6ccb1baff120c9f2a8b8cd71545ecec7b5e478","datavalue":{"value":{"entity-type":"item","numeric-id":3053900,"id":"Q3053900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$90EDC894-DD3F-486B-9596-B5507F262833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb254c51e712001857e72f1462d0483e71c605dd","datavalue":{"value":{"entity-type":"item","numeric-id":1112023,"id":"Q1112023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$8F27AF3D-E299-4732-97C7-FA5A923A450C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedadcb6b96cd2c929e3222c7cb41ead94410f62","datavalue":{"value":{"entity-type":"item","numeric-id":3686704,"id":"Q3686704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$7A8E0927-DB08-41BA-A234-4325D465266E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05904478a1925654ac4b1a3dd6b1f2d6820f9e3","datavalue":{"value":{"entity-type":"item","numeric-id":4177558,"id":"Q4177558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$AEF87A1B-A88A-4456-9363-B8BEB4C61E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4b652bf5a28a149de2b88c28a3226016cb67c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5359567,"id":"Q5359567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$C8A29919-B25B-4B8E-A979-0A46F82E47FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e921ebef9d571415a419b6f5e35c64bb8e9ff3b","datavalue":{"value":{"entity-type":"item","numeric-id":2561212,"id":"Q2561212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$D09B224E-9635-4CE3-B949-F85E3AF64DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53049bc2c5e709c5bdaebbb2dfcdc24aa07e420e","datavalue":{"value":{"entity-type":"item","numeric-id":4128785,"id":"Q4128785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$80E70CD1-E8C3-4AEA-A6A8-C7690BDE402F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dacdd571ff76edebd493c5ba1bd73cebe353da5","datavalue":{"value":{"entity-type":"item","numeric-id":1354356,"id":"Q1354356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$C27C4E5C-433B-49A4-98F4-C70F3DFCD3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c2fde54f32e200906e9ccd32ee71a1bc0cb1206","datavalue":{"value":{"entity-type":"item","numeric-id":5964936,"id":"Q5964936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$2DFDB392-0F4A-46D9-8849-51D8054FA445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb33f5f617414ea19b9ff30048b86726ad89e8a","datavalue":{"value":{"entity-type":"item","numeric-id":2795202,"id":"Q2795202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$2C980E04-893F-4762-9BE1-430FC4B34BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f809580ee869310c5c019e4f72cbcf3e0c97804","datavalue":{"value":{"entity-type":"item","numeric-id":3322084,"id":"Q3322084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$52649D68-B695-4EBF-8917-5AD0C72B87F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edcb0283eff021717f74372fe7d19b39b0dc88c","datavalue":{"value":{"entity-type":"item","numeric-id":3967520,"id":"Q3967520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527330$66A65CBD-B077-4A3C-AC98-868BF720AF07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81c1f8ae37982c5c3f9fd96188a6f50466adbb83","datavalue":{"value":"10.1007/S00153-017-0522-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527330$EB15961D-67B4-4AA7-B433-82340B5DDBE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44d0f99d45ae0f01d257a6db0063b39d56abcffc","datavalue":{"value":{"entity-type":"item","numeric-id":3322084,"id":"Q3322084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0536ef0c48331d02b3d687ad64ee1a4feee77dd5","datavalue":{"value":{"amount":"+0.7926355600357056","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":"Q527330$0947825E-34C7-4774-8286-D815537D202E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd206250ae1deceec3b5a336db4f50ddccafd23","datavalue":{"value":{"entity-type":"item","numeric-id":2219086,"id":"Q2219086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55d7ac0bed1270d178df705ccb68ec954266cf3","datavalue":{"value":{"amount":"+0.7619951367378235","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":"Q527330$4B64AF5B-6714-48B3-89C7-A206759DF2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b45abc226430d9615a8713c243ebec4a181fa8e1","datavalue":{"value":{"entity-type":"item","numeric-id":3826532,"id":"Q3826532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000f8e5ba688d512c4d7e9fb8b4d84ab5fac6827","datavalue":{"value":{"amount":"+0.758770227432251","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":"Q527330$2684B57A-8BA6-410B-99AF-F0755D05D00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e53e2021473e5d0d30e75d893879c7a4a63a687","datavalue":{"value":{"entity-type":"item","numeric-id":5094532,"id":"Q5094532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5dc56de64df73c51efaf208a183156acabd7cf","datavalue":{"value":{"amount":"+0.7465792894363403","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":"Q527330$6EE12C58-B59C-48EA-B68D-8AD743D6CAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a34894b31541ec45561e208d27d5440af04d4f","datavalue":{"value":{"entity-type":"item","numeric-id":3094361,"id":"Q3094361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"901a21df6691bc93efff8473531b8463d5e7f1b6","datavalue":{"value":{"amount":"+0.743414044380188","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":"Q527330$1B18FCD2-94CA-4C9B-9423-8DFA30B47FE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Magidor-Malitz reflection","badges":[]}}}}}