{"entities":{"Q4034802":{"pageid":6064522,"ns":120,"title":"Item:Q4034802","lastrevid":108765833,"modified":"2026-11-10T05:13:33Z","type":"item","id":"Q4034802","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 175748"}},"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":"Q4034802$6A6B644F-5D5F-4A37-8849-79E70BB102AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43b85e5b4fa2c63b28c9fda28f70f95814cb0160","datavalue":{"value":"0780.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4034802$4FDBB8D9-E6EB-446D-946E-E708228703D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a5cd73b192fa0f9b95a04b842a2cb21d66addd","datavalue":{"value":{"entity-type":"item","numeric-id":595644,"id":"Q595644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4034802$95B27EA4-1E83-4D2B-9C67-48AF381B287F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f613e162c0e5e895294302fd46501890805c4f9","datavalue":{"value":{"entity-type":"item","numeric-id":796517,"id":"Q796517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4034802$FC2A1688-4395-49B3-84B5-C310976172F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4034802$B3434EC4-C67F-489B-864B-676D5AB4EADF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4034802$C392CFD3-FE8D-4399-AF15-25DDEEF1EDB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"584ff0ec2df87b6ee87054255b97672e769b64dc","datavalue":{"value":"175748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4034802$DDE119DF-5C32-44E6-94DD-8A2B7D97225E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f15af81ecb43d9f65e18aabb35906b8775c5181d","datavalue":{"value":"stable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4034802$C4AE511F-4C19-45B1-8CB5-5F8CF8DC76A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4863fb4313df4a3a077f24467273590a629e4c18","datavalue":{"value":"multidimensional type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4034802$A269136B-60AB-4130-88BC-055B6F6E6D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f352f2369a52958b19c72b85640cadea70ea031","datavalue":{"value":"superstable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4034802$C1C14EA5-64A4-439F-AA34-32B5EB0410AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9085217a3e522ac963a303423b3fdb8abcea585","datavalue":{"value":"saturated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4034802$D8680947-D40A-4F62-B8D4-C5D383292EBE","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":"Q4034802$805B5D64-B3B2-4BD4-8A98-B18E483C88E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d7d0c19816a68b29b2ade2e9de85246c4bcb811","datavalue":{"value":{"entity-type":"item","numeric-id":4013612,"id":"Q4013612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e774cfd3da1daa444ca90e2e5c921b9dc91bb14","datavalue":{"value":{"amount":"+0.8432028293609619","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":"Q4034802$01C178FF-6705-4F21-ADCF-7A6BFE99F57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39ffc1496ef61a5f3ccd41c4738461fd6b91b26","datavalue":{"value":{"entity-type":"item","numeric-id":4034795,"id":"Q4034795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b776d94ec5713e802a1ea372b71d3c61359ae76e","datavalue":{"value":{"amount":"+0.8403460383415222","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":"Q4034802$44AE29EA-FA15-4EC2-A09B-8BBB89C002D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df42b0cd094624ab1bc1ba58dc52f4b59d247e69","datavalue":{"value":{"entity-type":"item","numeric-id":2758050,"id":"Q2758050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26af4778370b895098033533b1447813b2c9462b","datavalue":{"value":{"amount":"+0.770305871963501","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":"Q4034802$B3415E72-1AAE-486A-8AA2-8B52996D19BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6d1f78239cf8e968b511a51cc126a9a6966fec","datavalue":{"value":{"entity-type":"item","numeric-id":3993096,"id":"Q3993096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd36208e913d4273e34161900810d17cc5086c9e","datavalue":{"value":{"amount":"+0.768613874912262","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":"Q4034802$8A8E3548-7863-402C-ABA0-2439359EA7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"137735ec5abf405f8fe429fcdf482488a7ed71a3","datavalue":{"value":{"entity-type":"item","numeric-id":1083445,"id":"Q1083445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa1499dce8c556ab7bafefe907c5b5512313edc3","datavalue":{"value":{"amount":"+0.7685628533363342","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":"Q4034802$AD1624F1-E824-42BE-B5CB-40074E8519F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2c9a4b09195e03a6501345cad19565fba28ae3c","datavalue":{"value":"[For the entire collection see Zbl 0745.00015.] The authors offer very interesting extensions of notions and results introduced by \\textit{S. Shelah} [Classification theory and the number of nonisomorphic models (1978; Zbl 0388.03009)] and by \\textit{B. Poizat} [J. Symb. Logic 48, 239-249 (1983; Zbl 0525.03023)]. They study \\(P\\)-stability [the first author, ``A series of stability notions'' (Russian), 10th Soviet Conf. Math. Logic, Alma-Ata, Publ. IMM AN Kazach. Sov. Rep. (1990), p. 121], a principal generalization obtained from the classical concept of stability by extending the language by a new unary predicate \\(P\\). This predicate is intended to characterize a proper elementary submodel. Definitions: Let \\(T\\) be a complete first-order theory with infinite models, \\(\\sigma\\) its signature and \\(\\mathfrak C\\) its monster-model. Let \\(A\\) be a subset of \\(\\mathfrak C\\) and \\(P\\) a new unary predicate symbol. The theory \\(T_ P(A)\\) with the signature \\(\\sigma_ P(A)=\\sigma_ A\\cup\\{P\\}\\) is given by the following union \\[ T_ P(A)=\\text{Th}({\\mathfrak C},\\alpha)_{\\alpha\\in A}\\cup\\bigl\\{P(c_ \\alpha)\\mid\\alpha\\in A\\bigr\\}\\cup\\{\\text{``}P\\prec\\text{''}\\}, \\] where \\(\\{\\text{``}P\\prec\\text{''}\\}\\) is an infinite set of formulas expressing the fact that the interpretation of \\(P\\) is the elementary submodel in the signature \\(\\sigma\\). In general, the resulting theory \\(T_ P(A)\\) is not complete -- let \\(S_ P(A)\\) denote the set of all possible completions of the theory \\(T_ P(A)\\). The theory \\(T\\) is said to be \\(P\\)-\\(\\lambda\\)- stable, if there holds for any set \\(A\\) of cardinality \\(\\lambda\\) that \\(| S_ P(A)|\\leq\\lambda\\). The theory \\(T\\) is \\(P\\)-stable, if it is \\(P\\)-\\(\\lambda\\)-stable for some \\(\\lambda\\). The theory \\(T\\) is \\(P\\)- superstable, if there is a cardinal \\(\\lambda_ 0\\) such that \\(T\\) is \\(P\\)- \\(\\lambda\\)-stable for any cardinal larger than \\(\\lambda_ 0\\), i.e. for any \\(\\lambda\\geq \\lambda_ 0\\). The theory \\(T\\) is \\(P\\)-nonstable, if there is no cardinal \\(\\lambda\\) s.t. \\(T\\) is \\(P\\)-\\(\\lambda\\)-stable. The paper studies the introduced notions. It gives full proofs of the corresponding theorems. The basic results obtained are summarized as follows. Theorem: Let \\(T\\) be a superstable theory. Then the claims a)--d) on the theory \\(T\\) are equivalent: a) \\(T\\) is not multidimensional, b) \\(T\\) is \\(P\\)- superstable, c) \\(T\\) is \\(P\\)-stable, d) \\(T\\) does not have the property of \\(P\\)-independence. The special case of stable theories with countable signature is treated at the end of the paper. The attention is shifted towards saturated models. Theorem: Let \\(T\\) be a \\(\\lambda\\)-stable theory with \\(\\sigma\\) a countable signature, \\(M\\precneqq N\\) any elementary pair of models of \\(T\\) and \\(\\lambda\\) any regular cardinal such that \\(\\lambda\\geq| N|\\). Then there exists an elementary extension \\((N',M')\\) of the pair \\((N,M)\\) in the language of the theory of pairs \\(\\sigma_ P=\\sigma\\cup \\{P\\}\\) meeting the following conditions: 1) \\(| N'|=| M'|=\\lambda\\), 2) models \\(M'\\) and \\(N'\\) are saturated (in the signature \\(\\sigma\\)), 3) for any subset \\(A\\subset M'\\), \\(| A|<\\lambda\\), if the type \\(p\\in S(A)\\) and \\(p\\cup\\{\\neg P\\}\\) is finitely satisfiable in the pair \\((N',M')\\), then \\(p\\) is true in \\(N'\\backslash M'\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q4034802$C576F0F2-36C5-454A-A7DA-079F2C20B685","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4034802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4034802"}}}}}