{"entities":{"Q2309501":{"pageid":2320244,"ns":120,"title":"Item:Q2309501","lastrevid":43855224,"modified":"2025-11-15T13:57:57Z","type":"item","id":"Q2309501","labels":{"en":{"language":"en","value":"Square below a non-weakly compact cardinal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7184239"}},"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":"Q2309501$245903B4-BCDA-47FF-934F-B2CD97FA85DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d0f2125e69c351502fa488b9c8dbc9b25d0f3fa","datavalue":{"value":{"text":"Square below a non-weakly compact cardinal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2309501$0C46C276-2CD2-4F18-ABD8-BE0ED7135054","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d31a321dde61a6f6bce3d378362088deeddbe6b","datavalue":{"value":"1452.03105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309501$76FE4251-B0D0-4D56-812E-8C7F0CBC4B2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"091d06aa5d59fbdb5603f5bde3529d08a52ac937","datavalue":{"value":{"entity-type":"item","numeric-id":2309500,"id":"Q2309500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309501$38987F1B-D57A-41C3-A5D5-CAA6DD6AA037","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":"Q2309501$79FF665E-3447-4B87-80EF-ACB37431B482","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae93340bb7a022b561aa0e536e029632aaf17ce","datavalue":{"value":{"time":"+2020-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2309501$02937492-6110-482E-936B-458D38022212","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"27713c2d0e6798c1ff07141f3bc4d3208c325c88","datavalue":{"value":"Jensen proved that in \\(L\\) a regular cardinal being stationary reflecting is equivalent to its being weakly compact. For this, he worked with \\(\\square\\)-sequences (square sequences) and used the fine structure of \\(L\\), a  very powerful but difficult tool of inner model theory.  In this paper, the author gives a new proof that is straight-forward. He uses the hyperfinite structure, introduced by Friedman and Koepke. This is a very natural and simpler alternative to fine structure theory. The proof is given by manipulations of square sequences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309501$FE71A817-9D55-4F8B-9EC0-1ABA481EB109","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309501$4D0F982E-CBE1-4BDD-B61F-F1F285DEE7DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309501$3EAA4954-0DB7-4B3B-B93E-D63C1E518FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309501$C223DD1C-811A-439D-B76B-D94FD3AD7044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309501$FBEF7C3E-0DE8-421D-B104-1D4FCAD8B7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309501$D0A964BF-D550-41C3-BD87-7F2A1E9A5DC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1a4c6cca4a4765e87718260c180d7cac3809ae2","datavalue":{"value":"7184239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309501$C6947CBE-C6D0-4461-B10E-330BE134EF87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5258da2e4034c5587b95afa15aaf93d8227c176d","datavalue":{"value":"square sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309501$2299FF3C-6A41-4108-B186-095F9F6328A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d447f5cb92768365702c0b89d3647f6f23b5d35e","datavalue":{"value":"constructible universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309501$4C2093D4-8F0D-4D04-A7A3-FCF69201D016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66cabac1d9c0f192ae0509f1bcd62615b02663d7","datavalue":{"value":"fine structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309501$59D6BB6C-D289-4E6E-A21C-D268761F9E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cc2172fa81cf957340bca43394bf56e429899f8","datavalue":{"value":"hyperfinite structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309501$1EA996C8-0969-4C21-84DB-A87E9BD041B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f9ad3855a0c376218c82ab30ca8c4591f9d0721","datavalue":{"value":"stationary reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309501$B274CA9B-CEA9-44A7-9C50-321C32726FC7","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":"Q2309501$2532AF7C-1CC4-487F-A524-DBF4A308484A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a6780c762a02d22d9f65887dff4f846a33b6dba","datavalue":{"value":"https://doi.org/10.1007/s00153-019-00695-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2309501$75FC77F2-0F62-4CAB-A505-D3CF7DB9DB16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"989269c44b54e113adf46ed796d989848a01d7b8","datavalue":{"value":"W2982159018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309501$5F06E40F-14EA-4901-82FE-FB4AF7E49021","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a7b200283dd2fe88810d684d8230f891ebde5fc","datavalue":{"value":{"entity-type":"item","numeric-id":4382501,"id":"Q4382501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309501$1947065F-C5FD-4AE5-8A66-4881355B97BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba2911aad57bf3f4c59884faf87bffad175fdfe","datavalue":{"value":{"entity-type":"item","numeric-id":5480620,"id":"Q5480620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309501$AEAAD8F1-A96E-4C5A-A994-6615DDC12234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e499f22da6e55e4ce8108bd688d9194e7c99abb","datavalue":{"value":{"entity-type":"item","numeric-id":3905271,"id":"Q3905271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309501$7F17F145-3C3E-4815-9EA3-6C2E662E715E","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":"Q2309501$EBFA14DD-F694-4D1F-9563-5BAD284EFF6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8356814775229b85a49b3f741546841b66afac08","datavalue":{"value":"10.1007/S00153-019-00695-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309501$8BF08869-73E8-4FDE-BA8D-DD00BF5F2CDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d00bfd7d9c57efa04053b07ba2f1ab43eacc50b","datavalue":{"value":{"entity-type":"item","numeric-id":5162562,"id":"Q5162562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a80e3a60f5ebe2e72ea51713fa48366d529cbab","datavalue":{"value":{"amount":"+0.8713234","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":"Q2309501$1877E997-D4A7-4F34-9655-02EF52882C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467fdd067c78d2526bf71d6e7ea5f0c30f64a2e1","datavalue":{"value":{"entity-type":"item","numeric-id":375792,"id":"Q375792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a087bf245e83ac9864ca2d15434d137f1e447bdc","datavalue":{"value":{"amount":"+0.85573447","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":"Q2309501$DE83B18C-5686-444C-BCCE-CCF33B904259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7b1ac5f6a43b3095ff871568bf8b1d747c78d5","datavalue":{"value":{"entity-type":"item","numeric-id":2032989,"id":"Q2032989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8170f99fca4e71c4e9caf6e81b9f2bbd887c0c","datavalue":{"value":{"amount":"+0.85328954","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":"Q2309501$B85DC1A7-457F-4164-B4DF-D675A3688598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c7aa21cbdc4563f469d6e4d84bf659559a69af","datavalue":{"value":{"entity-type":"item","numeric-id":5226509,"id":"Q5226509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35bc124ddbadf7258e217c87b867fedbea2b645","datavalue":{"value":{"amount":"+0.84846956","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":"Q2309501$46B1F714-3FDA-49BD-9A7A-92912239E9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11081a61533b7dc2b77baf0ca500855168ff9ce","datavalue":{"value":{"entity-type":"item","numeric-id":5502818,"id":"Q5502818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7548a24f250cb5b00937c4b816d833208a2a47d9","datavalue":{"value":{"amount":"+0.84729356","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":"Q2309501$01514E75-9DB4-43BC-ADF2-9F049E0E85D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe043a51da12a3b43b99cfb61d0e1a5550cf5a5","datavalue":{"value":{"entity-type":"item","numeric-id":4530152,"id":"Q4530152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256905d2e898b6448eef693c913f086eb46f5a02","datavalue":{"value":{"amount":"+0.8460691","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":"Q2309501$8162FE2B-9A93-4840-81F8-124A0075D422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bad5791103fdfe324825ea53edf2a2d8605836cd","datavalue":{"value":{"entity-type":"item","numeric-id":5086959,"id":"Q5086959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ecf8be7f6241b26fb575a3879b69c8fe3eebff5","datavalue":{"value":{"amount":"+0.84553903","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":"Q2309501$CF003807-E05F-4306-9DF7-A5348A632A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce869174a391460d11420370aaf1e47f368d953b","datavalue":{"value":{"entity-type":"item","numeric-id":5354490,"id":"Q5354490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd2a6ba5b435bf71013660643d525af6b42d7f9","datavalue":{"value":{"amount":"+0.8414087","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":"Q2309501$9E90A8B2-7A9D-4493-A60C-97F257EDF91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5ae3bf878b008f03488caf6d19f9ab1ceddb8e","datavalue":{"value":{"entity-type":"item","numeric-id":4254624,"id":"Q4254624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d9c6874de6e7a8964688e78346b5fcdd25d27a","datavalue":{"value":{"amount":"+0.8352816","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":"Q2309501$10F8A840-A282-4629-A756-5E509D18DF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ef6b2b3360fec46d8421b08fb9d8ebc5f33c1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3004642,"id":"Q3004642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50d2c8e617cbc5f5f80efff01a5934d367bcc015","datavalue":{"value":{"amount":"+0.8317129","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":"Q2309501$51A1E350-C5F7-4363-8903-0792CEBDD9A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2309501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2309501"}}}}}