{"entities":{"Q705540":{"pageid":707389,"ns":120,"title":"Item:Q705540","lastrevid":63668625,"modified":"2026-04-11T14:44:17Z","type":"item","id":"Q705540","labels":{"en":{"language":"en","value":"\\(n\\)-simple theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2131597"}},"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":"Q705540$472D6D33-4AD4-4F55-B614-A7EF11BBD4A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aec4d431a4e49d4c6c7052666a6c844d562b9efe","datavalue":{"value":{"text":"\\(n\\)-simple theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q705540$B2F689C9-BA08-4DA2-9F12-2C30E62AC237","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97d8b3624959e235a8997b67b785a97b401852d6","datavalue":{"value":"1067.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705540$922949D9-788A-4B04-AB26-36CE420347A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd30ab60a02b8557007754716062f501955c5ede","datavalue":{"value":{"entity-type":"item","numeric-id":705539,"id":"Q705539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705540$A55016C3-5844-486E-8112-B750EAE635FD","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":"Q705540$E7F5B425-BDCD-4DCC-997C-B2DA86E4A764","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a8a233f543dd709165488f1586caeaa25d93c0f","datavalue":{"value":{"time":"+2005-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q705540$2896A79D-83F8-428C-B486-4D065CF8861A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"271fb6a8e6e37389f398f8419ba8020ec95da94c","datavalue":{"value":"The author develops a properly increasing hierarchy of conditions stronger than simplicity but weaker than stability, called strong \\(n\\)-simplicity in terms of \\(n\\)-dimensional local ranks, a strong \\(n\\)-dimensional tree property, and strong \\(n\\)-dividing; moreover he constructs examples for every level. In particular, the random graph is strongly \\(n\\)-simple for all \\(n<\\omega\\). He proves that in a strongly \\(2\\)-simple theory a non-forking type-extension of a Lascar strong type is again Lascar strong, and relates strong \\(n\\)-simplicity to the strong \\(n\\)-amalgamation property.   However, in the last section he gives an example by Wagner to show that \\(n\\)-simplicity is not preserved under interpretation, and in particular under passage to imaginaries. This leads to the (weaker) definition of \\(n\\)-simple and \\(n\\)-dimensional amalgamation, where all the variables are required to be boundedly closed; the author states the result that \\(k\\)-dimensional amalgamation for \\(2\\leq k\\leq n+1\\) implies \\(n\\)-simplicity; work on the converse is in progress.","type":"string"},"datatype":"string"},"type":"statement","id":"Q705540$6E6FC228-A7A3-4412-A4CF-2E03036BC1A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705540$7E96E34F-583F-4EB2-BDBE-5F87FDDA4A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705540$9654684B-D52E-417B-BFF2-978D157C31DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25681aaa8fa0fec65521677d1f55222a51d0fa88","datavalue":{"value":"2131597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705540$EEE8C5D2-F5DD-4FD9-A086-D37B6A0101C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ca18c5209951f3fc4b7d172461b9c314acd73c","datavalue":{"value":"strongly \\(n\\)-simple theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q705540$6CDDB1C3-732A-463A-BA09-E4F60C0E74AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbab5acb43a24447316a30d22fde2b7649d6867","datavalue":{"value":"simplicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q705540$329488A6-C17D-4170-BFC9-8D3E90D96C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q705540$CAFDA2AD-35BF-46F4-BEDF-632BFA15481C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0446baf9c31d45b16691b35420e6e46c50f286","datavalue":{"value":"random graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q705540$0342ED8F-ECF3-4A64-A38E-6B6A19F3C22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f00a0dcee86e79f89bd8671cff3307cc7e00a4b","datavalue":{"value":"Lascar strong type","type":"string"},"datatype":"string"},"type":"statement","id":"Q705540$6B2BF26D-BD52-45FF-AF95-7E89451055A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7971191253cffef6cab01bf10ede1012295b1b3","datavalue":{"value":"strong \\(n\\)-amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q705540$7C42326A-74E9-4B50-8129-D6A718B9544A","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":"Q705540$A8F43645-0A62-4D25-8190-3B8729D8C22C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70918318e5d6f99896eeb731b072ee75116bd02c","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q705540$D4CE04EA-6BE8-4C5A-B5BB-B94A2790C9B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"652d4fe7a7f0d72783de05e26fd695255d900168","datavalue":{"value":"W1977011877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705540$FF882051-AA15-4434-9A6C-4F28C17CB762","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":"Q705540$9A0B399A-11D1-47B0-B745-840FBEADFE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6df34505b758e9991b5da77d041316a1b9347ab","datavalue":{"value":{"entity-type":"item","numeric-id":4243636,"id":"Q4243636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705540$A156FA3D-1738-4DB3-A688-0F0AC9BE291F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee794d0c24f4f2797006e5c50c86de682c0ce7c","datavalue":{"value":{"entity-type":"item","numeric-id":3444853,"id":"Q3444853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705540$9E9309DC-4393-40A5-B2CA-C6A7C080F91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385ec921e7877c4cf9aa2c86a7e22ff7f5c56ac8","datavalue":{"value":{"entity-type":"item","numeric-id":1407556,"id":"Q1407556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705540$24DC014E-5C1D-4EBA-AF91-21D2EA003B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea8d7e47c4a318876eaf32db92f4cb6b210ead6","datavalue":{"value":{"entity-type":"item","numeric-id":5700776,"id":"Q5700776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705540$E0607879-A87A-47A9-B1AD-B24C747311B1","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":"Q705540$0C36A8D6-1B8B-43D7-A064-9CCD0567C2A1","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":"Q705540$9FE25DB4-DC6F-40B2-9D93-BB03C323D9BB","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":"Q705540$E4D25AEC-FDCE-4D33-A84B-F834A9C78190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6c71553e4c65ffc793fe1788213112d7655a3a","datavalue":{"value":{"entity-type":"item","numeric-id":2710591,"id":"Q2710591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705540$3BE94338-4546-48C3-8A24-9DDDD7872163","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":"Q705540$4AFDDA2E-3A90-404E-BE51-AC1ACBEF0E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02fb39e3919b2bcdc345a241ee0b2c4d834f4d29","datavalue":{"value":{"entity-type":"item","numeric-id":4496342,"id":"Q4496342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705540$4F2C773A-8A69-4ACE-885E-35AE37D98524","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":"Q705540$D381444E-8AF3-4F2F-8D0A-30B874EBE3CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68e33e7630706aa4a5624d953fe9f9fa480cd70e","datavalue":{"value":"10.1016/J.APAL.2004.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705540$862927B9-AD5D-495D-B9F5-56BB96C15224","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32525828508954003d2ae9b0363133fd4101ceaf","datavalue":{"value":{"entity-type":"item","numeric-id":952485,"id":"Q952485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d2ee47616d929e6b250c3adc71e21640b66e3f","datavalue":{"value":{"amount":"+0.8851210474967957","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":"Q705540$041DE13C-171E-4883-94A4-4A93273958FB","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":"f4357ab1331c26e52592460d85815702c37fbc56","datavalue":{"value":{"amount":"+0.8031371831893921","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":"Q705540$1610E457-4354-427E-B963-5532088A5A7D","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":"f4357ab1331c26e52592460d85815702c37fbc56","datavalue":{"value":{"amount":"+0.8031371831893921","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":"Q705540$BA01CB77-C8FD-46D8-9AAA-DE26E439E08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51a95b00215ff9c7b9c30b45296747a8a88b662b","datavalue":{"value":{"entity-type":"item","numeric-id":1955866,"id":"Q1955866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d9079cf4e613726cc58e97586d01980db6b18fa","datavalue":{"value":{"amount":"+0.7917635440826416","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":"Q705540$878EAEC7-BE1B-49FA-87DA-0A1EEADABEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad63820492f0350f273d163900a63fcd29d3a83","datavalue":{"value":{"entity-type":"item","numeric-id":778727,"id":"Q778727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3188101f48f32f9e57659de1349aed896eb0e3b6","datavalue":{"value":{"amount":"+0.7719483971595764","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":"Q705540$A8FE2220-78E2-40EA-B822-CC348199BF86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(n\\)-simple theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(n%5C)-simple_theories"}}}}}