{"entities":{"Q684222":{"pageid":686071,"ns":120,"title":"Item:Q684222","lastrevid":63447636,"modified":"2026-04-11T13:14:26Z","type":"item","id":"Q684222","labels":{"en":{"language":"en","value":"On a question of Silver about gap-two cardinal transfer principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6836948"}},"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":"Q684222$339403DB-FC93-41B2-845A-AC4B8C4A503A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00d4dcf6c21fa883bfce44280d569b4b1b72a917","datavalue":{"value":{"text":"On a question of Silver about gap-two cardinal transfer principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q684222$0FE19E09-9A1C-4075-B558-2F00841BB094","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75e448b758cce69deff6c3aa5063fd6f27bdfdf5","datavalue":{"value":"1405.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684222$04A8A7FB-98D4-4F12-8B61-073A704C1572","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f2b2115389686798f935530714325ea58941b30","datavalue":{"value":{"entity-type":"item","numeric-id":453188,"id":"Q453188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684222$A406A732-3A59-4A6A-ABC4-570E60B40DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb73b782825a2302581b20e6aa4a91320f2fc0e","datavalue":{"value":{"entity-type":"item","numeric-id":647329,"id":"Q647329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684222$38C301B3-412A-4F5B-82DF-B0F68A37A849","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":"Q684222$6EA9889B-DF0C-4569-8FC4-1373DDAFF54D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"696972687f2f7c2b21703a3524899b0c6104fe99","datavalue":{"value":{"time":"+2018-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q684222$EFDB56DE-BD60-4476-BAB2-00BDC2411A7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66d457899968a0c56837894bf98c66a79a40226c","datavalue":{"value":"https://arxiv.org/abs/1701.00653","type":"string"},"datatype":"url"},"type":"statement","id":"Q684222$914AD400-BBA5-4047-ADD3-0E66ED49CD82","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9441ad956bdeed3f8d9a5057bf4009f9f524a15c","datavalue":{"value":"The authors answer a question of Silver about particular gap-2-cardinal transfer principles.  First some notation: Let \\(\\mathcal L\\) be a first-order language, containing a unary predicate \\(U\\). \\(\\mathcal M=(M, U^{\\mathcal M}, \\ldots)\\) is a \\((\\kappa, \\lambda)\\) model for \\(\\mathcal L\\), if \\(|M|=\\kappa\\) and \\(|U^{\\mathcal M}|=\\lambda\\).  The transfer principle \\((\\kappa, \\lambda)\\rightarrow (\\kappa^{\\prime}, \\lambda^{\\prime})\\) holds if whenever a first-order \\(\\mathcal L\\)-theory \\(T\\) has a \\((\\kappa, \\lambda)\\) model it also has a \\((\\kappa^{\\prime}, \\lambda^{\\prime})\\) model. For \\(n\\geq1\\), the \\textit{gap-n-cardinal principle} is the assertion that \\((\\kappa^{+n}, \\kappa)\\rightarrow (\\lambda^{+n}, \\lambda)\\) for every \\(\\kappa\\) and \\(\\lambda\\).  \\textit{J. Silver} [in: Axiomatic Set Theory, Proc. Sympos. Pure Math. 13, Part I, 383--390 (1971; Zbl 0255.02068)] asked the following question: Is it consistent with GCH that both transfer principles \\((\\aleph_3, \\aleph_1)\\rightarrow (\\aleph_2, \\aleph_0)\\) and \\((\\aleph_2, \\aleph_0)\\rightarrow (\\aleph_3, \\aleph_1)\\) fail simultaneously?  The authors quickly show, assuming an inaccessible cardinal, that in the absence of GCH such simultaneous failure is possible. However in regard to the original question, the authors, assuming the existence of a Mahlo cardinal, describe a generic extension of G\u00f6del's constructible universe \\(L\\) where GCH holds and the cardinal principles designated by Silver fail simultaneously.  The authors then prove a model-theoretic result that allows them to extend their answer to Silver's question to higher gaps. The resulting generic extension of \\(L\\) satisfies GCH and for all \\(n\\geq2\\), \\((\\aleph_n, \\aleph_0)\\rightarrow (\\aleph_{n+1} \\aleph_1)\\) and \\((\\aleph_{n+1}, \\aleph_1)\\rightarrow (\\aleph_n, \\aleph_0)\\) fail simultaneously  In the paper's final section, the authors state two open questions about gap principles.","type":"string"},"datatype":"string"},"type":"statement","id":"Q684222$4FE714F3-8B79-4AE5-B41E-3717960888CD","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":"Q684222$1DDCC65C-E21C-4159-83D0-406886B2FB93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684222$4F5B371E-8A6C-4FB3-B2ED-DD103F169170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684222$B39D8CB0-FC4E-4517-9A10-EBD8DF002BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684222$29F54958-CAFA-4064-84B4-CCA80A97D0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684222$F0E87A28-A53F-4B1C-9D41-953A5BC1960A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684222$0AC4A9F9-031C-48F5-BD28-DB28C7B4BE3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ee1d8e11a82aba42312e5d5dcaf0ccdd176b19d","datavalue":{"value":"6836948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684222$E2EC0A77-7010-4F49-9FAD-89A501DBF61C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e69670202a2335de14db179a985fcf3d3544bfdb","datavalue":{"value":"cardinal transfer principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q684222$4275D451-F42F-46E1-8D1C-BE96FAEAF13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43c117d52851a76bd4a4cff099c1e6125ce7c14e","datavalue":{"value":"Mahlo cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q684222$6F97784F-39C7-40A0-853A-5F07E960D313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q684222$CC14E912-50F7-4BB5-8880-A5E553825235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16dcfd0a51e23ac6b164e74260cdd8fd3fa90372","datavalue":{"value":"G\u00f6del's constructible universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q684222$8B310DA6-3465-4C20-8924-9AC147F07FFC","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":"Q684222$63422C5B-F8AA-4277-ADBF-A372B1A1A24E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0659ab8ac40ac3416fe957efb034c1fec9d5e4b0","datavalue":{"value":"W2585291728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684222$F68A3C17-40C1-45BC-9AAF-099D2B2A8F67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e2a34a169a18a973ca7f46981627588ae7faa1","datavalue":{"value":{"entity-type":"item","numeric-id":5509679,"id":"Q5509679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684222$E24976B6-828B-4DF4-AC5F-ECF3E32F6A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27aadaedced7c7d0a32e641f99bf0398e1b5db33","datavalue":{"value":{"entity-type":"item","numeric-id":1219884,"id":"Q1219884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684222$04C42C7A-D505-4959-B551-7D8BBBA31BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"763d15271f30cf13086677b195190b2564d43814","datavalue":{"value":{"entity-type":"item","numeric-id":4074904,"id":"Q4074904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684222$D7EB5327-9631-46EC-9AAE-B2385DF38F4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59958c2993f4bce369a5ff706a9c708567d3fb7e","datavalue":{"value":"10.1007/S00153-017-0586-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684222$94569E81-559C-404F-A55A-2684B4503CE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c2338ecd32a1d97063c426a2a8f4bb5570d665a","datavalue":{"value":{"entity-type":"item","numeric-id":5485486,"id":"Q5485486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e054a90825dd90f215c1452a7815e01c2e2d6670","datavalue":{"value":{"amount":"+0.8204621076583862","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":"Q684222$EF77A18E-425F-4143-9D12-19660D4D5DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4ee2237ff4676b0022a032f7deec320bbf181c","datavalue":{"value":{"entity-type":"item","numeric-id":1823234,"id":"Q1823234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aeb881c2d0b312e5535be7fed5a705afb766293","datavalue":{"value":{"amount":"+0.7920857667922974","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":"Q684222$1870C263-9BF1-4AAB-B5C6-D7340D68AD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d28e4fcf82bdc2e56cd44a33b6ca6c2e77d72ce","datavalue":{"value":{"entity-type":"item","numeric-id":932574,"id":"Q932574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1654d9a8fb952a3171f5ab82e6241d6f3c99e97","datavalue":{"value":{"amount":"+0.7874707579612732","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":"Q684222$346BDFA6-3958-44EC-B184-5199DD156699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3fa96245df3c142a61e594a29e7cbef8fd9e28","datavalue":{"value":{"entity-type":"item","numeric-id":5109228,"id":"Q5109228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed212ae748d27c3eaea1c1c3c933c1aeabeef184","datavalue":{"value":{"amount":"+0.7726532816886902","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":"Q684222$EABDFA2E-AD52-4CE3-BC60-A9E5CA361D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"155ddd6455e45c869ab608271c3b1d0131134741","datavalue":{"value":{"entity-type":"item","numeric-id":4931090,"id":"Q4931090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c418c8d44410d92abd434e89303c2a5359b6bf2","datavalue":{"value":{"amount":"+0.7352117896080017","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":"Q684222$E29E5F94-0D29-43FD-941C-22E2532CFC36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a question of Silver about gap-two cardinal transfer principles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_question_of_Silver_about_gap-two_cardinal_transfer_principles"}}}}}