{"entities":{"Q2630870":{"pageid":2641613,"ns":120,"title":"Item:Q2630870","lastrevid":57954984,"modified":"2026-04-03T05:44:34Z","type":"item","id":"Q2630870","labels":{"en":{"language":"en","value":"The generic pair conjecture for dependent finite diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6605689"}},"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":"Q2630870$3E0891D7-A4D4-41C1-94C9-E65810558F6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed5e6af140328151aded8307aea1febf93b6e604","datavalue":{"value":{"text":"The generic pair conjecture for dependent finite diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2630870$D00D1240-0FC1-4A84-AD05-D2F8F1F486B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f452d968203976efc6578ef8f7ed0b6ccd064640","datavalue":{"value":"1377.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630870$634DDAD4-65D6-446A-A9DA-638D67B910E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe36c7c5213a38c4450f1e9b3914925c3c76ccf","datavalue":{"value":{"entity-type":"item","numeric-id":466121,"id":"Q466121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2630870$E837CDA2-19CB-4F59-A6F6-8ADE031A7919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfa69292c1bb26bc852502132a74ef7fbe1c41fd","datavalue":{"value":{"entity-type":"item","numeric-id":2630869,"id":"Q2630869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2630870$FEE0C9D6-DAE7-44B0-8C43-5014CE8B88F3","rank":"normal"},{"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":"Q2630870$913F981B-09C0-4D39-9DE6-D6B2A0A9669E","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":"Q2630870$883FC991-9700-45FB-9524-EE676F3E50C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"feb37f72a8cdcd68b43ae07ac4ed5aec5e9e9d96","datavalue":{"value":{"time":"+2016-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2630870$CE2FAE5E-C8BB-445E-B0DF-85A44466EB19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f4762f3f25b88f75d4a164f91ca03467aabc5d4","datavalue":{"value":"https://arxiv.org/abs/1410.2516","type":"string"},"datatype":"url"},"type":"statement","id":"Q2630870$9FD81B1B-6AFE-4912-A7C8-73CE63E5B0A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6e76860bc1adaca19e73131b037e22ecf1e9189b","datavalue":{"value":"The generic pair conjecture is the following statement: For every cardinal \\(\\lambda\\) with \\(\\lambda^+ = 2^{\\lambda}\\) and \\(\\lambda^{<\\lambda} = \\lambda\\), a complete first-order theory \\(T\\) is dependent if and only if whenever \\(M\\) is a saturated model of size \\(\\lambda^+\\) of \\(T\\), then after writing \\(M = \\bigcup_{\\alpha < \\lambda} M_{\\alpha}\\), where the \\(M_{\\alpha}\\) are models of size \\(\\lambda\\), there is a club of \\(\\lambda^+\\) such that for every pair \\(\\alpha < \\beta\\) of cofinality \\(\\lambda\\) from the club, the pair of models \\((M_{\\beta},M_{\\alpha})\\) has the same isomorphism type.  The paper has two goals: The first is to serve as an exposition for the proof of the statement in the case where \\(\\lambda\\) is measurable. The second is to deal with finite diagrams instead of theories in case where \\(\\lambda\\) is measurable.  The authors start by providing the necessary facts about finite diagrams and about measurable and compact cardinals. They give a precise definition of when a diagram \\(D\\) is dependent and prove some equivalent definitions for this property. They state the generic pair conjecture for finite diagrams and introduce decompositions of good families. Then, they show that nice decompositions exist and construct tree-type decompositions and self-solvable decompositions. They show that the family of self-solvable decompositions over a saturated model form a good family and deduce the generic pair conjecture.  Furthermore, they give an example of an independent theory with some dependent \\(D\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2630870$89D31538-4677-465C-9946-3DA7488AD3CE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2630870$51027C7A-BD21-4734-863A-A0F020C5F6C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630870$364F4BB2-6292-4ED1-A4AA-C84CA162926E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630870$6E1577C0-1BC1-4C66-BE27-4EB692A8A093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630870$835A2606-3809-4820-9F5B-A0CECF4D7C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630870$D3CA2AEE-76DD-4356-AFBB-D0C5C4B845F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dd1aab7ed60d2e9760817e712dad9ae95256c0c","datavalue":{"value":"6605689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630870$E407D2D9-EE6F-419F-B332-2F6CF524F575","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bd79dbbc3e371922f54f2eb5a599d93ac9e471f","datavalue":{"value":"dependent theoy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2630870$48FBDC9D-DF69-4D3F-83D6-644910B20E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e96ef672d6115c6b5b6e2fec7329e777b5147f0","datavalue":{"value":"finite diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q2630870$DB0F23EC-5BD2-4FBB-8E0B-C009697E291B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b797886eeaced93cbbe12f9818d856efd874cc1","datavalue":{"value":"generic pair conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2630870$84564B9A-9371-41FE-A635-CD8A92BC9D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"177c5aa3238d94cd21e9e4530e23299b50515127","datavalue":{"value":"homogeneous model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2630870$145BC622-B740-4C2A-BCBE-B4E222715DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dcc686482d70eae7146a2aaf2025feae23b1b27","datavalue":{"value":"saturated model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2630870$4F77C7A9-E5AF-4AF8-840E-14B985F12954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d05e3b4848f1c5fc4abe6d3027ac7da7539cb8","datavalue":{"value":"measurable cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2630870$99B8E9EC-D049-403E-9321-CE6532AD1CCA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b9ff5bf9dd48cb406f722362b815a9af70221569","datavalue":{"value":"Q123365137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630870$C62A2B93-5C6A-49AB-805A-25BE0A65D29A","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":"Q2630870$0408C2CD-EC31-43E7-A1DD-E9365B270E6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29151ea64ee84d9cb6b0e0636b87cf623c4a33d5","datavalue":{"value":"W2281596213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630870$34EED1ED-A181-4B9B-93A4-8457CD3C6992","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe530d842613ffe83ff9698c0ac8dc508e852698","datavalue":{"value":{"entity-type":"item","numeric-id":1407519,"id":"Q1407519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2630870$AC08090B-BAD7-4BF3-A1C6-FC5B3FF002EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2630870$D0A71D4D-EFBD-4319-AFBA-84A6ECEBEE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8fc741ea84c2e9afb209308c6a6f325d4380c2","datavalue":{"value":{"entity-type":"item","numeric-id":3535899,"id":"Q3535899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2630870$9480FA81-1E85-4240-BF4D-C52DF03E039D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3312590bb7c66e4c3a06b0f6d5bc5044c4eea7f","datavalue":{"value":{"entity-type":"item","numeric-id":5602915,"id":"Q5602915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2630870$70D01C9B-3656-49BD-84A8-F338CB621504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0376df3f9b072633ed90667970c04b9642439a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2630870$B6FEC00D-75E2-4300-B7D4-3B7608DA1873","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9ddc43a3b7e900c7dc97465d924adb62c16c002","datavalue":{"value":"10.1007/S11856-016-1286-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630870$AA1D216D-F9F4-4924-BF24-0B3FBDD5AA45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62610b6117c6d3800de6458808a634764f21b158","datavalue":{"value":{"entity-type":"item","numeric-id":5496352,"id":"Q5496352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a814a5f94e84c02f3810b46839ea485b591fc746","datavalue":{"value":{"amount":"+0.8209116458892822","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":"Q2630870$4A78BACF-5FE7-4B44-884D-9C62435BB882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a5c5e2252499f719821a3cb2aa414ed36b6c7a","datavalue":{"value":{"entity-type":"item","numeric-id":3093872,"id":"Q3093872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad42a7fbf04578be9d28b2299411bab524f706ad","datavalue":{"value":{"amount":"+0.7289071679115295","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":"Q2630870$09C3DC08-C267-4656-B64D-4C0C5974E391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3025e34dab7be1d0158c3e89d3c7638ba15e6a2","datavalue":{"value":{"entity-type":"item","numeric-id":3011110,"id":"Q3011110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5bcfefd197b53af03d2adb0037672ca173eb588","datavalue":{"value":{"amount":"+0.7196668982505798","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":"Q2630870$B576EE5D-B286-4E87-B456-2F89519BD5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f278fdebc40ceb6beeda9846063e19b3dc3c5b","datavalue":{"value":{"entity-type":"item","numeric-id":1407519,"id":"Q1407519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f19bcaaa4223ecce7c4f09785fda85a2a051f21b","datavalue":{"value":{"amount":"+0.7196235656738281","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":"Q2630870$46BEC7B2-B2EF-4B20-A748-E67CD5249485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"169572cab9e2cab46975ca3b777e57fcc8d3ec78","datavalue":{"value":{"entity-type":"item","numeric-id":4302357,"id":"Q4302357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51559c972269c9a67a521b704ee70f4ba4610379","datavalue":{"value":{"amount":"+0.706321120262146","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":"Q2630870$69BE99A9-36EE-4901-8DBA-8E80F9909426","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2630870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2630870"}}}}}