{"entities":{"Q1934949":{"pageid":1945691,"ns":120,"title":"Item:Q1934949","lastrevid":57603465,"modified":"2026-03-31T14:15:27Z","type":"item","id":"Q1934949","labels":{"en":{"language":"en","value":"dp-rank and forbidden configurations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6132720"}},"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":"Q1934949$0461F6B6-EAB4-43D8-B74A-7023269CA005","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4244be33869e7763c286ca2a21b9a1d635952078","datavalue":{"value":{"text":"dp-rank and forbidden configurations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1934949$5AFBB4E5-3A65-48FB-8725-8B3FE6A8F70F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b505a2b4367e9628970e9d7323754a99ed73593","datavalue":{"value":"1276.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934949$607B2AFA-68FA-412D-8B3F-E50AE5622373","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"559773725c01078604da0424ebf858eae585803a","datavalue":{"value":"10.1215/00294527-1731335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934949$2E8AE3A9-0ABB-4A61-9F02-0ECE6A06F770","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54cf46b2db72d5fa4b2c863a4e06bc059c47d54f","datavalue":{"value":{"entity-type":"item","numeric-id":894256,"id":"Q894256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934949$D587B12B-F660-438D-AD50-67E1C127EFDB","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":"Q1934949$C969F389-DE8F-400E-875E-0685DF80B1B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5478fba53a113a7516ce69e974ee388c2f24be0","datavalue":{"value":{"time":"+2013-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1934949$3013B44B-3B30-49BD-8BAB-3293A957932B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"511cd31281bd4bee7b18bfedda9c5288d885d0ac","datavalue":{"value":"https://arxiv.org/abs/1108.6315","type":"string"},"datatype":"url"},"type":"statement","id":"Q1934949$4FC6DC8F-697C-4588-B506-0D3BCC91A198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb8af780c87a2965bb5e2a0761e686a5e4478b07","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1355494518","type":"string"},"datatype":"url"},"type":"statement","id":"Q1934949$B5F9579E-5824-4AD1-BD19-81273483BF83","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46fea260c22ffe3ec2cd97b2bab01f9d9fa9bcaf","datavalue":{"value":"Recall that Shelah defined an \\textit{ICT pattern of depth \\(\\kappa\\)} in variables \\(\\bar x\\) as a sequence of formulas \\((\\varphi_i(\\bar x,\\bar y_i):i<\\kappa)\\) together with an array \\((\\bar b_n^i:i<\\kappa,\\,n<\\omega)\\) such that for all \\(\\eta\\in\\omega^\\kappa\\) the set of formulas  \\[ \\{\\varphi_i(\\bar x,\\bar b^i_{\\eta(i)}):i<\\kappa\\}\\cup\\{\\neg\\varphi_i(\\bar x,\\bar b^i_n):i<\\kappa,\\,n\\not=\\eta(i)\\} \\]  is consistent. On the other hand, if \\(\\psi(\\bar x,\\bar y)\\) is a formula, \\(M\\) some structure and \\(A\\subseteq M^{|\\bar x|}\\) a finite subset, then \\(\\psi\\) \\textit{shatters} \\(A\\) if every subset of \\(A\\) is of the form \\(\\{a\\in A:M\\models\\psi(a,\\bar b)\\}\\) for some \\(\\bar b\\in M\\). The maximal \\(d\\) such that \\(\\psi\\) shatters a set of cardinality \\(d\\) is the \\textit{VC-dimension} of \\(\\psi\\) in \\(M\\). We say that \\(\\psi\\) is \\textit{\\(d\\)-maximal} if \\(\\psi\\) has VC-dimension \\(d\\), and for any subset \\(X\\subseteq M\\) not of the form \\(\\psi(M,\\bar b)\\), there is a subset \\(A\\) such that \\(\\psi\\) shatters \\(A\\) except for \\(A\\cap X\\). We call \\(|\\bar y|\\) the parameter length.  The author shows that for any complete theory \\(T\\), there is a model with an ICT pattern of depth at least \\(d\\) in \\(n\\) variables if and only if \\(T\\) has a \\(d\\)-maximal formula in \\(n\\) parameters.  The arguments include a lengthy discussion about characterizing VC-families by forbidden patterns.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934949$FEE0DCB0-9CD2-4E9E-93FF-F3E852B562EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934949$236E70B2-CF19-4D1D-9FCE-A1397AB1DC89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"508c40616de43468d6fe5b5c079daec5fe4d2d45","datavalue":{"value":"6132720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934949$D108E173-D042-470A-AB1A-9BE779CC4EC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40dfb25b9dc7aa9fd8093db5d6b661320a1cf8af","datavalue":{"value":"VC-dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934949$E0956DFA-E800-4A7A-AAAD-40C7579FEB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeeaf92d4955264f018294672b609d842f36d4ed","datavalue":{"value":"NIP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934949$1806F424-767E-41E8-8479-80F73B78801E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f110ce72fcd1cfcc5c6cf0f5ce95463c07c23f","datavalue":{"value":"dp-minimal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934949$DCD8348B-B1DB-458B-A6FE-396351AAE6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3966441e1ac7c4ebc575f287e400f8136443a90","datavalue":{"value":"VC-density","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934949$2EDAA6F4-7F2C-4B7F-8611-448110003452","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":"Q1934949$6BCAEFA4-4855-4B71-8BF0-3A64A41FEDBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5332c107c5bfe046669e5ba0032127b11e2d3180","datavalue":{"value":"W2038577331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934949$500DC4B8-8AC2-420B-A14F-45DACA99DF17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e19963e8604eab1719a76aeece860ebef5a130","datavalue":{"value":{"entity-type":"item","numeric-id":372618,"id":"Q372618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934949$361B9947-C8BD-4C7D-ACF7-6632F7C45A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f4168bfe55d483e91d867ad09e9c4621d26da26","datavalue":{"value":{"entity-type":"item","numeric-id":4222738,"id":"Q4222738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934949$9D241CC6-1E15-46C8-971B-3B6277E47D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23ee3e562a08faba6dd6074b4f44bbcf7767b4a","datavalue":{"value":{"entity-type":"item","numeric-id":4013552,"id":"Q4013552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934949$44BB28F4-6CB7-444C-8FCC-99CBBB76E199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84fe62e07b9fea3ed012a259a48599efb38fd476","datavalue":{"value":{"entity-type":"item","numeric-id":2892672,"id":"Q2892672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934949$3B7A1629-6951-4E3C-A890-7241013E85D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8515c8b876aa715f6c6ead9fea5b65b2754a62","datavalue":{"value":{"entity-type":"item","numeric-id":2849030,"id":"Q2849030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934949$8D6E4605-042A-4B75-B03F-835BBECA9519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ab113e4054a3fd19159d4af554ece2f7ee5e2d","datavalue":{"value":{"entity-type":"item","numeric-id":4024901,"id":"Q4024901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934949$02492AB4-8D0E-4EDF-8065-E1F9F145D6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca3e41ff24151dd676f23b963a15496a16690c3","datavalue":{"value":{"entity-type":"item","numeric-id":3173525,"id":"Q3173525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934949$9861E73B-ECA2-41CF-BD5B-638D0112D1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed28daf112121dc08adf4ce72a073bd046e54847","datavalue":{"value":{"entity-type":"item","numeric-id":2556406,"id":"Q2556406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934949$34EB7C35-CC9B-4473-ACB4-D7A9822658CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b910f3bdbfee2ff3a0d24df8459e194840d200d1","datavalue":{"value":{"entity-type":"item","numeric-id":2553434,"id":"Q2553434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934949$F7C41EAE-6293-4040-932E-C5806EA60E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346c74a322fd563368828553a35521220cff4452","datavalue":{"value":{"entity-type":"item","numeric-id":2655752,"id":"Q2655752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934949$715549DD-D46B-4ADB-B1CF-D7AB9A32E59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92bb519482b6fbf00d13ef8aae58532ad21e0d21","datavalue":{"value":{"entity-type":"item","numeric-id":480792,"id":"Q480792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934949$916A6551-BFC5-4032-95B0-D58747BCDBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55670eeffeb14e6ce51166fb8470acff9c12ef5","datavalue":{"value":{"entity-type":"item","numeric-id":5660314,"id":"Q5660314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934949$4BF0CAB8-7121-4A00-9521-7EC01956BCCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc78c63951e4f7defcdb49234625dfd20d9a98ce","datavalue":{"value":{"entity-type":"item","numeric-id":894257,"id":"Q894257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48f58ff32080ab65961ada0fd2a3a4b12a6137c","datavalue":{"value":{"amount":"+0.7020313739776611","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":"Q1934949$490BEB4B-85E6-41D9-9682-5D4271111B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9bf75057924c741a1291b9dcc9ccf632057f30","datavalue":{"value":{"entity-type":"item","numeric-id":439058,"id":"Q439058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4faa21781a41191364656c18b9e75d7035bc7d7","datavalue":{"value":{"amount":"+0.692136287689209","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":"Q1934949$0E70207B-9FEA-4A51-9C73-4352B2022F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59d79bdcd8502c62b742b59c084f56b9d1b4f908","datavalue":{"value":{"entity-type":"item","numeric-id":5404164,"id":"Q5404164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"407136ab00db9040e1f80339ca27e64b94227313","datavalue":{"value":{"amount":"+0.6897768974304199","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":"Q1934949$BE284A10-ACBB-4F0D-A625-88BB898BD81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9c70ecf16dabf78521dbcde44da361f08d7027","datavalue":{"value":{"entity-type":"item","numeric-id":2080702,"id":"Q2080702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f48d484dfed07cb99c8b26e34213f13946b330e","datavalue":{"value":{"amount":"+0.6888267397880554","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":"Q1934949$543CAF47-ED19-4401-A945-FF0DF6326660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550013e1035ef96e80333c73f9e0ac4e03844c89","datavalue":{"value":{"entity-type":"item","numeric-id":5743461,"id":"Q5743461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234d2ba5e4995f9f550b8245d9ffcd61637b5342","datavalue":{"value":{"amount":"+0.6886826157569885","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":"Q1934949$506B23E4-6581-4023-94ED-DA14A2189DA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1934949","badges":[]}}}}}