{"entities":{"Q2710608":{"pageid":2721347,"ns":120,"title":"Item:Q2710608","lastrevid":82801523,"modified":"2026-05-06T22:06:57Z","type":"item","id":"Q2710608","labels":{"en":{"language":"en","value":"\\(\\diamondsuit\\) at Mahlo cardinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1590615"}},"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":"Q2710608$1BC59CE3-AE28-4F9D-974C-B4DA8080998F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38f4820f0880f0851996920f01aa068848254693","datavalue":{"value":"0983.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710608$FB6A83DE-98CB-4181-9D0A-10DFBA7874A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"478e77208f1b14009f2fb30f4b3361f69bb268c2","datavalue":{"value":"10.2307/2695076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710608$442F47AB-2F6A-4E2A-833D-1503131087AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bd6c7aa3d12240ae470854fc557dbec3a83c21b","datavalue":{"value":{"entity-type":"item","numeric-id":219154,"id":"Q219154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710608$157C9957-B99B-4F69-9380-FD27B479D1C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdb5a504359c0d924879fd97edc82d8bdc42beac","datavalue":{"value":{"time":"+2002-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2710608$577E9026-838D-4536-A508-AE8A71A606FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710608$839A4A8E-9839-45F6-BD27-CDC01E232BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710608$117955EC-8B40-4243-9AC2-6D8D47255B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710608$72B792CC-52A4-4AF0-8011-EF8BDED7C319","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47fff9ec21afe3960a0b00ef5b3461ee7a49afdc","datavalue":{"value":"1590615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710608$076DC108-5370-48EC-961E-3D9B7614A559","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25307cf6e5796ca15d371ce3b5882cce0abca99","datavalue":{"value":"diamond principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710608$1DC5D69C-51AC-404A-957F-3101A2C17892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43c117d52851a76bd4a4cff099c1e6125ce7c14e","datavalue":{"value":"Mahlo cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710608$B0234660-EF44-47EE-849B-4852C558161B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35f5b7ce138372608f03e1c8894162363ff1bdf9","datavalue":{"value":"inner models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710608$E3807E86-3947-4179-BA15-9A83A6160745","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":"Q2710608$82D09F4D-5538-4B0A-BAB4-E9075F8A2DE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"030e7054348b25dca88a5834b29bce33cefc2c12","datavalue":{"value":"https://doi.org/10.2307/2695076","type":"string"},"datatype":"url"},"type":"statement","id":"Q2710608$573D7020-178B-4366-9606-B7CD4C287EFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58250bda2e9e0ecb252bf6292e6aa6c6f06e9aa0","datavalue":{"value":"W1543582722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710608$9146FFE9-C6BA-487A-A43E-4161443D51E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed26a04c1dc105d4c7b6e46704f21f7d11f84744","datavalue":{"value":{"entity-type":"item","numeric-id":1354352,"id":"Q1354352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710608$0E9F270B-5617-4AF9-BEDE-3264C8E38BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd56c65c18b762f2c053ed26bc633fdca4e080c","datavalue":{"value":{"entity-type":"item","numeric-id":1919551,"id":"Q1919551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710608$C87C4BBA-2FE2-41C7-8836-BEBD3D22F04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710608$015843E3-AC47-477C-89E2-A708124D645E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d78a1b07e45134ded1111b5114ab0ee3f160fc","datavalue":{"value":{"entity-type":"item","numeric-id":678765,"id":"Q678765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710608$A38786F5-FD3B-4806-8772-5DEB06F41285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b518460f3b681aae48592a1676a99a3c9bc489b4","datavalue":{"value":{"entity-type":"item","numeric-id":5961496,"id":"Q5961496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710608$3FED28BC-234D-4535-8825-69D57AF97836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48bc847435bbdc14b96d7dee8dab683db08e5eb2","datavalue":{"value":{"entity-type":"item","numeric-id":1813062,"id":"Q1813062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710608$0746CDB8-7CED-4F99-96E3-3AA6376CCC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e99291b4b99a2b9c502b2abb426045d908db94","datavalue":{"value":{"entity-type":"item","numeric-id":1964146,"id":"Q1964146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710608$A3D0CD19-3783-4D6B-A1C4-D62E7AA0521A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d28b2baea18e6ece5760cb80ce35ea8d92024","datavalue":{"value":{"entity-type":"item","numeric-id":5672886,"id":"Q5672886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710608$0171DA98-CEEF-432F-8187-B4C426B392F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"444a4a91c223b7c9af9c1388dfcb1da1e4c38771","datavalue":{"value":{"entity-type":"item","numeric-id":4441890,"id":"Q4441890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1dfb1abc1d3e2826e5c6ccb194cd8d9c8d0efb","datavalue":{"value":{"amount":"+0.74540126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710608$CE1C3EB5-7318-4B0B-95E9-07E418C1A3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee78b4a1b1d49335d767cfee9ac2dd2fe7e9ffa","datavalue":{"value":{"entity-type":"item","numeric-id":1743691,"id":"Q1743691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11cc2b686ddf4e3f71fb3974d0616f8f6172dd30","datavalue":{"value":{"amount":"+0.6995619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710608$EEC4033B-B036-4036-B1DD-8C74C92C9A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c6bc4c8c7200acb1b1fcc4fbed85c205267659","datavalue":{"value":{"entity-type":"item","numeric-id":2351918,"id":"Q2351918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2937fdcc175c82dbdc877e2652e7e9cbabc1a3fe","datavalue":{"value":{"amount":"+0.6888865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710608$EC62505C-5FF9-472D-B23F-83892552525C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4483f9f44f7ed3c41e7e1527d4d4bc1503dd6d9","datavalue":{"value":{"entity-type":"item","numeric-id":498615,"id":"Q498615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a804bdc0b3008857d8349de8834290c57d9fad","datavalue":{"value":{"amount":"+0.67258465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710608$53C6AC80-736F-4E05-90E7-AA8D76E83F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6c6b662d80d800416bb79b60352ca9dba7425d","datavalue":{"value":{"entity-type":"item","numeric-id":1712929,"id":"Q1712929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d8e0abe32c1f3accbf4616fe853fd4e81caadf","datavalue":{"value":{"amount":"+0.66564983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710608$F1A494CD-1552-4B66-90CD-6BC4A56E6D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ce0665c7ae585815343b46943ffa08a5acffe7","datavalue":{"value":{"entity-type":"item","numeric-id":2793910,"id":"Q2793910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af6774b7baa21035806f219606973a1cd4b0e9b","datavalue":{"value":{"amount":"+0.66471374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710608$E9E5D671-73B3-46D1-870E-EF4F45307515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c4a0d2ee5afab9a0cba8170485d0760bd3fa4b","datavalue":{"value":{"entity-type":"item","numeric-id":690039,"id":"Q690039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff4d4af76b74f037602bfda7cad8a3f6acb5612","datavalue":{"value":{"amount":"+0.6607418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710608$0B43CCA8-1433-40E2-8229-26DAAA76B406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d08b68bc0d98e59c69cb8006a09c8d3a47eb58d","datavalue":{"value":{"entity-type":"item","numeric-id":4531892,"id":"Q4531892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a36c87e9953d9a91268bf465f84c383632df3c7","datavalue":{"value":{"amount":"+0.6492651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710608$5303E2B9-6C3F-4F40-B00F-EB4265859350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83474f22f8c39d77cd970a19e031e0f157839fef","datavalue":{"value":{"entity-type":"item","numeric-id":3566680,"id":"Q3566680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93cfeb78d4e898bed80ef73137388f3bb7554ae0","datavalue":{"value":{"amount":"+0.6457944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710608$F89E3AD7-5CB1-4241-ABAA-15F01BE6EE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c9e494c9ef852656be4277f3fa866944146d7f0","datavalue":{"value":{"entity-type":"item","numeric-id":953283,"id":"Q953283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba00cbd1f489125521b522217909c4d80b22c6a7","datavalue":{"value":{"amount":"+0.64067763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710608$432E3CD0-7C3A-4698-A5CA-CDA85B156E9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d3d876b829aba634dafaf177f4604fd7621f3d1","datavalue":{"value":{"text":"\\(\\diamondsuit\\) at Mahlo cardinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2710608$BC4536B9-54B7-4E26-9F66-803A4E895EBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710608$D6F803B9-27CA-4749-9DA9-BDD7684DF06B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a651219a1daf33950331f0b0edbc4291ecee073c","datavalue":{"value":"Let \\(\\kappa\\) be a Mahlo cardinal. Given \\(S\\subseteq C_\\kappa\\), where \\(C_\\kappa\\) denotes the set of all infinite cardinals \\(<\\kappa\\), \\(\\diamondsuit_\\kappa(S)\\) asserts the existence of \\(s_\\mu\\subseteq \\mu\\) for \\(\\mu\\in S\\) such that the set \\(\\{\\mu\\in S: s_\\mu= A\\cap \\mu\\}\\) is stationary in \\(\\kappa\\) for every \\(A\\subseteq\\kappa\\). Kunen proved that \\(\\diamondsuit_\\kappa(\\{\\mu\\in C_\\kappa: \\mu\\) is regular\\}) holds if \\(\\kappa\\) is subtle. Extending a result of Woodin, Hauser showed that for any \\(m,n> 0\\), it is equiconsistent with the existence of a \\(\\Pi^m_n\\)-indescribable cardinal to have a \\(\\kappa\\) \\(\\Pi^m_n\\)-indescribable so that \\(\\diamondsuit_\\kappa(\\{\\mu\\in C_\\kappa:\\mu\\) is regular\\}) fails. Jensen then established that the failure of \\(\\diamondsuit_\\kappa(\\{\\mu\\in C_\\kappa: \\text{cf}(\\mu)= \\omega_1\\})\\) implies the existence of \\(0^\\#\\). Woodin finally proved the consistency of the failure of \\(\\diamondsuit_\\kappa(C_\\kappa)\\) starting from an assumption that \\(\\kappa\\) is hypermeasurable with order slightly more than \\(\\kappa^{++}\\). The author proves the following two results: (A) Suppose there is no sharp for inner models with a strong cardinal. Then for every regular cardinal \\(\\nu\\) with \\(\\omega_1< \\nu< \\kappa\\), \\(\\diamondsuit_\\kappa(\\{\\mu\\in C_\\kappa: \\text{cf}(\\mu)= \\nu\\})\\) holds in \\({\\mathbf V}\\) provided that there are only non-stationarily many \\(\\rho<\\kappa\\) with \\(\\text{o}(\\rho)\\geq \\nu\\) in \\({\\mathbf K}\\). (B) Suppose there is no inner model for \\(\\text{o}(\\tau)= \\tau^{++}\\). Then for every regular cardinal \\(\\nu\\) with \\(\\omega_1\\leq \\nu<\\kappa\\), \\(\\diamondsuit_\\kappa(\\{\\mu\\in C_\\kappa: \\text{cf}(\\mu)= \\nu\\})\\) holds in \\({\\mathbf V}\\) provided that there are only non-stationarily many ordinals \\(<\\kappa\\) of cofinality \\(\\nu\\) which become regular in \\({\\mathbf K}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710608$45010FF6-2A91-4FE7-AC67-D2393DBC5789","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3b505131a94c07467560b76707b78e01a9a72b95","datavalue":{"value":{"entity-type":"item","numeric-id":412068,"id":"Q412068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710608$72E4D10B-E3B5-4E09-B09E-CCB7555E7B55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\diamondsuit\\) at Mahlo cardinals","badges":[]}}}}}