{"entities":{"Q1114681":{"pageid":1125430,"ns":120,"title":"Item:Q1114681","lastrevid":42888627,"modified":"2025-07-15T18:12:28Z","type":"item","id":"Q1114681","labels":{"en":{"language":"en","value":"On the free subset property at singular cardinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4083615"}},"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":"Q1114681$40A96AB7-1C1F-4E13-9822-9A741F9C7127","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e064b03d85dca9a87b0df7d55f204e07f46de060","datavalue":{"value":{"text":"On the free subset property at singular cardinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1114681$CF640FAD-7931-4DC1-A095-8FB5E8922781","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"386b107c93694db942caf9c43bbe50a16de798cb","datavalue":{"value":"0663.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114681$E36A08D1-6459-4F8F-BE5F-BDEF0AA9B33F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c80ab2fc24918a43ff44687ce2532ab9e37eed23","datavalue":{"value":"10.1007/BF01624082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114681$7AAFF57A-2C02-4D97-93EC-D7F192EE319C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d0b9b61d83d1e98f6242a5df0440e02577e539","datavalue":{"value":{"entity-type":"item","numeric-id":375822,"id":"Q375822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114681$55A734DA-374A-485A-A0F5-8839423EFD0B","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":"Q1114681$09E48266-9763-49AD-A4A2-797E133F4BD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1114681$F76BEA66-FE2C-43DD-9A5D-1E12C91D3B63","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"409c05d3262674e66020aa128411c0da3f35756e","datavalue":{"value":"Let S be a first-order structure; for \\(X\\subseteq S\\) let S[X] be the substructure of S generated from X. Call a subset X of S free if for all \\(x\\in X\\), \\(x\\not\\in S[X\\setminus \\{x\\}]\\). Let \\(Fr_{\\mu}(\\kappa,\\lambda)\\) denote the statement that every structure of size \\(\\geq \\kappa\\) and with at most \\(\\mu\\) constants, functions and relations has a free subset of size at least \\(\\lambda\\). It is known that if \\(\\kappa\\) is the minimal cardinal such that \\(Fr_{\\omega}(\\kappa,\\omega_ 1)\\) holds then \\(\\kappa \\geq \\omega_{\\omega_ 1}\\), and \\(\\kappa\\) is regular or of cofinality \\(\\omega_ 1\\). The author shows that if this minimal \\(\\kappa\\) is singular then there is an inner model with \\(\\omega_ 1\\) measurable cardinals.    The paper contains a full proof that an inner model with at least one measurable cardinal exists under the above assumption, preceded by a good sketch. Basically the author shows that the statements ``no inner model with a measurable'' and ``the structure \\((H_{\\kappa^+})^ K\\) has an uncountable free subset'' are incompatible; here K is the core model.    The proof of the main result is oulined; it relies on the theory of short core models, as presented by \\textit{P. Koepke} [Ann. Pure Appl. Logic 37, 179-204 (1988; Zbl 0638.03049)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114681$63F055FF-07B6-4997-B6B9-52AA00AF3B46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114681$6B5BA017-7C8D-4386-B1FB-32092ABC1EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114681$EF66C0DF-8533-47D3-981A-0C3722744D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114681$7B5831F9-98BB-4848-8B18-01FA0673242C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff1830807c6fd900889c85df3c7631951f77762d","datavalue":{"value":"4083615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114681$009F44A4-31DE-4861-8455-63071E502357","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"776e54b3306567b2c809e9f438b9fa2f9afbedd8","datavalue":{"value":"free subset problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114681$A0ABDDD5-6EBA-465F-9192-16A30BD9704E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1968dcf3cd7ce02d9451d5c51600f569b2486e0a","datavalue":{"value":"core model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114681$C06FF1C4-697C-4C63-B011-DDC0897F8B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53ace298fbc2a675299a1bf7cd9b781ea633c88","datavalue":{"value":"measurable cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114681$1B8544E6-6C4A-480E-B908-3F03C63E5301","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf76eb1ad6b6800930767644a3f137783ccd42eb","datavalue":{"value":{"entity-type":"item","numeric-id":330038,"id":"Q330038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114681$B72AEFCD-C852-49ED-9264-6FD3662D0316","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":"Q1114681$B45FA35E-9D1F-42C4-AA16-57C6B06F155D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c59858c8d13ec1527a5b5a3654b03707060d50","datavalue":{"value":{"entity-type":"item","numeric-id":4404892,"id":"Q4404892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114681$48C5198D-D991-4556-A0CC-7974E2588296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e31b7b9950a5b59dda3a983338dce2c3bf88bd1","datavalue":{"value":{"entity-type":"item","numeric-id":4404893,"id":"Q4404893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114681$D4ADADC5-50A9-4482-AD09-F19D19F77AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3909d29af462bcfbbc0d84187db113b84f716fa0","datavalue":{"value":{"entity-type":"item","numeric-id":3720592,"id":"Q3720592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114681$F350EED1-2DCF-4B71-AB1E-2E3DAE8D67B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf5f7c049dadb8a1780dcc1790c3eb2ef5c6891","datavalue":{"value":{"entity-type":"item","numeric-id":1099171,"id":"Q1099171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114681$4F7F4980-FE08-41D7-B04F-F92331FEE491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d1461a1d4a3e1e68b264df6ee162c20bb46989","datavalue":{"value":{"entity-type":"item","numeric-id":3900051,"id":"Q3900051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114681$D6172876-5BB5-425F-8297-E0B92321A78C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de622c79e5c8cc85a73929ecb9be4940dd531d4","datavalue":{"value":{"entity-type":"item","numeric-id":1099171,"id":"Q1099171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6255350820f3cbf9b7f0055002aa6809d9be071b","datavalue":{"value":{"amount":"+0.820179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114681$DD4F569A-4C54-483B-B493-C25761DC40CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4a7365a944a48c0fbd10ab9ca6bf26d73111bf","datavalue":{"value":{"entity-type":"item","numeric-id":3720592,"id":"Q3720592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f353637b5c7e1302a8fe10fd1e5287f419611d0f","datavalue":{"value":{"amount":"+0.763055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114681$38EAEA2F-27B2-4ADF-8A0F-8294E1B7BB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c02210d2ccf298b865a3d627b7eb088b2cfd155","datavalue":{"value":{"entity-type":"item","numeric-id":3053904,"id":"Q3053904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019091a6ab14d21ed469b373cb3cc0d2d13c0831","datavalue":{"value":{"amount":"+0.7333104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114681$891E5E3E-1ECE-4749-A1C9-AE8117F20191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0097481cb2beb193beda00b1c408827828aff7","datavalue":{"value":{"entity-type":"item","numeric-id":1877090,"id":"Q1877090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf561cd7867e9cdffc7ce0cc9960dfe6732abce3","datavalue":{"value":{"amount":"+0.73313457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114681$EA680651-8A94-4BEA-B468-C9693729FBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68999ae3fd6499733e991404ec6b0f785658f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5950797,"id":"Q5950797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6118d9d4919c42bbee64a7eb6650c74428db49e6","datavalue":{"value":{"amount":"+0.73030746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114681$5D5FA931-B878-4257-B3B3-B9591FA9CB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3116bd21a512253749d5170934603edbb90d577","datavalue":{"value":{"entity-type":"item","numeric-id":2726207,"id":"Q2726207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b5b94d2bf7736ba0afa3a24ff57469710493e97","datavalue":{"value":{"amount":"+0.72689086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114681$C590A8A3-9414-49FE-B22E-84D9F99D4772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df3b4701fa923f56e21b7fc124ef0a97ba4e114","datavalue":{"value":{"entity-type":"item","numeric-id":4934561,"id":"Q4934561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c795541c6f08c8afb7416f983b4f3f1bb77d28","datavalue":{"value":{"amount":"+0.72287333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114681$0C5C5BA3-296B-488C-9210-7B8716E277E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3eaf607b48b309d4d771e6067575628a2ea6f0e","datavalue":{"value":{"entity-type":"item","numeric-id":3318772,"id":"Q3318772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b2ed97f9545aeb3288e6eac949ab0b5c1ac65b","datavalue":{"value":{"amount":"+0.7189245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114681$3CE0DB3D-8C71-4315-AB6B-0D2329BE61E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc883283a54367c5c569da2a0def61f78b13f1b","datavalue":{"value":{"entity-type":"item","numeric-id":5082056,"id":"Q5082056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0668c12a628637f0f6be367a35f8cf531713b2a0","datavalue":{"value":{"amount":"+0.71016425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114681$15A3C276-0FC8-42DE-AA6B-34DDA682EBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a500bf9ef77bb84176d5d3f9d41df745faa45b","datavalue":{"value":{"entity-type":"item","numeric-id":5690487,"id":"Q5690487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c721cd14cc734d943183a1676ced12c9c1f45d","datavalue":{"value":{"amount":"+0.7100514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114681$4277EC0C-CFDD-4287-AEAB-AFBAAEC7146B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1114681","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1114681"}}}}}