{"entities":{"Q372631":{"pageid":374398,"ns":120,"title":"Item:Q372631","lastrevid":61385130,"modified":"2026-04-10T23:01:48Z","type":"item","id":"Q372631","labels":{"en":{"language":"en","value":"Elimination of hyperimaginaries and stable independence in simple CM-trivial theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6214293"}},"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":"Q372631$16966BBE-6D1C-414A-A6D8-B859BA3E1ADB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9d93acce602ee15f8c56bd5dbf74051e24b045a","datavalue":{"value":{"text":"Elimination of hyperimaginaries and stable independence in simple CM-trivial theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q372631$13906937-BED4-452D-AFD8-9EC94E605013","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ff22484fb8576a89e6645ee9600b9ee3c5e2182","datavalue":{"value":"1278.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372631$0AFA4590-DD6F-4972-AAD8-3984874651B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3152723fcf4c4492b6738cd033c66bf45f60f4b1","datavalue":{"value":"10.1215/00294527-2143970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372631$16BFD961-D45C-4767-87FE-CD0A9255B645","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":"Q372631$D0FEF71C-B76A-4E09-91E0-34086182668E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3a25b4485e8891620915ff9cb8ef365b15ff9c8","datavalue":{"value":{"time":"+2013-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q372631$7D5D27B7-0AD9-4381-86A5-3B5EE2EE867A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd8143016db79b38785010675965083b0edf32a6","datavalue":{"value":"https://arxiv.org/abs/1006.5526","type":"string"},"datatype":"url"},"type":"statement","id":"Q372631$B5B4AEFE-DCD5-48AA-98AF-E7FD7FBE8FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1564d4a68356677a7e1753791b4a9d3baad44deb","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1376053778","type":"string"},"datatype":"url"},"type":"statement","id":"Q372631$B44868F8-1690-4520-B9AE-EA89A4D2A8F7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c77d6f4718596882be3f6851260b8104716923e1","datavalue":{"value":"In this paper the authors prove several results related to the important questions on elimination of hyperimaginaries and on stable forking in simple theories. The authors prove that in a CM-trivial theory (a generalization of a 1-based theory) every hyperimaginary is interbounded with a sequence of finitary hyperimaginaries and conclude that any such theory eliminates hyperimaginaries whenever it eliminates finitary hyperimaginaries, and that small CM-trivial theories always eliminate hyperimaginaries. In addition they prove that in a supersimple CM-trivial theory the relation \\(R(x;y,z)\\) defined by: ``\\(\\mathrm{tp}(x/yz)\\) doesn't fork over \\(y\\)'' is stable; the proof of this applies the machinary of regular types that is available in the supersimple case. A nice corollary of this (obtained in the current paper) is that any omega-categorical supersimple CM-trivial theory has stable forking. They also prove a related result in the general simple case: the relation \\(R(x;y,z)\\) defined by ``\\(\\mathrm{tp}(x/yz)\\) doesn't fork over \\(\\mathrm{Cl}(y)\\)'' is stable, where \\(\\mathrm{Cl}(y)\\) is the closure of \\(y\\) with respect to the family of all non-1-based types.","type":"string"},"datatype":"string"},"type":"statement","id":"Q372631$D6FF3398-5F58-40AF-92BA-E0CDD8A0D8E9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"797d948bbf47190d60d882c551f283764cc97147","datavalue":{"value":{"entity-type":"item","numeric-id":506956,"id":"Q506956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$8E6189F3-2B86-4F75-95A8-6F425B733B63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372631$3E9B9FD9-25D4-4744-95CE-6AFC0D939091","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ba154225455370a7b67c4eed35d8fa1bf55519d","datavalue":{"value":"6214293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372631$345CCD0A-C19A-4302-BC97-D28DCC3C48D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a002ca125446c6082468e412e2610ec94387b21","datavalue":{"value":"simple theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q372631$2565EBF0-1BA4-42F5-B2A3-2B77DD37B24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06f4aad0632a144490f5d481f7d31c41da7914af","datavalue":{"value":"supersimple theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q372631$37BF2D9D-0C92-460C-BEDD-77239490D325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a1f0da3b3a9ceea147f0137c46e4c4cdaa2bea","datavalue":{"value":"forking","type":"string"},"datatype":"string"},"type":"statement","id":"Q372631$1178C9A9-EA9E-4870-B64E-A66BD2A15F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"594e25cc99508c9433b731ba83b13ba95f85a887","datavalue":{"value":"CM-trivial theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q372631$DF6ABA61-18FB-4F87-9819-EF45B2C12955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba128235c4d7f43f03a2bec523b2e2150dcc446","datavalue":{"value":"stable forking","type":"string"},"datatype":"string"},"type":"statement","id":"Q372631$F20CDB07-374F-43E3-9D6E-C5F570D4B0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1abb11b49b8fa8eaf056a47be6d432c6fa26c5a9","datavalue":{"value":"elimination of hyperimaginaries","type":"string"},"datatype":"string"},"type":"statement","id":"Q372631$B6D4BF1D-9204-4A3B-922A-945B95BDE8D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1886dd8d0fe4d2310af361cfd21cc2cd8ed5b062","datavalue":{"value":{"entity-type":"item","numeric-id":721695,"id":"Q721695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$1D51CE84-92C9-4978-8177-FDD9D7BF17BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25575ca3f22143510be4ba80db5e6e757115059f","datavalue":{"value":{"entity-type":"item","numeric-id":495135,"id":"Q495135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$FF97CE8F-CC20-4435-8992-0910EF231362","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":"Q372631$99E31C7A-F8CD-4979-98E0-C7A9ADB517FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97616d918ed810dcbd22ad514930f9dd5e6889bf","datavalue":{"value":"W3098171495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372631$1A026F09-FA59-4250-B8E5-EC32FA10758C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97549f7f3a685a92dae757d480d7a1974cfd5bfe","datavalue":{"value":{"entity-type":"item","numeric-id":4517120,"id":"Q4517120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$1E66EAFD-FBEF-4CE7-A8C9-B31B6B4B82E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e439bfb98336841b9c837aaa17d545e5d7077d0e","datavalue":{"value":{"entity-type":"item","numeric-id":3170580,"id":"Q3170580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$F21E7CCB-3CF3-41D6-9E80-2FAA60D6851F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e255dc1392aa443bd5a3b92f62c11c2532ca7ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4452256,"id":"Q4452256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$7CC49AC6-C2B6-4EB5-A47C-4A1D8F9D6E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa72f206e1e3a59be33cb215e66af70cb5fdcb63","datavalue":{"value":{"entity-type":"item","numeric-id":688797,"id":"Q688797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$D2580C4E-5122-4413-BA6E-AB178935D42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5150e8a0646e0b67933013165a2ad96d010fd1be","datavalue":{"value":{"entity-type":"item","numeric-id":4953221,"id":"Q4953221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$ECE830FB-F588-4890-AC5B-80E6A9DD12CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7976f328829629e30855e51fcfc4671b8fd313fc","datavalue":{"value":{"entity-type":"item","numeric-id":4227874,"id":"Q4227874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$7A2A7F02-B265-49CB-867E-BB9F8CC7CC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713db07d932565ec1d4534276b87ad53d8486840","datavalue":{"value":{"entity-type":"item","numeric-id":2747721,"id":"Q2747721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$24131329-9C14-4D17-B6E7-25681A014E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2423ee7b39b189b942f85c25003130a20b43070","datavalue":{"value":{"entity-type":"item","numeric-id":2773240,"id":"Q2773240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$AEC93959-55A0-4CEF-853F-3C266FC68AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae18dd25e2802b4babe673a9412a1c416a9cf72","datavalue":{"value":{"entity-type":"item","numeric-id":2732271,"id":"Q2732271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$DCC7F71D-E11F-45DF-AA1F-D9C9065E9D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70ac824334c39d8446dcb5e80693b74fb478d38","datavalue":{"value":{"entity-type":"item","numeric-id":5300074,"id":"Q5300074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$DF832097-93D9-4FA3-B00A-5699EEBB5CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec665c7dc64be38e2f9bb0c504730ff0587322b","datavalue":{"value":{"entity-type":"item","numeric-id":4876323,"id":"Q4876323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$514865E8-3285-4570-A4FD-CA08687F7D64","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":"Q372631$467CAD51-E882-48F7-B6FC-F213F2C1A371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c3c838fc74c4b028c6bfaad41bf0f433470091","datavalue":{"value":{"entity-type":"item","numeric-id":3767327,"id":"Q3767327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$E84D021A-8F28-41E9-BD9A-0A66AD68AB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d61d1baef4674683cb34a9397ac3a549e4f1af2","datavalue":{"value":{"entity-type":"item","numeric-id":4950412,"id":"Q4950412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372631$5219D70B-1DFD-4DBA-8E13-43FAA0DEF9FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120fbcdf23c94c4b45bc3120d0fb8954428ea59d","datavalue":{"value":{"entity-type":"item","numeric-id":4517120,"id":"Q4517120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a6faabc2da2210bb21c071b24724a664e8bea5","datavalue":{"value":{"amount":"+0.8385890126228333","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":"Q372631$DB66398C-E660-4CDD-B299-8F822AF456B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92bc5f3c79161c78297fcbf7ef4dc8150c42521b","datavalue":{"value":{"entity-type":"item","numeric-id":1030014,"id":"Q1030014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a6faabc2da2210bb21c071b24724a664e8bea5","datavalue":{"value":{"amount":"+0.8385890126228333","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":"Q372631$1CD9BEEA-EBB1-46FE-9AE7-ECB3FF841CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e724b9e952a7de7895e1fcdf0dea06bd578069b","datavalue":{"value":{"entity-type":"item","numeric-id":3170580,"id":"Q3170580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f1939c8d519c34d66cb74c9accd5d8a4e93308","datavalue":{"value":{"amount":"+0.7810020446777344","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":"Q372631$9FE9D44D-AFE5-4A5D-9FA2-C71A7D70B323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7a9220576faf4716eef1ea277a345981184533c","datavalue":{"value":{"entity-type":"item","numeric-id":4876323,"id":"Q4876323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"953742d5cd6e74781a4fec38577e6ed948a9b3d3","datavalue":{"value":{"amount":"+0.7737783789634705","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":"Q372631$09AB757F-51F3-4268-91B1-5DAFC4F9A9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ca8654d825902032d99efc4d9591e07d2864796","datavalue":{"value":{"entity-type":"item","numeric-id":1400602,"id":"Q1400602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fedc545b018b19d5daae9d8382322ccbc4f34ab4","datavalue":{"value":{"amount":"+0.7532578706741333","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":"Q372631$09054C6C-EC64-4682-A27E-33660AB78F36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elimination of hyperimaginaries and stable independence in simple CM-trivial theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elimination_of_hyperimaginaries_and_stable_independence_in_simple_CM-trivial_theories"}}}}}