{"entities":{"Q1377641":{"pageid":1388381,"ns":120,"title":"Item:Q1377641","lastrevid":68760594,"modified":"2026-04-13T01:52:55Z","type":"item","id":"Q1377641","labels":{"en":{"language":"en","value":"Simple theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109922"}},"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":"Q1377641$E7EC9760-8FDA-4480-BCC1-630F4826DA9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f693966c5d90ece7313d14ac2a34d52390a92ffa","datavalue":{"value":{"text":"Simple theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377641$B45E8618-0598-41F7-85F6-7058A9883C0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b42ed35b623ad561e469aaefb2977c79c7b710a4","datavalue":{"value":"0897.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377641$4259066A-59E4-4938-AB41-DDA9526A08CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ec7ba6e7bcc67220990eaf8fa8d96b7e7a4e289","datavalue":{"value":"10.1016/S0168-0072(97)00019-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377641$3CE3F93A-6DA0-4EB5-B7F8-20BF70C7D03D","rank":"normal"}],"P16":[{"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":"Q1377641$C4E17F43-7CC8-4560-94DA-D0748B6A2412","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":"Q1377641$F4C59C68-AEAF-4BE7-8882-929D2D12AF43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377641$D3BDBA53-7C7F-4426-9BE8-1DC47D5CCD92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a674c4e1e8cb8fe7790fbdbe393a9377aa1d860","datavalue":{"value":{"time":"+1998-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377641$81B1559D-3BAC-4D2B-A791-FB6FAA873675","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81bf6e2ee5bfebafd235e8829122e3f05ee81766","datavalue":{"value":"The authors study simple theories in the sense of \\textit{S. Shelah} [Ann. Math. Logic 19, 177-203 (1980; Zbl 0489.03008)].   The Independence Theorem over a model \\(M\\) is the following: For \\(A\\supset M\\), \\(B\\supset M\\), \\(A\\) independent from \\(B\\) over \\(M\\), \\(p\\in S(M)\\), and \\(p_1\\in S(A)\\), \\(p_2\\in S(B)\\) both nonforking extensions of \\(p\\) [in the sense of \\textit{S. Shelah}, Classification theory and the number of non-isomorphic models. 2nd rev. ed. (1990; Zbl 0713.03013)], then there is \\(q\\in S(A\\cup B)\\) which extends both \\(p_1\\) and \\(p_2\\) and is also a nonforking extension of \\(p\\).   The authors prove the Independence Theorem for the models of simple theories. Moreover, they prove the following:   Theorem. Let \\(T\\) be an arbitrary theory. Then \\(T\\) is simple iff \\(T\\) has a notion of independence \\(\\Gamma\\) which satisfies the Independence Theorem over a model. Moreover, for such a \\(\\Gamma\\) holds: for all \\(a\\), \\(B\\), \\(A\\), \\((a,B,A)\\in\\Gamma\\) iff \\(tp(a/B)\\) does not fork over \\(A\\).   The Independence Theorem is also proved for Lascar strong types. Various notions of rank and their interconnections are considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377641$B23B7FDE-72BD-4ABF-A722-7A242FB4A59D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377641$F69037E8-3221-49DE-8654-E87C3EEF0CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377641$934AAEA0-360D-4714-AE62-284F4301ED7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a56d3037b44f90141bd81fabe071a62970fb697","datavalue":{"value":"1109922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377641$44A2F684-7F52-45A0-A08B-CA014932BC77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ebd57001806873b150d6d1f62be54a7d0c4b6b","datavalue":{"value":"simple theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377641$4197DF52-A157-48D9-9107-4D4C46DDBC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c99f4b234d7b2984d3fc29cb678e6d17d045f27","datavalue":{"value":"Independence Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377641$A4F863AD-DE9C-4A59-A854-DEE53225F9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8f937a3bc23ef16c83ddf9c2d3e7beaec136ed","datavalue":{"value":"nonforking extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377641$E45FD102-9AA3-4A73-9107-2C9ED173DF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9230f48297ec7f6df2305bef0b45a0ce15b7cfc1","datavalue":{"value":"Lascar strong types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377641$0AC23880-7C6D-4E53-BCF9-532DC551FD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85686c88b6675116cec177bbafff890f9021164","datavalue":{"value":"rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377641$DE90B088-2820-4FFF-871E-732EAF130DFA","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":"Q1377641$17CEC952-C19F-40D3-9A1F-59338968D76A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b845523cfefdf305a6f4da974b002c9e4b47c84c","datavalue":{"value":{"entity-type":"item","numeric-id":3994342,"id":"Q3994342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377641$B9B5EBD5-1E06-4865-A25A-FEF5678CFE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5be6982d75b0bdb3a465844336d6d6672da1a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3988353,"id":"Q3988353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377641$0F62CAB2-B2E2-43C3-88D4-B2BCF299E8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf4d8dbed61d90a2ddfc16a620260d1700f90bcb","datavalue":{"value":{"entity-type":"item","numeric-id":4807555,"id":"Q4807555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377641$5A9B6C17-87E5-4758-89B9-97B5035FDC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de4c9f12afce50a16fd191f9f6fd7402e2f3e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1074574,"id":"Q1074574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377641$94484766-57B2-40CC-89F4-0535E2072C04","rank":"normal"},{"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":"Q1377641$6A731232-6D37-4313-AEA6-CE9AB7A09161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5569e4b91da65b151d4796a95552203e8ce31ba4","datavalue":{"value":{"entity-type":"item","numeric-id":4698853,"id":"Q4698853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377641$24C7F775-F36D-45AA-8DA8-CEBE967C7289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd7c048a3aa80f60bdae1dbefacb9de769d6668","datavalue":{"value":{"entity-type":"item","numeric-id":3794159,"id":"Q3794159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377641$5AF25CFA-B152-4BE6-871E-1AE75603C156","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":"Q1377641$0522B460-3D02-4B92-BAC0-59B2C0E0181E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25002a311cfd0a74879325359d5d55ac42a9af4e","datavalue":{"value":{"entity-type":"item","numeric-id":3962974,"id":"Q3962974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377641$5AFFC9AA-7461-4321-992A-1AA9CBE9D26D","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":"Q1377641$6E65ED89-4B13-4A75-90A8-1DF88605E9B3","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":"Q1377641$E02BA9B8-EA39-4270-8451-49B85164E9DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4de4ad951eb7227ff6ca7cee3f56d4f0eabd8baf","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(97)00019-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1377641$3363D869-C7DE-474B-B87A-B6274F2B6361","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98b86146f9170d6eede6c47466539dc4c64eece9","datavalue":{"value":"W4212846603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377641$5024B2CC-A50A-4144-B911-6A9373CDB94C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5f5d856d799c7c48048723f26ab58d48f479e2","datavalue":{"value":{"entity-type":"item","numeric-id":4950412,"id":"Q4950412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377641$69C3BE17-553F-4642-A862-59678E8E5FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6991bf18522f134fe68f849328b896037e0109","datavalue":{"value":{"entity-type":"item","numeric-id":1407556,"id":"Q1407556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b3a85cb35493c77747c2e085aeaced6dc826593","datavalue":{"value":{"amount":"+0.90833616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377641$E60790B5-782F-4B77-9A8E-949BCE52455C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c1839c603e71723ee1cb15386a6b74289817943","datavalue":{"value":{"entity-type":"item","numeric-id":1407613,"id":"Q1407613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a2df4c6a4b054b8af02cc3489e1bcd53904a5b1","datavalue":{"value":{"amount":"+0.8838371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377641$2FB32EAD-6F18-400C-8A86-83A75DF5EFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5daa0bce49f8d5122d6f720d58d61dc0944a540f","datavalue":{"value":{"entity-type":"item","numeric-id":705540,"id":"Q705540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb541287107d0545241878d1dea106dc5393fc0","datavalue":{"value":{"amount":"+0.8768898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377641$9F7B78D9-353A-4BB7-BA1E-C9ABAD7C8EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4915073ed9ebc1af55570ff9ff00d214dea7a8dc","datavalue":{"value":{"entity-type":"item","numeric-id":2846559,"id":"Q2846559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a96bd0d5dc83ec6633cbdf25892fdccd6e549f","datavalue":{"value":{"amount":"+0.8724185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377641$FE87FF9A-DE6F-4C0F-9CB9-0B0B2FA51509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9105fd843f8e25b88fa2e420738cc723493baf5","datavalue":{"value":{"entity-type":"item","numeric-id":923068,"id":"Q923068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7dddc3816ddbfbb7f6660dcc047b91d701044c9","datavalue":{"value":{"amount":"+0.8640014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377641$FCFDECC1-254E-41EC-BD86-320E2C407A22","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":"7d5d05856a089b4bf7ec818651b7c26c5a42140b","datavalue":{"value":{"amount":"+0.8556707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377641$BCC6FD11-2769-40F7-B26D-844EE194A273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"897d6a961de366a017e482997bdfe699c4c6e8dd","datavalue":{"value":{"entity-type":"item","numeric-id":3299563,"id":"Q3299563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c893ef1fb238ae6ef845d03e9c728188891adc6a","datavalue":{"value":{"amount":"+0.85350275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377641$7155C267-6CEB-419A-BE3E-C9EA6F9F9F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15aef0fcf158985e75c37654e342a05306f8d106","datavalue":{"value":{"entity-type":"item","numeric-id":2707070,"id":"Q2707070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6183f641b7ddaab4536bbcccb9f896ee83fb6efc","datavalue":{"value":{"amount":"+0.83931863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377641$C0B7D860-ACEF-4E21-AF41-6BE94A97EC6A","rank":"normal"},{"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":"b7c03eccbf47c519b510fd230bcfa71a1e6f9e34","datavalue":{"value":{"amount":"+0.8363806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377641$0BEBC6EA-7E98-4ADB-BA9C-CA603E61234F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simple_theories"}}}}}