{"entities":{"Q1802725":{"pageid":1813467,"ns":120,"title":"Item:Q1802725","lastrevid":43337357,"modified":"2025-07-24T21:14:15Z","type":"item","id":"Q1802725","labels":{"en":{"language":"en","value":"Upper bounds for growth in the Ryll-Nardzewski function of an \\(\\omega{}\\)- categorical, \\(\\omega{}\\)-stable theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 219361"}},"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":"Q1802725$78BE7A0B-09D5-4198-B531-3B6FAC1922FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94807c8321b0860641eb99c2587562a448ebe3fb","datavalue":{"value":{"text":"Upper bounds for growth in the Ryll-Nardzewski function of an \\(\\omega{}\\)- categorical, \\(\\omega{}\\)-stable theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1802725$195B1F0C-77D7-4E7E-A575-76E4A7ED1C61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5eb483b80fd6b7d14f5228a9ae7858f5e75582c4","datavalue":{"value":"0785.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802725$142CC21C-3390-487C-BCB3-D3ED3495D252","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"827132abbb7ca0dd3aa1f3855d857f0ce9b4bff7","datavalue":{"value":"10.1007/BF02773695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802725$045F4DFD-C82C-4E3B-96A9-A83C3B8BF7C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ce53d104a83319b6eea012f7151bdc9fd1ad388","datavalue":{"value":{"entity-type":"item","numeric-id":1802724,"id":"Q1802724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802725$8C9EBCE1-7916-45CE-8980-907A2BA17032","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802725$F7642FD6-67D8-46FF-95CB-CB0E68CED2F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1802725$E266048E-BB95-4279-A7B0-BF99D9763C99","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c23d816f41a2805a52ef8ea1835ac1114fc97c52","datavalue":{"value":"By the Ryll-Nardzewski theorem, a complete countable theory \\(T\\) is \\(\\omega\\)-categorical iff the number \\(s_ n(T)\\) of complete \\(n\\)-types of \\(T\\) is finite, for each positive integer \\(n\\). For \\(\\omega\\)-categorical, \\(\\omega\\)-stable \\(T\\), the author establishes a sharp upper bound for the growth in \\(s_ n(T)\\). For such a theory \\(T\\), he proves that there is a natural number \\(m\\) such that \\(s_ n(T)\\leq 2^{mn^ 2}\\), for all \\(n\\). The example of an infinite dimensional affine space over a finite field shows that this bound is sharp. He also proves that there is a positive integer \\(q\\) such that \\(| \\text{acl}(A)|\\leq q^{| A|}\\), for every non-empty finite set \\(A\\) in a model of \\(T\\). For disintegrated \\(\\omega\\)-categorical, \\(\\omega\\)-stable \\(T\\), the bound is improved: there is a natural number \\(c\\) such that, for all \\(n\\), \\(s_ n(T)\\leq c^ n (n!)^ r\\), where \\(r\\) is the Morley rank of \\(T\\). The proof is based on the structure theory for \\(\\omega\\)-categorical, \\(\\omega\\)-stable structures developed by \\textit{G. Cherlin}, \\textit{L. Harrington} and \\textit{A. Lachlan} [Ann. Pure Appl. Logic 28, 103-135 (1985; Zbl 0566.03022)]. The author notes that M. C. Laskowski and E. Hrushowski have shown that in the results above, \\(\\omega\\)-stability cannot be replaced by stability: modifying Hrushowski's construction of \\(\\omega\\)-categorical, stable but not \\(\\omega\\)-stable theory, one can obtain \\(\\omega\\)-categorical, stable theories whose sequences \\(s_ n(T)\\) grow arbitrarily fast.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802725$D710FDD8-3D6C-4563-A1E2-4802A0139D8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802725$A62F734E-480C-494C-BB28-D1908592FD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802725$0F6EABAD-0E40-4FF2-B51A-0F144677EBE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb896fc4e76af1cd881ae9ea18d376158f9606f4","datavalue":{"value":"219361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802725$0C43EA1E-0A22-4F54-AEF5-4A2C0E59483E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b48a5e869094b7d8b6bf5a0f1bbe2323b0f1bdae","datavalue":{"value":"omega-categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802725$88B3C02E-CCF1-449D-A2C4-238E8E123890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b565fcf7505e9446f914c67520e9bb5a844b667","datavalue":{"value":"omega-stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802725$03AFB9FB-84C4-4AEF-AA78-84E8081A2489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8a848577e5cf34b9c2b6e24b774ae51e4c41485","datavalue":{"value":"Ryll-Nardzewski function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802725$DC79AD8D-6EF1-40DA-8A5A-7488500E9F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"817f91d754a6618dd027e0d851a1fc8b7cbc7134","datavalue":{"value":"upper bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802725$AF7834BE-A1CB-4424-9B2D-C78B21D21BA1","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":"Q1802725$FE28F17A-9A7C-4005-B74B-5077220B37EF","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":"Q1802725$0CEE1ECE-1655-4D38-B4D3-1EE6B2D2EF87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81af995ef3b662579981193f1476553be4f5357","datavalue":{"value":{"entity-type":"item","numeric-id":1059068,"id":"Q1059068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802725$6DBD994D-4D55-45D7-B3AA-A6A2EBAB8673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cbc927076b467bdd3d52563b6234ede92fe4414","datavalue":{"value":{"entity-type":"item","numeric-id":3717029,"id":"Q3717029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802725$AADE1B6F-69EB-4894-A5D8-18E26EC0DE24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f51d30c2c0c1760404a0eb87d7af60ccb30622f4","datavalue":{"value":{"entity-type":"item","numeric-id":1073013,"id":"Q1073013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d75909ff28e11601635641e12154530c4977c3","datavalue":{"value":{"amount":"+0.8225217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802725$3DCE1EDE-0170-402A-8AB8-FE93BEB5AD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a038e8ee98cb34a170bed458a6940101b68afe40","datavalue":{"value":{"entity-type":"item","numeric-id":4460847,"id":"Q4460847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e5567621028a926b30fc254a1f9e83ae17e376","datavalue":{"value":{"amount":"+0.81991637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802725$EF720E49-2598-400B-9455-4D29A63A6890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89edc4b3b1de21ef9e4c82902afb81a3edfc8f5e","datavalue":{"value":{"entity-type":"item","numeric-id":3812214,"id":"Q3812214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005a933e5bf0daff2787c9af11d4ad2b578ed737","datavalue":{"value":{"amount":"+0.8112471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802725$93891651-82E6-4EC0-B53B-A37856675AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73fc82b6530fd789286fd809c795ba6c6f259915","datavalue":{"value":{"entity-type":"item","numeric-id":4288797,"id":"Q4288797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd771b038e17a4799c0a2f47cd3a54c04cb8f133","datavalue":{"value":{"amount":"+0.80327547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802725$60674F7B-F870-45FC-A11D-834E77C2EB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c22d8aa44c3f6e9f5949840d4a64a96cad51b25","datavalue":{"value":{"entity-type":"item","numeric-id":4829243,"id":"Q4829243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab6b155b079ba98d69920e2aa65045789221f6c","datavalue":{"value":{"amount":"+0.7900178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802725$3AA4E4B8-DBBF-443F-BFA0-8ED506422136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c8cebc0f9647ea0c4aad32c3c9e0832ddf2227","datavalue":{"value":{"entity-type":"item","numeric-id":4873972,"id":"Q4873972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd6184dca596ca01aca17754983e5d2000286fc","datavalue":{"value":{"amount":"+0.78334975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802725$AC80F26A-4AFA-49F9-9C4D-7219A21B52DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4bf318676ff16089f319b608ae9a73ab06d3172","datavalue":{"value":{"entity-type":"item","numeric-id":4778494,"id":"Q4778494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414e2cab929cb89d1c7d4116c4ef2fbe4fbfe15e","datavalue":{"value":{"amount":"+0.7779348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802725$81EF4984-FE9D-4643-9C1E-F8EFEA15DD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7ea8ce4e6e98bd01a39f4b5d674a6d5dfba6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4724608,"id":"Q4724608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49686c9addfa03074425a04417ce3ab6f722ad95","datavalue":{"value":{"amount":"+0.7748986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802725$A5978232-5066-489D-B0DA-494327106A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aebdc25a797611612dc311490616e76fdb1206b5","datavalue":{"value":{"entity-type":"item","numeric-id":4731172,"id":"Q4731172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"381909affa0f5c6bf42a60defe4591a865816a29","datavalue":{"value":{"amount":"+0.773273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802725$99B21FCA-1D4D-47E7-A11F-8BB52855F75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7747f5329c23e89c60f49e01bc1a4ada2a960102","datavalue":{"value":{"entity-type":"item","numeric-id":4393166,"id":"Q4393166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d8f2a053b344245b8a45d57dbdb17112caba9a5","datavalue":{"value":{"amount":"+0.7709181","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802725$6637B61F-1469-4271-9EF4-6041A62FDA41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1802725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1802725"}}}}}