{"entities":{"Q2710591":{"pageid":2721330,"ns":120,"title":"Item:Q2710591","lastrevid":47603305,"modified":"2026-01-02T04:57:28Z","type":"item","id":"Q2710591","labels":{"en":{"language":"en","value":"Definability in low simple theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1590598"}},"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":"Q2710591$1149C4F1-AA4E-4285-A487-F0794376D7E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b57986ddf97bc6523111fd0ff29f522f7742ddc6","datavalue":{"value":{"text":"Definability in low simple theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2710591$2A87DBF5-31C5-413E-BBA5-2239671E277D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32b1f0923673ed4cc452798054556b14a9454ee7","datavalue":{"value":"0973.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710591$77BC3FFB-0EA9-4226-B2C0-C3908BD1ADB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b97b23597e83e343966e93b405c61d3cdec4435","datavalue":{"value":"10.2307/2695059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710591$BB4296E7-01D1-4582-BC2B-3AAE01E38DFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ee91d2389885e741737705f11f35d1bec529490","datavalue":{"value":{"entity-type":"item","numeric-id":506956,"id":"Q506956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710591$D9CC9F35-D124-4933-9F3A-E975050A8409","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fba7b4effb84a88b7fdd3dc13d46ebf2f476ceee","datavalue":{"value":{"time":"+2001-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2710591$6B32EEB3-2449-47CF-B9D4-E8CFD5198803","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710591$036CDE5B-5D6F-4D36-B30C-0AD6F4570FF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4ffdbcaf7a43066ddc97d3316483d48aedd6276","datavalue":{"value":"1590598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710591$8387A506-DB9A-409D-B9A0-AB40A39AD079","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ebd57001806873b150d6d1f62be54a7d0c4b6b","datavalue":{"value":"simple theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710591$D3E4E299-F374-4FF9-99B6-6570244826CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710591$A6DBB685-B13C-45EE-A49F-96969C6A6E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6de9d6881a0598862f89e30e14fd86d6ce5c81fb","datavalue":{"value":"low theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710591$F343B76A-67F6-4223-8378-6F202C28E6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9230f48297ec7f6df2305bef0b45a0ce15b7cfc1","datavalue":{"value":"Lascar strong types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710591$84962622-E57E-4E99-A506-8373B67CAEBC","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":"Q2710591$04E60D35-5B95-47F2-9342-498E94D81ABF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fefae40de40853afea754f81e779d82fa4d0789","datavalue":{"value":"https://doi.org/10.2307/2695059","type":"string"},"datatype":"url"},"type":"statement","id":"Q2710591$19203311-4836-43CA-A649-03C65DB39C61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b943e6f9f7d10a68ddd139e9452ae44f657fc5b4","datavalue":{"value":"W2072020033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710591$62FD4BA5-B4D0-47B3-BC24-312CAC1F9C82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e96d587107e8c9fcd86fcc327d285cd1ca57f","datavalue":{"value":{"entity-type":"item","numeric-id":1320034,"id":"Q1320034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710591$70C62199-7B0F-47D8-BA97-58CC7678564A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f0bff5f2cdc15c85ed3c713c7c37f87d93425b","datavalue":{"value":{"entity-type":"item","numeric-id":3950543,"id":"Q3950543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710591$1889C2F6-9D26-4DA9-B884-81D1FDC3EDAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710591$9EEB9F48-BA2E-4A4E-AC32-1D1BC6252699","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e8c51929f473227dd6d425981f1051b5e4625fb8","datavalue":{"value":"It is an open question whether the Independence Theorem, true in every stable theory, holds in simple theories, too. In Ann. Pure Appl. Log. 88, No. 2-3, 149-164 (1997; Zbl 0897.03036), \\textit{B. Kim} and \\textit{A. Pillay} showed in this enlarged setting a weaker version, using Lascar strong types instead of strong types. Later Buechler introduced a class of simple theories, called low, including stable theories as well as certain supersimple theories, where a Lascar strong type is the same as a strong type, and so the Independence Theorem holds in all generality. The paper under review proposes a new approach both to Buechler's and Kim-Pillay's theorems. Definability in low theories is also discussed, as well as equality between Lascar strong types in the simple framework. Finally, the paper compares Lascar strong types and types within simple theories, and provides a (necessary and sufficient) condition ensuring their equivalence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710591$55A56A3B-22A9-4EFE-BBE6-20A1CB663E09","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":"Q2710591$55CFB576-E7ED-4D78-B99A-0B8D35DED4A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d02f0d8c967864f61a1aaa6c56553c7af5354c","datavalue":{"value":{"entity-type":"item","numeric-id":5937833,"id":"Q5937833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"102f83fb6e9f4abdabae32a1fd33a92e4abe7c44","datavalue":{"value":{"amount":"+0.8803722262382507","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":"Q2710591$8AB6BA06-80BE-41F9-8F8D-F251A182CFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"057eb171eb3ab2834ef910ac8a47c6e077a8a5b1","datavalue":{"value":{"entity-type":"item","numeric-id":3149993,"id":"Q3149993"},"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":"Q2710591$CD6EF314-0803-4E3C-A7F3-52A15F481C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19d2fe509a1649ce9c8dcc9ade0bff8fcd8d564d","datavalue":{"value":{"entity-type":"item","numeric-id":4262587,"id":"Q4262587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9261ecee0eefcf71be32f17b173c0598f9b049","datavalue":{"value":{"amount":"+0.8353849649429321","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":"Q2710591$6F828EED-1849-4EA0-AEE2-EA5610B018EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1af5761f2d13250a05ea4415d610dbdc1b0484","datavalue":{"value":{"entity-type":"item","numeric-id":4392803,"id":"Q4392803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9261ecee0eefcf71be32f17b173c0598f9b049","datavalue":{"value":{"amount":"+0.8353849649429321","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":"Q2710591$38354B10-0A81-4A23-8CD7-5FBA9B484B0F","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":"ad887e0a304761838bbf4d4bfed260a4548c54e7","datavalue":{"value":{"amount":"+0.8272216320037842","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":"Q2710591$F6320B56-C400-420E-8C99-3C4A10D3DBBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2710591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2710591"}}}}}