{"entities":{"Q802542":{"pageid":804390,"ns":120,"title":"Item:Q802542","lastrevid":48787579,"modified":"2026-01-05T20:54:49Z","type":"item","id":"Q802542","labels":{"en":{"language":"en","value":"A pair of nonisomorphic \\(\\equiv _{\\infty \\lambda}\\) models of power \\(\\lambda\\) for \\(\\lambda\\) singular with \\(\\lambda ^{\\omega}=\\lambda\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3891339"}},"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":"Q802542$1D1116D9-2018-4C1D-847B-4FE855D56530","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8780329ae520a7eb88c91adae8540c460b5bef91","datavalue":{"value":{"text":"A pair of nonisomorphic \\(\\equiv _{\\infty \\lambda}\\) models of power \\(\\lambda\\) for \\(\\lambda\\) singular with \\(\\lambda ^{\\omega}=\\lambda\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q802542$213060BB-63AF-4FC8-8277-44AB39AC460C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80b5ac78c14627261464afe6cc7f5077adcfb035","datavalue":{"value":"0559.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802542$37B048B9-4360-47EC-AA58-0CD993828571","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802542$F871FD5D-E63B-41FD-B162-A6CE2EFCDB4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802542$3C3E642E-239C-4C77-96D7-8686FB329A4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q802542$B8714289-CFD2-4C05-B749-0F2DC3F88303","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"073e3e430ff34d2aaac9ec72b2b327ffb9df2ce2","datavalue":{"value":"In this paper, Shelah produces a pair of nonisomorphic \\(\\equiv_{\\infty \\lambda}\\) models of power \\(\\lambda\\) when \\(\\lambda\\) is singular and \\(\\lambda^{\\omega}=\\lambda\\). If GCH holds, cf \\(\\lambda\\) \\(>\\omega\\) and \\(\\lambda >\\omega\\) imply \\(\\lambda^{\\omega}=\\lambda\\). On the other hand, if cf \\(\\lambda\\) \\(=\\omega\\), \\(M\\equiv_{\\infty \\lambda}N\\) and \\(\\| M\\| =\\| N\\| =\\lambda\\) imply \\(M\\cong N\\) by a result of Chang. So, under GCH, the present paper gives a full answer to the connection between \\(\\equiv_{\\infty \\lambda}\\) and \\(\\cong\\). The structures considered in this paper are trees with branches of length \\(\\leq \\omega +1\\). The paper is made up in two stages: first, the theorem is proved under the assumption that \\(\\lambda\\) is a strong limit; then the construction is elaborated to give the full result. In the author's forthcoming paper ''On the possible number no(M). II'' there is going to appear a similar result for more \\(\\lambda\\) 's of cofinality \\(>\\omega\\) with a different construction of structures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q802542$B622E895-09F2-44B3-8A26-FC231D033DDA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"273ff2281deaea782312583469770a322c2c906f","datavalue":{"value":{"entity-type":"item","numeric-id":593641,"id":"Q593641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802542$48656965-306E-46EC-9C0E-2FE13E1154D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802542$0BBBBD4B-4030-45BA-A95D-9717178D7F23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a29f81a9365838967ee604d9015e663294b420e","datavalue":{"value":"3891339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802542$93CAC640-125A-45CF-9437-FEF11A4084B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce95b28a95528077a174c75b643a8f80cd4fab5e","datavalue":{"value":"infinitary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q802542$BC411409-B5EE-4CCA-BC6B-59E3B8CDE338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea24c9b385986290740bd2bb5b1ff2d39333cfbd","datavalue":{"value":"elementary equivalence trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q802542$F3B698EE-78C2-41B8-9058-CEB85AFE85BD","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":"Q802542$F2231CCC-7C05-4573-A6D0-DD33511D178D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f9b3ee55f2c682337ac8097c488e0b0f5c04555","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870570","type":"string"},"datatype":"url"},"type":"statement","id":"Q802542$298D59AA-39CA-4CA6-A911-0FB62291234B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eea204c4a3413a4f79d60ba5a445c9b271b3c875","datavalue":{"value":"W2093594893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802542$22F735F8-EE59-4E7E-A0E0-12E596E20F3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7792801555034303a3242c0e8671dea21e9640b","datavalue":{"value":"10.1305/NDJFL/1093870570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802542$A5F3E6FF-A2EC-4593-83ED-6E5514E317CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17bce1851f5456de5dae61fc4a16d84b80d79a7b","datavalue":{"value":{"entity-type":"item","numeric-id":1059627,"id":"Q1059627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc4855822632ba82eaf060c4004f0ddf5786547","datavalue":{"value":{"amount":"+0.8649563789367676","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":"Q802542$69DC4DFC-E747-4C29-B7B4-76A78E2C57DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40025206f970c856b170a993891005e3ff8b6ffc","datavalue":{"value":{"entity-type":"item","numeric-id":1092040,"id":"Q1092040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b1223abe5b5e9d3383b063fb8bcfd08b4b4f0f","datavalue":{"value":{"amount":"+0.7876459360122681","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":"Q802542$115844F3-6DE0-468A-9BE5-545BD162D7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee19d07981dde8a666ea4bfb15ceb27a7fdba5ab","datavalue":{"value":{"entity-type":"item","numeric-id":1176196,"id":"Q1176196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c073fdaa15673da0c3acc87b29be84e458630c1","datavalue":{"value":{"amount":"+0.7751675248146057","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":"Q802542$6DCBAF28-2958-45D5-9D1F-EADED40138D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e14e18df8676f0111dfbf5efecf7eb307854904","datavalue":{"value":{"entity-type":"item","numeric-id":3767331,"id":"Q3767331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f77ca46473080cf0849a3ed262d175ba6d6914f","datavalue":{"value":{"amount":"+0.771518349647522","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":"Q802542$0FCB55EA-E715-4022-A1AF-E8D272A84B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9ed11312a5cfbf1f02888c360ed1ecae2404ca7","datavalue":{"value":{"entity-type":"item","numeric-id":3794160,"id":"Q3794160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4102d7f6f4f4a2ad8b53219d03eab6f8ac4dd436","datavalue":{"value":{"amount":"+0.7701595425605774","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":"Q802542$544A532F-7ADB-45E5-B370-460CEA495039","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:802542","badges":[]}}}}}