{"entities":{"Q2790282":{"pageid":2801020,"ns":120,"title":"Item:Q2790282","lastrevid":83433290,"modified":"2026-05-07T07:50:35Z","type":"item","id":"Q2790282","labels":{"en":{"language":"en","value":"The stable regularity lemma revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6549241"}},"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":"Q2790282$5FEA0946-2811-437C-AF88-F5DF3FBA174B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19e39f1461ad5212528e8d55282a34bbe7f82e51","datavalue":{"value":{"text":"The stable regularity lemma revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2790282$F3FA526D-6CB8-41AE-8D08-16C15E0032E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"168866c5698946cc12fe3716e73d1a93c04636d0","datavalue":{"value":"1348.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790282$C8028CFC-B4B2-49D3-A6D1-4CBB743B75D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790282$486E0F2A-C0EC-4130-9C5A-8AAF97455012","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d52204fed404bf2ed1b04cfddb1beafe0e3bd5a","datavalue":{"value":{"time":"+2016-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2790282$561AFFCD-6EA2-42A1-899B-EA68EC43EA3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e04a379d5a6fc0ff1cdeceac76a4c980b8928733","datavalue":{"value":"https://arxiv.org/abs/1504.06288","type":"string"},"datatype":"url"},"type":"statement","id":"Q2790282$90E08FC0-25C1-44D0-812D-43924B8C8EAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790282$C8920AB5-9DD5-44DC-B04A-7BEF7785E39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790282$2DE005D2-BFF3-44F8-A149-CA1B95CD4DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fd5ba61c492f09082ae88370fa92e256be14e94","datavalue":{"value":"05C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790282$0DA83512-5CC2-46D4-A88E-325CB1CE37CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbf84b09af03b85e7393ece29901e83de77188f7","datavalue":{"value":"6549241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790282$7C7C8A68-F216-4E50-80EE-912B946B3C75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3187e84c5efaed03d0bd9515713a70084404d3ee","datavalue":{"value":"bipartite graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790282$E265DDAE-0C4A-487C-A3CF-D774171DBF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f2d8b4b1e45ee2965cbace6791b1f9d68611e9a","datavalue":{"value":"Keisler measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790282$A5D83419-EF05-43D4-8010-F5E70F348FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1a55ba5e5ae71e39cd2c561a862d90de0615e61","datavalue":{"value":"regularity lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790282$EA996DDF-55E5-401A-9150-6C5E7136D611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbef8ec2a565e15dc878cc89119c1d316518d5c","datavalue":{"value":"stable relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790282$A184FE0F-5E14-4F93-86D9-E55A26311B82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"442e2d80fab05ba913984e3f5d25db3ffd4680e7","datavalue":{"value":{"entity-type":"item","numeric-id":1650012,"id":"Q1650012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790282$67B56299-785A-4F92-A57A-E7BD10EF14DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"824231740ca0a4d8eabfc51e38ff349826d12a75","datavalue":{"value":{"entity-type":"item","numeric-id":372633,"id":"Q372633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790282$7F458768-A4C0-4F7A-B366-3233F0FD71BB","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":"Q2790282$E957EDEB-F1C7-4477-A075-30A5AE7FEF34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"087e26f422769893dc9c4162f1ace51f85772eef","datavalue":{"value":"W2171698968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790282$DE560A45-CA91-4167-AB2B-91E3B97661EB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cf43590d7e1d8cbdbd07f188a94c03a6d8ff7043","datavalue":{"value":"Q124826818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790282$C8E34E4F-D61F-4F73-9F5E-5A99721CBEF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e6e2651c00514d0e02b6dddf3fbfe687a7f3ea","datavalue":{"value":{"entity-type":"item","numeric-id":2838068,"id":"Q2838068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790282$27B17166-8A1D-45E4-9569-CDE7D7413E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f67af0ba86d336148f6919cdf7a8302dd6be93","datavalue":{"value":{"entity-type":"item","numeric-id":1095891,"id":"Q1095891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790282$CFB5B088-A016-4D0F-94A4-4E1C3DAE53F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356dc800ec5cc6252d3d2d475ca06b5e6e231114","datavalue":{"value":{"entity-type":"item","numeric-id":5401732,"id":"Q5401732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790282$F3091A7F-3C8B-45DC-B52F-99E46B0986B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc06b940bf88f9f4eae26bccca678abd1659d59","datavalue":{"value":{"entity-type":"item","numeric-id":3130253,"id":"Q3130253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790282$CD5704E3-15B8-4E82-844C-2B31EA85AAB9","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":"Q2790282$19D0A7C2-4B13-49CC-A33E-5B1C5E73CB62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c4a1e6eab3c12c727d0a8985ee0f73ec676b925","datavalue":{"value":"10.1090/PROC/12870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790282$DD2B5C5C-26C3-489F-B1F2-84E8042B65C3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"552eecafa3e0e20d79c6f5c5981ee984ea55c87f","datavalue":{"value":"The authors prove a qualitative version of the regularity lemma for bipartite graphs which are definable, eventually with parameters, in a saturated model and whose edge relation is stable.NEWLINENEWLINEGiven a bipartite graph \\((V,W,R)\\) that is definable in a saturated model \\(M\\) whose edge relation \\(R\\) is stable in the sense of Shelah, and two Keisler measures (finitely additive probability measures on the definable, with parameters, subsets of \\(V\\) and \\(W\\), respectively) \\(\\mu_V\\) and \\(\\nu_W\\), the authors prove that whenever \\(\\varepsilon>0\\) is given, \\(V\\) and \\(W\\) can be partitioned in finitely many pieces \\(V_i\\) and \\(W_i\\), \\(i\\leq m\\), such that:NEWLINE{\\parindent=7mmNEWLINE\\begin{itemize}\\item[--]each \\(V_i\\) and \\(W_i\\) is definable as a finite Boolean combinations of sets of the form \\(\\{x\\mid R(x,w)\\}\\) and \\(\\{y\\mid R(v,y)\\}\\), for \\(v\\in V\\) and \\(w\\in W\\) and eitherNEWLINE\\item[--]there are \\(A_i,B_i\\) with \\(A_i\\subseteq V_i\\), \\(B_i\\subseteq W_i\\), \\(\\mu_V(V_i\\setminus A_i)\\leq\\varepsilon\\mu_V(V_i)\\) and \\(\\nu_W(W_i\\setminus B_i)\\leq\\varepsilon\\nu_W(W_i)\\) such that \\(A_i\\times W_j, V_i\\times B_j\\subseteq R\\) for all \\(i,j\\) orNEWLINE\\item[--]there are \\(A_i,B_i\\) as above such that \\(A_i\\times W_j, V_i\\times B_j\\subseteq (V\\times W)\\setminus R\\) for all \\(i,j\\).NEWLINENEWLINE\\end{itemize}}NEWLINENEWLINEThe proof makes a strong use of forcing. A key tool used in the proof is that, if \\(\\Delta\\) is the collection of all formulas obtained as Boolean combination of formulas of the form \\(R(x,a)\\), for \\(a\\in W\\), and \\(V\\), \\(W\\), \\(R\\) and \\(M\\) are as above, then every complete \\(\\Delta\\)-type over \\(M\\) has a unique nonforking extension to a global complete \\(\\Delta\\)-type.NEWLINENEWLINEAs a consequence, the regularity lemma for finite stable graphs (where the Keisler measure is given by the counting measure) obtained by the first author and \\textit{S. Shelah} [Trans. Am. Math. Soc. 366, No. 3, 1551--1585 (2014; Zbl 1283.05234)], is recovered in its qualitative version.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790282$2A02CF6B-9729-4F3E-8E6E-0507ADF0F598","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a58fb05f4fe37717980c5b04a4209c80ab391ae8","datavalue":{"value":{"entity-type":"item","numeric-id":284595,"id":"Q284595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790282$8470BAAB-939E-4592-8184-F20F9B3E9E01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a895428e5ae23e002e77b264a0f6b6482e304106","datavalue":{"value":{"entity-type":"item","numeric-id":5401732,"id":"Q5401732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae9a307405c7a08fa2ffb1c4b1189e6bd90bc94","datavalue":{"value":{"amount":"+0.8391110897064209","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":"Q2790282$CAC5B1CF-06E5-4DB1-99D3-A2CEB9EB1DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a058bc271af9e4a933f611af4e3ee6ab30c2ac7c","datavalue":{"value":{"entity-type":"item","numeric-id":1989603,"id":"Q1989603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a3f8573029fd0aa634bb0e5441805d168f314a7","datavalue":{"value":{"amount":"+0.7998316884040833","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":"Q2790282$1F37140B-63C0-4E82-9D8C-A5A7587881A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bba2ff976c24245ffc618ed93f16c4192b3675c","datavalue":{"value":{"entity-type":"item","numeric-id":5021378,"id":"Q5021378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df32094e8b6a13d53c8263c65c3a236b9051ff4c","datavalue":{"value":{"amount":"+0.783319354057312","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":"Q2790282$FA1F0BF7-D490-4F0D-BED8-B43C99F86B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4af57a98d336df8bb2ab36cb5d2fe0a4e61ec63","datavalue":{"value":{"entity-type":"item","numeric-id":2809212,"id":"Q2809212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e45940e2d5ac43598dc85bee26eb80719d9ebe9","datavalue":{"value":{"amount":"+0.7799280881881714","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":"Q2790282$9E086A56-E850-4FF2-9118-F3FC171557C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28749d1014cb0a1569b21e4730f77b51ddc3fc76","datavalue":{"value":{"entity-type":"item","numeric-id":4629400,"id":"Q4629400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf9b5fb1b848fdda758103151ac32f0ac1b0b4b","datavalue":{"value":{"amount":"+0.779662013053894","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":"Q2790282$EC378D66-2664-4118-9453-090A14C5BE79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The stable regularity lemma revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_stable_regularity_lemma_revisited"}}}}}