{"entities":{"Q1092040":{"pageid":1102792,"ns":120,"title":"Item:Q1092040","lastrevid":49082980,"modified":"2026-01-06T13:57:07Z","type":"item","id":"Q1092040","labels":{"en":{"language":"en","value":"Existence of many \\(L_{\\infty,\\lambda}\\)-equivalent, non-isomorphic models of T of power \\(\\lambda\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4012590"}},"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":"Q1092040$5A5D6765-2BEA-491B-B7BD-2502EF3F1BDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f28ad1ca70b5e17490caa7d8eebdb0d6f4dad0d0","datavalue":{"value":{"text":"Existence of many \\(L_{\\infty,\\lambda}\\)-equivalent, non-isomorphic models of T of power \\(\\lambda\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1092040$391C98F1-8DA4-49AF-99C2-7BD0F52DD817","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af03f3137861ccd1ceb95a4d26a4f76c05a332db","datavalue":{"value":"0624.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092040$6B5BF5DE-CBDD-4C0A-9C69-D37E15C4C223","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75adcad6e339db105dac77e64420c9c273603af8","datavalue":{"value":"10.1016/0168-0072(87)90005-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092040$E66290DD-D0C8-4F29-9D41-A02B97330AFE","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":"Q1092040$3E599A93-4FFC-4651-887E-708425B9686F","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":"Q1092040$F5B0A092-285E-4857-B591-70D769AFB616","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1092040$EDDF5DD1-B7E9-423F-AEA0-87842F83A20A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a99cf39d4a8cfc0272c96a6bd33b52e830d5ece","datavalue":{"value":"Let L, \\(L_ 1\\) be languages, \\(L\\subseteq L_ 1\\), T, \\(T_ 1\\) be first order theories in L, \\(L_ 1\\) respectively, \\(T\\subseteq T_ 1\\), T is complete in L and (a) T is not superstable or (b) \\(T=T_ 1\\), T has the dop or (c) \\(T=T_ 1\\), T is countable and T has the otop. For \\(\\lambda >| T_ 1|\\) a regular cardinal or a strong limit cardinal of uncountable cofinality, the author constructs \\(2^{\\lambda}\\) non- isomorphic, pairwise \\(L_{\\infty,\\lambda}\\)-equivalent models of T of power \\(\\lambda\\) which are reducts of models of \\(T_ 1\\). The theorem is obtained by using generalized EM-models, and the proof applies even to appropriate non-elementary classes, too. For countable \\(T_ 1=T\\) it is the best possible result: for countable superstable T without dop or otop and \\(\\lambda >2^{\\omega}\\), any two \\(L_{\\infty,\\lambda}\\)-equivalent models of T of power \\(\\lambda\\) are isomorphic. A corollary is that there are \\(2^{\\lambda}\\) \\(L_{\\infty,\\lambda}\\)-equivalent non-isomorphic separable abelian p-groups of power \\(\\lambda\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092040$08A82D4B-B34B-4A05-8693-A9B00A1E28CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092040$BBDF4C1B-2B6E-4302-A385-628C45A8A817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092040$73CEE784-5E7A-4E3E-994F-591FB98A3842","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c45f66e43a6d77f03eba3f872b9f3572015e58e","datavalue":{"value":"4012590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092040$FA628553-BB01-4B2E-89E4-8A077BE4F6D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0691b52ae80bc89859fce1564499fde4c68c93ee","datavalue":{"value":"infinitary language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092040$B4B01541-5D45-481D-AE71-D39E28BB986D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f352f2369a52958b19c72b85640cadea70ea031","datavalue":{"value":"superstable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092040$358B4EA3-B383-4257-A52A-A5149AD5EC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7b3cdee48adfca6d754b373ae87a30df0513ed","datavalue":{"value":"dop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092040$0C29287D-E521-4512-AC99-468AF56703D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cab69948b4d081a5fee1753ce55223cd009fac00","datavalue":{"value":"otop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092040$62AE00E5-79F6-4333-8C4E-BC87412AA550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd24f9059e26153627890fa22225c4de2d4a295a","datavalue":{"value":"generalized EM- models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092040$E9BBD2CC-1D05-46A1-A1C0-AECC1A463D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa853aca644262545b93bfb6fc6bab08b303b373","datavalue":{"value":"abelian p-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092040$A9E5BC9C-EAF2-4BBF-BFFE-53BC98F15864","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":"Q1092040$B85D3A7E-648E-44FA-95CF-25C574B0FBB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cac994de880a7f1412e38b64581bbec1e19e797f","datavalue":{"value":"https://doi.org/10.1016/0168-0072(87)90005-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1092040$25C5B4CE-D865-43E0-966A-972B8D1BA606","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"667a633deea2da94111e759378e0184dbbb3d899","datavalue":{"value":"W2024445326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092040$FB02DC7B-A2F2-4A34-8C06-1345137BDA22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd75fa562171f1bc8488c55c38ad826341f610ad","datavalue":{"value":{"entity-type":"item","numeric-id":2543669,"id":"Q2543669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092040$1D8B1BF2-05DA-4FDA-B138-EBC99A53998C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0348d8fdade03b784ba329136ca58b74ab52f227","datavalue":{"value":{"entity-type":"item","numeric-id":4159036,"id":"Q4159036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092040$E01FD475-7DA3-49AA-8A4B-81603D6DC32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092040$3D6E6657-B850-4D90-A9EF-AC4275960E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b27010d6bbdc50b1057415a855e722276e3e07b","datavalue":{"value":{"entity-type":"item","numeric-id":800910,"id":"Q800910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092040$F4CCABA2-140B-4720-BECC-908160606F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358ad429e3d2b06dffff2263d30db20a61cd33db","datavalue":{"value":{"entity-type":"item","numeric-id":802542,"id":"Q802542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092040$484C5F18-ED51-4796-BF4F-1B9440D01922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae9b51e11da388b9beb50352997a31144bf7850e","datavalue":{"value":{"entity-type":"item","numeric-id":1222163,"id":"Q1222163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092040$98BB8F8A-CA5D-4AF4-AF8E-3253E46184BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e507577b872166192dd1cdeb1349ab94c8de2ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1171568,"id":"Q1171568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092040$66D0BF4B-277B-4D95-BE1B-7882AEEE2D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdd537d7c79629a306b1c31a7edd488677c2371b","datavalue":{"value":{"entity-type":"item","numeric-id":1088651,"id":"Q1088651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092040$924FD460-18B9-4072-AF43-F7122D669559","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":"1ffbcd1426156ae5ca97fe4fe28e6e4f0858d052","datavalue":{"value":{"amount":"+0.8307551145553589","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":"Q1092040$F220F2C8-42A5-42DE-893F-4DB34A393D96","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":"c6013c00703c0ac5b73176922d7338adc4814c81","datavalue":{"value":{"amount":"+0.8300184607505798","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":"Q1092040$797098EA-7BD6-467C-B085-2C7654D3C42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51343897ab65c8534ee423cb28db57119ab341f7","datavalue":{"value":{"entity-type":"item","numeric-id":4953219,"id":"Q4953219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d81dbc7a78ee06cadcdcd8ef3a9c39ca616c91","datavalue":{"value":{"amount":"+0.8218528032302856","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":"Q1092040$DEE250EE-8DA4-4E1D-917E-D9A3D1CFDDDE","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":"0b02a4c57499abddbe75148b395b2f92d9d7708e","datavalue":{"value":{"amount":"+0.8055049777030945","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":"Q1092040$332BCCD9-218E-4628-ABFE-EF9DDA92A7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74060b39a8a3e3e47c791dcb1d06cce0cb8ed6dc","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c5e39676e5b4b551feb2aa21b70979a0925ae2","datavalue":{"value":{"amount":"+0.7915568351745605","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":"Q1092040$0206F67D-D022-4FB2-AD48-CCDDA3B5379F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1092040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1092040"}}}}}