{"entities":{"Q1428037":{"pageid":1438777,"ns":120,"title":"Item:Q1428037","lastrevid":67728138,"modified":"2026-04-12T19:31:50Z","type":"item","id":"Q1428037","labels":{"en":{"language":"en","value":"More canonical forms and dense free subsets."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2056206"}},"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":"Q1428037$CDA02B95-B0A3-4028-A5AD-3113AB1A8E13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b74c47e303fd3882a99e769f1d21c97043d4bac","datavalue":{"value":{"text":"More canonical forms and dense free subsets.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1428037$C3140C2D-600F-4CED-BBFC-24FBB2257174","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ca1f42cb554787926b083b7cf29d8028fd9327c","datavalue":{"value":"1046.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428037$107AF1AF-E194-4471-A88D-E38A9B2317A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9ed88144f8e77d3f597a755edcd2688505232bb","datavalue":{"value":{"entity-type":"item","numeric-id":175051,"id":"Q175051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428037$A9813E44-2791-4391-97F5-730D5D214743","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428037$6A8B4209-E1DB-4807-9A39-2967D5C4CFFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947fc07e6e3c9508b7adeaf87fe542c1ae2d0058","datavalue":{"value":{"time":"+2004-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1428037$C878E70B-9A8C-431F-A2E7-7584027B6098","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ab075232bd44e949d442bd4e44bf344c483d5a4","datavalue":{"value":"Answering an old question of Komj\u00e1th, and extending some deep results of Devlin, Shelah, and Koepke, the author shows that the consistency of ``ZFC+GCH+there are infinitely many compact cardinals'' implies the consistency of: ZFC+GCH+every structure on \\(\\aleph_\\omega\\) with countable signature has a free subset that contains one point in \\([\\aleph_n,\\aleph_{n+1})\\) for each \\(n\\geq 0\\).  The core of the proof is (an extension of) a theorem asserting, under the same consistency assumption, the consistency of: ZFC+GCH+for each sequence \\(\\langle f_n : n\\in\\omega\\rangle\\) with each \\(f_n\\) being \\(n\\)-ary and regressive on \\(\\aleph_\\omega\\), there exist sets \\(S_n\\subseteq[\\aleph_n,\\aleph_{n+1})\\), \\(n>0\\), such that for each \\(n>0\\), \\(| S_n| \\geq\\aleph_{n-1}\\) and \\(f_n\\) is constant on \\(\\prod_{i=1}^nS_i\\).  The methods include working with indiscernibles and carefully forcing with Levy collapses.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428037$9932F353-84A6-4CC6-82C0-8E3E9D002BA8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c0a7ccd260081a2531781e975e7663c09541175","datavalue":{"value":{"entity-type":"item","numeric-id":306052,"id":"Q306052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428037$3FCEEFB0-0E08-487C-8833-39CECF8BD6DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef68bb45cd2d5821c75b5f0eeb710e1b0eda186e","datavalue":{"value":"03E02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428037$244BC683-3DDD-4216-AE06-0FF37F27AB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428037$9C1BC1B6-2B4C-4ACE-A1B9-65BCE0F4BAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428037$837F3711-B4F8-4853-914C-CEB02D8F1D74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d57a424a0287651efe96b5966c3c5c283090e409","datavalue":{"value":"2056206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428037$0D0510A3-96EF-4B05-8D25-05B36F69941F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428037$9D736B2F-3C46-4080-BF8E-3C398094A8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428037$0CAEDB8F-5A65-466F-89C0-BBED660DB24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51df554145b60d94c69864664e49b02e152530ef","datavalue":{"value":"partitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428037$2F643CF9-CFB2-4F5D-9B97-25E9251E47A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428037$9C534872-144F-40A7-A133-3BC709759B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86891df2c64c418d041cac5b7c11ec6b3530884a","datavalue":{"value":"indiscernibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428037$7FE34CD3-0FFB-41EE-8F1B-AA65526FA342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37b82328cc82f88ba85ed83c01fd93c42ea9449c","datavalue":{"value":"Levy collapses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428037$835F792B-E1F9-43DA-89A9-6E83692A5D7D","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":"Q1428037$E4C13BFD-B465-461A-96A7-BB2533E0B3B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce733a037f4abbbd470e06807d110246a76602d5","datavalue":{"value":"https://doi.org/10.1016/j.apal.2003.10.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1428037$A42F6FAD-7514-4ECB-9898-F1C31EEE5BC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ac47e7b2e05aad753b549397c061805cbcaa88e","datavalue":{"value":"W2131193959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428037$DC6CEA90-D061-421D-9F41-DE3DE0D16049","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":"Q1428037$6821F156-7796-4E81-B0C1-3CFCC6732331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e703bce69e980fe1560eee6510aff487fcb0309e","datavalue":{"value":{"entity-type":"item","numeric-id":1062673,"id":"Q1062673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428037$DA3FB32E-D7F1-4124-A173-6092C1389837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd3980417552d239a66caf36d61cd51dc3980e3","datavalue":{"value":{"entity-type":"item","numeric-id":4379928,"id":"Q4379928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428037$1296ACE8-4C2E-4193-A9F1-AA69C2B1DFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428037$981408BB-844F-4F4F-80EF-B10712A07CEA","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":"Q1428037$54726346-EA3A-4ED9-BECA-B76C0F820AF8","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":"Q1428037$DBF9D925-964C-47A5-860E-62A0AB469E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64758efcc6e93e7c9e36b316f19eb8438afd4632","datavalue":{"value":{"entity-type":"item","numeric-id":1377636,"id":"Q1377636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428037$CEF236A6-07B3-4EFD-AC41-C56E0716C5E5","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":"Q1428037$10C939C0-4B07-4195-BAE3-2A4ED8650978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff82db89f51e5bfeab37fdb184662a32038e93","datavalue":{"value":{"entity-type":"item","numeric-id":1155611,"id":"Q1155611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428037$1EA82409-44B6-4EEA-86EF-6D52A9F34D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b123ac4de8b08476a002210fa27f0aa27086ef","datavalue":{"value":{"entity-type":"item","numeric-id":3926574,"id":"Q3926574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428037$9D23D22E-1FB1-4D2E-A254-5A3B3550DC10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7107c5b9e8ca80513ebb705b0dacdaa07758d41","datavalue":{"value":"10.1016/J.APAL.2003.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428037$1D279524-2C0C-430C-9A99-D270E2E8D379","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"759ecfd4ba1f188de4aa2ffc99338d03b34e2f00","datavalue":{"value":{"entity-type":"item","numeric-id":1114681,"id":"Q1114681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e53a456b11b0eaed956f757675a3207969eb053","datavalue":{"value":{"amount":"+0.7910130023956299","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":"Q1428037$8A7174E6-CEC0-4565-B41F-093395E5FB4E","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":"bc1d78082bdabc05c2e341504640d03b067bdf7a","datavalue":{"value":{"amount":"+0.7899339199066162","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":"Q1428037$6BE5B601-6AC5-4DE6-B493-546AB1442A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f08722c9cc479b60b7563541499664aa4f66fab","datavalue":{"value":{"entity-type":"item","numeric-id":1377636,"id":"Q1377636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ece5474ed1e738929471c3878efdd153e94732","datavalue":{"value":{"amount":"+0.747421383857727","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":"Q1428037$7048C4E6-430F-4E4A-BEE4-88E96406E58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c2a9ef65dc7ea0610a862bf1898b4b8ae6a8097","datavalue":{"value":{"entity-type":"item","numeric-id":4313887,"id":"Q4313887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eeb9dc1ec2d23b33bd91dca6903894268879708","datavalue":{"value":{"amount":"+0.7461344003677368","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":"Q1428037$515DA6D5-E10B-4973-A709-F4DD49C09395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f01c9a7c4d20e767dcf53b5997642d43b88a81a","datavalue":{"value":{"entity-type":"item","numeric-id":4283063,"id":"Q4283063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f568db52be076cace31d3c3e1495afde408b6027","datavalue":{"value":{"amount":"+0.7387057542800903","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":"Q1428037$4B1FC995-C48A-4E68-9AC9-7499923D7016","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"More canonical forms and dense free subsets.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/More_canonical_forms_and_dense_free_subsets."}}}}}