{"entities":{"Q757349":{"pageid":759198,"ns":120,"title":"Item:Q757349","lastrevid":49473040,"modified":"2026-01-07T05:27:27Z","type":"item","id":"Q757349","labels":{"en":{"language":"en","value":"Powerful types in small theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191606"}},"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":"Q757349$5703AC4D-3476-4E14-9F46-668596CCB1C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d2facdb92aef753b313157e23e227ee43677f17","datavalue":{"value":{"text":"Powerful types in small theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q757349$2C66CE59-A52F-4631-B97E-ACF4C5E5BAC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f71a4de50e6e83665127f315a018df821b68f7f0","datavalue":{"value":"0723.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757349$5C8DD630-E1CC-4839-B3B7-C5A0000547D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d6bc966646347f165f178e3f056550e28ed1cbe","datavalue":{"value":"10.1007/BF00970635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757349$24AF93FF-8EC5-4129-BC5F-8F51018F14C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757349$94D67417-9D93-4F70-A2FA-CBBE8309C85A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q757349$ABB1ADD6-2C3A-43B3-99EE-AF0A81CD5700","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da7790a53c34f3175519731377dca40d4addd976","datavalue":{"value":"The aim of the paper is to suggest an approach to the long-standing problem of existence of a stable theory with more than one but finitely many countable models. Such a theory must be small and, as M. Benda noted, has a non-isolated powerful type. (A theory is small if it has at most countably many types over \\(\\emptyset\\); a type over \\(\\emptyset\\) is called powerful if every model realizing the type realizes every type over \\(\\emptyset.)\\) A. Pillay showed that a small stable theory having a non-isolated powerful type cannot be superstable or 1-based. The author conjectures that such a theory exists; he introduces some (rather technical) notions to express properties of the theory and the type. These properties are formulated in terms of some numerical characteristics which are defined for any type \\(p(\\bar x)\\) and any formula \\(\\phi(\\bar x,\\bar y)\\) with \\(l(\\bar x)=l(\\bar y)\\). A. Pillay proved that, for small 1-based theories, the relation of semi-isolation on the set of realizations of any type is symmetric. (He says that \\(\\bar a\\) semi-isolates \\(\\bar b\\) if there is a formula \\(\\phi(\\bar a,\\bar x)\\), satisfied by \\(\\bar b,\\) which also determines the pure type of \\(\\bar b.\\)) The author gives an example which shows that one cannot generalize this replacing `1-based' with `stable'. A characterization of powerful types in small theories is also given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q757349$32EE79FE-72C3-4F87-9C47-166F863C9B37","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d7a760754899c4252076421c1bbdd70a575016d7","datavalue":{"value":{"entity-type":"item","numeric-id":593287,"id":"Q593287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757349$B6D06F28-24CB-4C77-96E2-906107B2404F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757349$908F5E10-B21E-46B8-A229-5271B802A7CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6d11767fac8c55f9daa71dcd05041e7f80e141a","datavalue":{"value":"4191606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757349$29A29360-DED2-4AF1-A674-42D886725E85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f15af81ecb43d9f65e18aabb35906b8775c5181d","datavalue":{"value":"stable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q757349$47B38B0D-507E-47CD-9E00-D8F4067F35D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"603a9121b6d360c7de8dfa181b7cbda0fd2a43ec","datavalue":{"value":"countable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q757349$C6AC49E5-6373-4ED7-8AA9-F361281FA1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a90f59685508213501f8d2ba17ee762ce89a3451","datavalue":{"value":"non-isolated powerful type","type":"string"},"datatype":"string"},"type":"statement","id":"Q757349$7506F7E8-8002-472C-9AA1-8AF376E7BA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fb2c8a8781f1fad1bfa58deaf066288781fdfbd","datavalue":{"value":"small theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q757349$E661C86F-EFBC-415D-9056-E3112C0EF17A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9556ab5bfd7d0868cca2c69e169fe167e53c60","datavalue":{"value":{"entity-type":"item","numeric-id":1717396,"id":"Q1717396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757349$2F908DEE-F978-4635-AC8A-E0F590D8FF44","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":"Q757349$E6EF41EE-DE3C-4C67-9F0D-0D3EDBB68264","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5a81f03ad3bfd936bbe4746400e986a1940546a","datavalue":{"value":{"entity-type":"item","numeric-id":4777282,"id":"Q4777282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757349$D51F6EBF-5D10-4912-B469-48C5720AE668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef407998fb8e0ad5e496b69623f8818fd9f6c95","datavalue":{"value":{"entity-type":"item","numeric-id":3041166,"id":"Q3041166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757349$F584276D-1782-4939-BBE3-346CD5A17558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e069e4af4903fe17f937d3f5653752cdb5a24b01","datavalue":{"value":{"entity-type":"item","numeric-id":3335761,"id":"Q3335761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757349$6E3C996E-9674-45D7-BD0E-21D266820DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a97898fde0805fc296646903d53fa82d1337b7","datavalue":{"value":{"entity-type":"item","numeric-id":1821771,"id":"Q1821771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757349$0A7E19B8-92FB-4C90-A617-CC019B62FF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba6256965a6f4b99f21daa244e5809f218de891","datavalue":{"value":{"entity-type":"item","numeric-id":3728883,"id":"Q3728883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757349$6FD68F78-8AEB-4AF4-959F-F9D91C89B80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fe75bbf395fa9dbfa2f608c7961b2f066ad17d","datavalue":{"value":{"entity-type":"item","numeric-id":1085155,"id":"Q1085155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757349$E26DBBB5-AC28-4BD7-97AB-6F5CF0389D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438000c03d04bc1498534324b9abe8069ae8c30e","datavalue":{"value":{"entity-type":"item","numeric-id":1821096,"id":"Q1821096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757349$DA30047A-0831-4389-9B16-29DA266B07DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97bfd0f750267b16a2c2a0b40864cb44134473d","datavalue":{"value":{"entity-type":"item","numeric-id":4770394,"id":"Q4770394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757349$62B97672-60A2-4DD1-AEC1-9607AF6778FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d3e41b2d21766160f3e7f08a7215de5d4b5252","datavalue":{"value":{"entity-type":"item","numeric-id":3726096,"id":"Q3726096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757349$634F92C1-C710-4BA4-930C-F0B48DA1E0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aeac1eb6480288717262dbd6a631cb7a05f8d85","datavalue":{"value":{"entity-type":"item","numeric-id":4149446,"id":"Q4149446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757349$D8F6E5E3-0186-49E3-BFEB-B14C2DBD4DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98e2a01cd53b8244d25287bc15c6208e20e0919","datavalue":{"value":{"entity-type":"item","numeric-id":3872435,"id":"Q3872435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757349$0574F06E-9A21-44DE-ABFA-8C034705A5E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1dbbd9ffb1330a727daea1663ad0ce36c95f8ec","datavalue":{"value":{"entity-type":"item","numeric-id":1191198,"id":"Q1191198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e23f8897902dd5846cc950a93e6867e3c77fe0","datavalue":{"value":{"amount":"+0.8489841818809509","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":"Q757349$B8E8E99E-2AF1-4651-A41D-E81CC49F1A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f0c98c89653ffbec16fe082d0091a442409d6d","datavalue":{"value":{"entity-type":"item","numeric-id":3320348,"id":"Q3320348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e23f8897902dd5846cc950a93e6867e3c77fe0","datavalue":{"value":{"amount":"+0.8489841818809509","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":"Q757349$93EDD179-F443-4A66-A921-72043885BE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fed8858667143053761ec7d988770921169f5b","datavalue":{"value":{"entity-type":"item","numeric-id":866554,"id":"Q866554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885c5fcea48d85b03415ecf2d7744dd81ca2c2ee","datavalue":{"value":{"amount":"+0.7809140086174011","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":"Q757349$E9D0B019-54E4-4787-A54D-266D4EE7374D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02197f64f5b8f0db9657f96f4427a5c5909ee53c","datavalue":{"value":{"entity-type":"item","numeric-id":3544709,"id":"Q3544709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b545ddce2bf60f192e20705f9af62a18f7d5c52","datavalue":{"value":{"amount":"+0.7726646065711975","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":"Q757349$79BF2A5A-FFA5-4F33-B82B-E67C2903A0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6577161bd87053a10a2d4c2db82def5bc703393","datavalue":{"value":{"entity-type":"item","numeric-id":3784053,"id":"Q3784053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90244390aad82028310e1999bbe1a0a012b6135","datavalue":{"value":{"amount":"+0.7661754488945007","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":"Q757349$BB69FFD4-A008-456E-9078-A84DE2B44113","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:757349","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:757349"}}}}}