{"entities":{"Q582286":{"pageid":584053,"ns":120,"title":"Item:Q582286","lastrevid":49341625,"modified":"2026-01-07T00:06:39Z","type":"item","id":"Q582286","labels":{"en":{"language":"en","value":"\\(\\lambda\\)-satisfiability, \\(\\lambda\\)-consistency property, the downward L\u00f6wenheim-Skolem theorem, and the failure of the interpolation theorem for \\(L_{\\kappa,\\kappa}\\) with \\(\\kappa\\) a strong limit cardinal of cofinality \\(\\lambda\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130359"}},"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":"Q582286$F0ED3018-30B2-4817-82E3-7FC38B48DD10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cf94f16858e4c56fe33a27f09dd4d035cade1b1","datavalue":{"value":{"text":"\\(\\lambda\\)-satisfiability, \\(\\lambda\\)-consistency property, the downward L\u00f6wenheim-Skolem theorem, and the failure of the interpolation theorem for \\(L_{\\kappa,\\kappa}\\) with \\(\\kappa\\) a strong limit cardinal of cofinality \\(\\lambda\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582286$D59BFCEA-ED25-4B84-AAF5-A93D2EEBA8B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f9349e3e8c1ce52c31187e19750f6fa6a051951","datavalue":{"value":"0691.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582286$8F72B0D3-11ED-4E74-A7CB-ED03E3709490","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"823d47f9efbf6f3be440409eb6575fb02df1512e","datavalue":{"value":{"entity-type":"item","numeric-id":582285,"id":"Q582285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582286$0B6C156C-D6D0-4C7F-ABDD-3A3ECFD2ABB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"816e97a1cfcdf018f87d172411a8ab21b6bfff04","datavalue":{"value":{"entity-type":"item","numeric-id":361729,"id":"Q361729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582286$BA77EA00-FEAE-463D-8C7A-9A10F1CDFAEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q582286$24FE03D1-E832-49AA-A274-3AD41C9BB5CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f9feca5f8eae11474f4edc4b3edaa9fedc3e49c","datavalue":{"value":"http://www.numdam.org/item?id=RSMUP_1988__80__1_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q582286$2503EC06-1016-4622-9807-95ECF82D6426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fc7cab751e1003e566fdf49643f0c99f9a59b0f","datavalue":{"value":"https://eudml.org/doc/108118","type":"string"},"datatype":"url"},"type":"statement","id":"Q582286$73F034E5-1E45-42C7-8B55-7D82418223FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6ed2465c4c910d484b2267b85ce3fb1e94afe812","datavalue":{"value":"It is well-known that interpolation fails in the infinitary languages \\(L_{\\kappa \\lambda}\\) beyond \\(L_{\\omega_ 1\\omega}\\) as shown by J. Malitz and others. One line of research to overcome this difficulty is the study of the chain models of C. Karp. Every usual structure is a chain model and so validity in all chain models is a strengthening of ordinary validity. Karp already showed that this strengthening is enough to give interpolants for sentences valid in the strong sense.    Chain models of length \\(\\omega\\), i.e. \\(\\omega\\)-chain models, have usually been applied for \\(L_{\\kappa \\kappa}\\) where \\(\\kappa\\) is a singular strong limit cardinal of cofinality \\(\\omega\\). In the present paper the author considers \\(\\lambda\\)-chain models in the analogous case where \\(cf(\\kappa)=\\lambda >\\omega\\). He presents a version of the chain consistency properties (the main tool in the area) for this case and shows that a sentence has a chain model if and only if it belongs to a chain consistency property. The result is actually proved for certain good \\(\\lambda\\)-sequences of sentences. One part of the argument gives a downward L\u00f6wenheim-Skolem theorem.    The most interesting ingredient of the paper is, however, the observation that interpolation (even Beth's theorem) fails for the semantics given by \\(\\lambda\\)-chain models, and that this even follows from Malitz's original example. (There are several misprints in the paper, most of which are of a harmless linguistic nature. In connection with this example there is a disturbing one: the sentence \\(\\sigma\\) used is in \\(L'_{\\omega_ 1\\omega_ 1}\\), not in \\(L'_{\\omega_ 1\\omega}\\). This is the reason why the example does not work for \\(\\omega\\)-chain models, which the reviewer would have liked to be mentioned in the paper.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q582286$E55E723B-6FB4-40B9-814D-B11D80F8713C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"273ff2281deaea782312583469770a322c2c906f","datavalue":{"value":{"entity-type":"item","numeric-id":593641,"id":"Q593641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582286$CBD3D89D-7700-44C5-89E0-982276D2E408","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582286$0A8FF718-6CAC-40CC-ACDC-D5E5126C51C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582286$8D423F3D-4AC2-48A1-AD1F-ABEE9A7EB5F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fc42baac9e4840b8e0bdb710158f487f684d9e7","datavalue":{"value":"4130359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582286$52E86D38-0EBE-4ABF-8F82-93E9EBD2C059","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q582286$F8682D31-4295-4EDA-9F6A-A7F5AD4D3D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce95b28a95528077a174c75b643a8f80cd4fab5e","datavalue":{"value":"infinitary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q582286$42F4CA73-6CC4-4A78-A689-DDFEC598DACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d0bdd6a9a1bc7f3ca11c4023d4e41e26cbbf2ce","datavalue":{"value":"chain models","type":"string"},"datatype":"string"},"type":"statement","id":"Q582286$317A92DE-4AD2-469C-A38E-FEA440308A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86cfdd9933e0d164eb9928e0c52a74a6b7937f65","datavalue":{"value":"chain consistency properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q582286$60C93E1F-7B8F-46C2-B69E-35491B465B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3e37a2d855f9c60734af19461281dd4cfbdbba","datavalue":{"value":"downward L\u00f6wenheim-Skolem theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q582286$2B0D152C-8B26-467D-A69D-A756A2079511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a22b6b6d82a4f6c2cbbbe288af9cb0cb642c854","datavalue":{"value":"Beth's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q582286$18F99212-F2A4-4057-8156-92DAA9DC64D9","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":"Q582286$4813B856-D075-4436-8F87-CDB459369760","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22999c84a2c9ac2a840b497671a09b23fd8d987d","datavalue":{"value":{"entity-type":"item","numeric-id":1241504,"id":"Q1241504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582286$D800A208-6571-4FAF-9655-6C69BE487FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601e552bc3cb321b90d6bb7c31c49bbf62279a64","datavalue":{"value":{"entity-type":"item","numeric-id":4180330,"id":"Q4180330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582286$00C8C051-9954-4F13-80C4-1ADD70279539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1bc67db841cac85247e693a09faf293b1148c8","datavalue":{"value":{"entity-type":"item","numeric-id":790101,"id":"Q790101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582286$219F36DA-4BC8-4A72-A353-23B1C67F57AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582286$52EC6FE4-CA1E-4E48-BDFE-4EFF617A8FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"513cd16611933cacb7ef35e1436c80cfdc4f92c4","datavalue":{"value":{"entity-type":"item","numeric-id":4065507,"id":"Q4065507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582286$AC73F01A-A4A2-40FE-8681-8B81FB3665B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e330696621822a670288cbcb19f5a923996546b","datavalue":{"value":{"entity-type":"item","numeric-id":5639710,"id":"Q5639710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582286$5DAE4BFF-E7E7-4888-9344-CA6E4AB0EA90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b840c55a5c655a6e0176fc56045a5b38e223516","datavalue":{"value":{"entity-type":"item","numeric-id":1177671,"id":"Q1177671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f5f548279196d1d90ef0b5a6523ae4d7d842764","datavalue":{"value":{"amount":"+0.8456041812896729","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":"Q582286$CC8D6056-0BBB-4EE3-A3F9-A569E7FB48B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26546c6ab1eaaae6254510a32ec41e67a44163a0","datavalue":{"value":{"entity-type":"item","numeric-id":3347865,"id":"Q3347865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9918391ed46085966be33b4dfc7acb0ec2247112","datavalue":{"value":{"amount":"+0.8412472009658813","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":"Q582286$CEB47327-9B48-4AD1-8AC7-83996FF48542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"339bcb07ea3d2970c78fa6f143a330516d02ecf9","datavalue":{"value":{"entity-type":"item","numeric-id":914662,"id":"Q914662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa76c50029b203847b8e015b9f379cd85673f586","datavalue":{"value":{"amount":"+0.8073967695236206","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":"Q582286$61CD9010-96D7-46B0-8D74-6328BD324678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0714b717b247518d7b714eaa7c81176cad9e27","datavalue":{"value":{"entity-type":"item","numeric-id":790101,"id":"Q790101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ceb29f293eb45e23b70d7df1cdad05c6ec96b15","datavalue":{"value":{"amount":"+0.7926836013793945","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":"Q582286$54367005-CE72-464D-BAA7-21A69119402D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef2ee88afccda24f1cf9b18d1fa8de27c6ebc5ef","datavalue":{"value":{"entity-type":"item","numeric-id":3221969,"id":"Q3221969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11cd97ce819e25b7f709d6c1430fa854ce2e88f","datavalue":{"value":{"amount":"+0.7919124960899353","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":"Q582286$7034018B-90F5-43C0-9297-57857254C88C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:582286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:582286"}}}}}