{"entities":{"Q2732283":{"pageid":2743022,"ns":120,"title":"Item:Q2732283","lastrevid":41943677,"modified":"2025-05-19T08:49:41Z","type":"item","id":"Q2732283","labels":{"en":{"language":"en","value":"Saturated models and models that are generated by indiscernibles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623525"}},"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":"Q2732283$DCC64CF5-04A2-4112-80D5-7F9A04999D46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7ed24655d43a8bc73a7238ff0888aed16137439","datavalue":{"value":"0979.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732283$6F57EA21-67D6-4F79-9B1B-6DE54120D438","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"720a218b5b258394e0e19c028e321472a9c051bf","datavalue":{"value":"10.2307/2694925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732283$18A0C75C-D638-4514-A481-21E4346B295E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a92c93c2a685faa22a2372bd9c886d6b39fda9e","datavalue":{"value":{"entity-type":"item","numeric-id":2732282,"id":"Q2732282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732283$24AC1603-ADEE-4E35-9AAC-29A611B47F0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e1d7063ecd638677848b844accef77290c7ea4","datavalue":{"value":{"time":"+2002-02-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":"Q2732283$329AD93A-B765-4730-A090-F30E38E4BF1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732283$1D67291E-7458-48EE-9CDD-BF1E7ADE6DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732283$574BDA69-6059-4316-9D84-C0511AC65DDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff46917afc6f4cf5c2364a20727d1b7d45986b1f","datavalue":{"value":"1623525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732283$6EEA1306-EBC6-4051-AD0C-9207F58287EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9165cd4f5901a0feecee9613d4527594f960f8fc","datavalue":{"value":"Ehrenfeucht-Mostowski model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732283$E06FFE83-BCE9-401A-A372-DDD847CFF35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732283$5FD36EB9-97E8-4A7D-A76F-F2A3B5807BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"820c99cfd4778df6a288714ecca6435f062f96e3","datavalue":{"value":"indiscernible sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732283$EB461F0A-F587-4D07-8570-116AEDB50FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732283$5079CB18-C76A-43B4-91A6-97062978327A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df03be81f38c0ad98c12c0efdde6b98f89dd225f","datavalue":{"value":"ACI-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732283$89904D57-1ED1-472C-A7BA-3DF27826C604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4549521cfa24711b770c27fde282e1046a5f6ca","datavalue":{"value":"DCI-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732283$7E20024A-D5C0-4736-ADD5-9A798E73249D","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":"Q2732283$C2BD524A-AABC-4064-9566-5D80AE0C9B46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d99d390de5996251814da3b270c91ff8b8f0c749","datavalue":{"value":"https://doi.org/10.2307/2694925","type":"string"},"datatype":"url"},"type":"statement","id":"Q2732283$1F9F0792-ED40-4E7A-90DA-BF0C7A9EF9F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9a499f5aaedb194d794ba18e5b6b408006bf8c7","datavalue":{"value":"W2099997135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732283$15F35743-9B25-49F7-A0D1-E65F86391702","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0d32cbcb64760b97f69c483eadea67da3a8d5b","datavalue":{"value":{"entity-type":"item","numeric-id":1165236,"id":"Q1165236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732283$53B23565-EDB3-4015-A2A8-A67AF21862B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732283$C56C7FC3-2FD3-4BFB-BA5B-C946C7C46995","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29522c05983a7bf5f87fd8cf60d37b6f34cdb6b3","datavalue":{"value":{"entity-type":"item","numeric-id":4325357,"id":"Q4325357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423755c67420dafdbf47c4c04fafef6f665b95c6","datavalue":{"value":{"amount":"+0.76681024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732283$853FEBFA-7B50-4089-BFCC-85F85224DA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81cab152b1da83dc7beb2bcba51fff532689348d","datavalue":{"value":{"entity-type":"item","numeric-id":3690795,"id":"Q3690795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e33d993afbe69b4c0d9299b9617cdf3bf6bb71d5","datavalue":{"value":{"amount":"+0.7552211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732283$E4FFE970-18AD-4325-86D7-20757ED62BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb9b56ddef6e67810e426fa8caf3880898f1e6a","datavalue":{"value":{"entity-type":"item","numeric-id":5955878,"id":"Q5955878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c181cd2c2791e21a8ed8ffe7275315482de0cad","datavalue":{"value":{"amount":"+0.7534303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732283$51C86781-F607-4F13-9F1A-555E0398CD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b7a979f112303cc955adbf71eeef485c4e60b9","datavalue":{"value":{"entity-type":"item","numeric-id":3824292,"id":"Q3824292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ebc8d77351dcb24a01329079ef21abbfcc7e0a0","datavalue":{"value":{"amount":"+0.7426977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732283$30146601-AA5E-4D4B-A26D-B123723E233C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dd5d054e01dec43ed3127f9ca504716352b1342","datavalue":{"value":{"entity-type":"item","numeric-id":2339960,"id":"Q2339960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d73a33ea2660e1427feebd98c22cb49c7fd4aa4","datavalue":{"value":{"amount":"+0.740663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732283$873181C3-2831-4195-81F5-BDBF4B68994D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df63208ed605fa4a1d33c5d97f1faa4e21d102b7","datavalue":{"value":{"entity-type":"item","numeric-id":3032248,"id":"Q3032248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4fecc74202f6aabe4807ef5da537aa671da7f81","datavalue":{"value":{"amount":"+0.7401377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732283$4AEC4DB8-346B-4471-8A08-D47AED2F838A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41fe7796409a6d0c737c953c33550b709364533","datavalue":{"value":{"entity-type":"item","numeric-id":4024969,"id":"Q4024969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c088459cef209ff3f478b696a52391aa4251e4f","datavalue":{"value":{"amount":"+0.7388463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732283$AA0B4568-E241-4BCB-BEC8-52AE3649451F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22744a093321009f5ce5dd63c56a724abdd89b2","datavalue":{"value":{"entity-type":"item","numeric-id":4296712,"id":"Q4296712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0ab9db93f13b2a80191e1d53388f08d15c7f58","datavalue":{"value":{"amount":"+0.7386441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732283$5710D5E5-ECDE-4698-9EAF-27A47AD3027F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aebdc25a797611612dc311490616e76fdb1206b5","datavalue":{"value":{"entity-type":"item","numeric-id":4731172,"id":"Q4731172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92cef869e46b40cb5d57f9bfd13539fdbffbb0fe","datavalue":{"value":{"amount":"+0.73605865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732283$ED380B0C-AEEB-49E9-AE97-C013736DADEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede91cc41d389a4a4a470953852d6eefc4a6cb38","datavalue":{"value":{"entity-type":"item","numeric-id":3489982,"id":"Q3489982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3b6b862a933acb270ab1a2a612df84c6adbdb3","datavalue":{"value":{"amount":"+0.7345143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732283$0747FD48-D6B0-4153-BDCF-B5F0CD524520","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45c9df415fbe9fecc2404c0f3c05078538a1af0c","datavalue":{"value":{"text":"Saturated models and models that are generated by indiscernibles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2732283$27F8E818-41A1-4242-93F4-9B0F7EB1F9F2","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":"Q2732283$D75E8824-2E10-449D-A412-CC51F61A647F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ca6a894abc47ee32f8340006d9635d107ff6c01b","datavalue":{"value":"Let us call a structure \\(\\mathfrak M\\) in a countable language an Ehrenfeucht-Mostowski model if it expands, in a countable expansion of the language, to the Skolem hull of an infinite indiscernible (in the new language) sequence. \\textit{J. H. Schmerl} [``Recursively saturated models generated by indiscernibles'', Notre Dame J. Formal Logic 26, 99-105 (1985; Zbl 0556.03030)] proved that a countable saturated structure is an Ehrenfeucht-Mostowski model; \\textit{D. Lascar} [``Autour de la propri\u00e9t\u00e9 du petit indice'', Proc.\\ Lond.\\ Math.\\ Soc., III. Ser. 62, No.~1, 25-53 (1991; Zbl 0683.03017)] showed the same for the saturated model of cardinality \\(\\aleph_1\\) of an \\(\\omega\\)-stable theory. The author generalizes the question: he calls a structure an ACI-model (resp. DCI-model) if it expands to the algebraic (resp.\\ definable) closure (in the new language) of an infinite indiscernible sequence. He shows that if a countable theory has an \\(\\aleph_1\\)-saturated ACI-model, then it has a \\(\\lambda\\)-saturated ACI-model for all infinite cardinals \\(\\lambda\\), and it does not have the independence property. If it has a \\(\\lambda\\)-saturated ACI-model, then it has a \\(\\lambda\\)-saturated DCI-model. For a stable theory, the following are equivalent: (1) \\(T\\) is \\(\\omega\\)-stable. (2) \\(T\\) has an \\(\\aleph_1\\)-saturated ACI-model. (3) Every saturated model of \\(T\\) is an Ehrenfeucht-Mostowski model.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732283$651E888F-689D-4320-8099-F6903B5316E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2732283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2732283"}}}}}