{"entities":{"Q5937833":{"pageid":8114635,"ns":120,"title":"Item:Q5937833","lastrevid":47641726,"modified":"2026-01-02T07:15:24Z","type":"item","id":"Q5937833","labels":{"en":{"language":"en","value":"A supersimple nonlow theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1620828"}},"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":"Q5937833$C174E85B-104B-43C1-BE4F-C660FDAFBEE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24f9a182ae0375a74b456844fb8ececde6234a2a","datavalue":{"value":{"text":"A supersimple nonlow theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937833$97ACB1E9-4C61-4BE5-BFCB-8EB0E3F46E96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e59f17f4466aa3cbce85e2da4726ad8985b759ab","datavalue":{"value":"0973.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937833$668AB372-A8F1-4CEF-8583-FA5A4F91AD04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c0f2b1fd84cbb85ff06875faec7209ad397b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":190311,"id":"Q190311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937833$3038946E-466A-42FC-988E-F19CD5760655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9940f4593f08ad517651bdf24f756ef2587f7498","datavalue":{"value":{"entity-type":"item","numeric-id":190312,"id":"Q190312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937833$D5445D13-F8BB-45A5-9ECC-2F92042ABC9C","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":"Q5937833$B4EC595C-3481-4C80-9770-3D39E1CF1EB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb916ad91e9e27f9d11a7b9fee5e1117f9d898f2","datavalue":{"value":{"time":"+2001-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937833$6798A1BF-2A5B-4940-8950-505522F2F5E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b44ab2ab89d6b11aa6f7da0ef60936cfd52cfe4","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937833$85E2BAA6-77E5-4C41-8217-28931FDD8F2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937833$0A4107A6-ED25-43F1-98DE-BDE628D268FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d54428ef043db774ea76444314095e3d85e08f2","datavalue":{"value":"1620828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937833$CB52B198-EE22-41C0-AC2A-AC663A98F538","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"388d000612df122bf164aa5eba342cc4fc054f99","datavalue":{"value":"low theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937833$619CC288-AE13-4527-A68B-EE0D013DE488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9230f48297ec7f6df2305bef0b45a0ce15b7cfc1","datavalue":{"value":"Lascar strong types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937833$68E335E5-1DC1-4C35-ADA7-F80FD56B8751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06f4aad0632a144490f5d481f7d31c41da7914af","datavalue":{"value":"supersimple theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937833$D1AAB1D2-A9E1-481C-AACA-AD556DE88C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a1f0da3b3a9ceea147f0137c46e4c4cdaa2bea","datavalue":{"value":"forking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937833$F5CEB8C8-4FD0-4637-ACB5-5CBA15801B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937833$381CE5F1-A212-42D9-B953-A409207AA428","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":"Q5937833$4CB58CA5-7FD0-4B0C-8DD7-94746CD731EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27276bc61cdeb68324bcb2c5389354a028b78c3c","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1039118865","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937833$1649B01F-DCD3-411C-9D29-66B3DBED2E69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"222372b43812054d821f8b020ba27516f068b712","datavalue":{"value":"W1998506835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937833$FD22BFFD-864B-4623-BEAA-33AAD178C20B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"846393ed87076e701f76752195723cde41c49e92","datavalue":{"value":{"entity-type":"item","numeric-id":4262587,"id":"Q4262587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937833$91A06BC0-C521-46D5-AADE-665DBB3F6CEA","rank":"normal"},{"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":"Q5937833$845F82BB-1F8F-4FD8-8BE9-30E27F01F8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4e2a9946e211059a719a18e65c7bfa3aae7da78","datavalue":{"value":{"entity-type":"item","numeric-id":1302290,"id":"Q1302290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937833$76D38447-9D98-40ED-834C-4E2FA47BE49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4bbe5491528e102f4686ba38f32fbc9beab1bf","datavalue":{"value":{"entity-type":"item","numeric-id":4716690,"id":"Q4716690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937833$9A425564-7F90-4353-816D-74964464BA12","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":"Q5937833$D2B8C7A5-96DD-4E6A-AEB1-1A65EAF74E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabcb33c6d666b779eda8df6727aad36d59e3e70","datavalue":{"value":{"entity-type":"item","numeric-id":1377641,"id":"Q1377641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937833$7A778FFA-2CB0-460B-9726-E477E9DFAA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937833$06767B9E-FA4E-45A2-A2F1-76425BB0AD47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"827a9e1b8050b5cd32c5a50602a0a2c1ab9d3d25","datavalue":{"value":"10.1305/NDJFL/1039118865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937833$A1C760AD-8B92-4FA7-97E7-0014EA98B712","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"08db120d8ae0a55137f2707c7980fc5716bf259c","datavalue":{"value":"In J. Symb. Log. 64, No. 2, 817-824 (1999; Zbl 0930.03035), \\textit{S. Buechler} introduced a class of simple theories, called low, and showed that in a low theory Lascar strong types are the same as strong types. This is a noteworthy result; in fact, it is still an open question whether the Independence Theorem, true in every stable theory, holds in simple theories, too. In this enlarged setting, only a weaker version, concerning Lascar strong types and due to Kim and Pillay, is known. Hence Buechler's result implies that the Independence Theorem holds in all generality within low theories. NEWLINENEWLINENEWLINELow theories include stable theories and overlap supersimple theories. Moreover, recently Buechler, Pillay and Wagner generalized Buechler's Theorem to arbitrary supersimple theories. So it is natural to ask if any supersimple theory is low. The paper under review solves this question negatively, by explicitly producing a suitable counterexample. A characterization of forking and independence in this supersimple non-low theory is also provided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937833$BA2B2748-4071-41F2-B673-D9F10DC0F20A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cbbd12db6ec0558cbf87d021084a12ba6e5878b","datavalue":{"value":{"entity-type":"item","numeric-id":2710591,"id":"Q2710591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60959d768c8cd970426273117d2057278db74736","datavalue":{"value":{"amount":"+0.8802329301834106","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":"Q5937833$918C57DC-07C8-43FD-BA33-8EE0EC165629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b8e241087664c79c33af8ed2052f41d48a7e35","datavalue":{"value":{"entity-type":"item","numeric-id":4934033,"id":"Q4934033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0adba11a633c70a5301fad90a4e2a4d355530c21","datavalue":{"value":{"amount":"+0.8791537880897522","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":"Q5937833$4B471747-6103-43D1-B1CD-2A6500E01D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a76b4bf979149d6adfc356445c4c95bcb696339","datavalue":{"value":{"entity-type":"item","numeric-id":1938394,"id":"Q1938394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e413e3d50099bfc602e2e71d125bacd0a290261","datavalue":{"value":{"amount":"+0.8182419538497925","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":"Q5937833$FE1706AF-3CD1-4DD9-93DE-5AB8627C98D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48beb0dea6654c8021f4247c82ea64b721c0083b","datavalue":{"value":{"entity-type":"item","numeric-id":1377641,"id":"Q1377641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d16fcfa301c681f39bc29fd758d84cce22b506d","datavalue":{"value":{"amount":"+0.8072825074195862","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":"Q5937833$02578DD1-E023-4165-8034-0CE97DE746D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5559de30d8c230ed44c3fedd215be501a91746e","datavalue":{"value":{"entity-type":"item","numeric-id":817964,"id":"Q817964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d16fcfa301c681f39bc29fd758d84cce22b506d","datavalue":{"value":{"amount":"+0.8072825074195862","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":"Q5937833$F2811C9F-7DE5-41C6-8D4D-695FB7E6854E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5937833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5937833"}}}}}