{"entities":{"Q1177671":{"pageid":1188420,"ns":120,"title":"Item:Q1177671","lastrevid":42297434,"modified":"2025-06-04T13:43:39Z","type":"item","id":"Q1177671","labels":{"en":{"language":"en","value":"Strong Maehara and Takeuti type interpolation theorems for \\(L_{k,k}^{2+}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 20853"}},"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":"Q1177671$A18B52BC-9CD1-4236-9F42-E9A9E14C87DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7408307ea8ef7d82a55744db445e632a601b47a","datavalue":{"value":{"text":"Strong Maehara and Takeuti type interpolation theorems for \\(L_{k,k}^{2+}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177671$A4BC3E79-FCAD-41C1-A687-68DF8143A459","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b9f58e82dfa84911fd837bde34db34a222c53fc","datavalue":{"value":"0761.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177671$D7D54181-07D6-4995-8D20-4BDA04DC4870","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":"Q1177671$67E5A7F7-EA8D-40D1-8AF0-0787192C12BC","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":"Q1177671$DD746E49-045A-4868-B88E-0F1D69223B14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177671$B66F8A40-29D0-49C0-B85B-D1A42DE80067","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a45d0b302c5b1000bfa0761acbb6506347d5df4d","datavalue":{"value":"http://www.numdam.org/item?id=RSMUP_1991__85__291_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1177671$5256404B-A8B8-4C55-877A-A4F6179FD22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3aeac08605befbeed217e85c556b041ca7476a5","datavalue":{"value":"https://eudml.org/doc/108222","type":"string"},"datatype":"url"},"type":"statement","id":"Q1177671$0FF41865-4B4D-4E84-8AB0-0031A417A0B4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a44022c465c636921d4ee21cc12537eee2c3f47d","datavalue":{"value":"This paper concerns the interpolation problem for the infinite quantifier language \\(L_{\\kappa\\kappa}\\) where \\(\\kappa\\) is a strong limit cardinal of cofinality \\(\\omega\\). To obtain interpolation theorems for this language, Carol Karp has introduced the use of ascending \\(\\omega\\)- sequences of models called chain models. The related notion of \\(\\omega\\)- satisfiability is defined as usual satisfiability in the union of the ascending chain with the exception that only sequences of elements bounded in some member of the chain are used to interpret homogeneous sequences of quantifiers. Some technical problems are connected to the use of constant symbols in this approach developed in a series of papers by Karp, Ellen Cunningham and the author of this paper. Here the author shows how to solve these problems to prove an interpolation theorem of the style of Maehara and Takeuti for \\(L^{2+}_{\\kappa\\kappa}\\) in a strong form, where chain models and \\(\\omega\\)-satisfiability appear in the conclusion.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177671$0A3ECF95-E6CD-45C6-9DF5-D5FCBC58417F","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":"Q1177671$5E726094-6ACF-46C9-99BB-B3CD62C3D119","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177671$09F1FECF-F901-4F67-862C-7435C8B0050C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177671$0FD7FC94-0E0D-43B5-8E85-07FBDD3BB519","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a925c6c9e9a2a5e56a6a617709840ebbc7adf018","datavalue":{"value":"20853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177671$B87875DC-D251-4524-9AB5-350927586E76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177671$12D7E694-FFFF-403B-B15A-0D5B9CFB2EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177671$0787D5D9-52EF-4142-8278-D172A6CCBCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fb0c1382da1ad20ed6cf76f50f20a5b99f2bbc6","datavalue":{"value":"infinite quantifier language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177671$2720CB75-0F6D-441B-82A5-D2D9DC4027A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d0bdd6a9a1bc7f3ca11c4023d4e41e26cbbf2ce","datavalue":{"value":"chain models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177671$394F6082-38CE-451C-8E40-7C437D0F87A4","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":"Q1177671$FBD77422-D258-45AD-A6B5-0DFA2C2BC6B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c8cc98d134ae01ac5acaa9233931ac7a68f6ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3221969,"id":"Q3221969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177671$5DF428F8-D016-4968-B76A-A5DD024DFD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"679d0bb64227d11be68cc697f954128e56e42db1","datavalue":{"value":{"entity-type":"item","numeric-id":5626599,"id":"Q5626599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177671$BE78CCF9-B7EB-439A-99A5-62AA2F3B36C1","rank":"normal"},{"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":"Q1177671$8FCED0EF-7087-44BB-982C-7E7F01617DE7","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":"Q1177671$066179B1-5B63-4C0A-8648-4A16717A25BA","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":"Q1177671$45903A2C-7E87-447B-8151-829615A4C389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9732d8f747adb8d8c4d6aae8e5d856e3c67f6a","datavalue":{"value":{"entity-type":"item","numeric-id":3818311,"id":"Q3818311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177671$18F31D15-965B-4186-9180-3DEF91278190","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":"Q1177671$BAE58857-4B9D-4E17-951D-E19A3DB6AF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"252bd732bafc8e7fb6439cbd130c0bfa151f9ae1","datavalue":{"value":{"entity-type":"item","numeric-id":4405133,"id":"Q4405133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177671$5076800C-B595-4688-9E28-B66A9D9CBE02","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":"Q1177671$171B7808-E0BC-4594-9AD5-420B47C5C9D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d87e8260d3dd799c83bb99077287dc3c6b662c21","datavalue":{"value":{"entity-type":"item","numeric-id":1192073,"id":"Q1192073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b066ecfe31f390e0e82b5249068383a757d85eb","datavalue":{"value":{"amount":"+0.9953551","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":"Q1177671$889AEB5A-23C2-4771-ABC7-190CBC87E76B","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":"449d4dda9ac4b0f13a24019671f7de15823d4706","datavalue":{"value":{"amount":"+0.90132225","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":"Q1177671$EB8FD592-AB23-4CA3-85C4-77B709988926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d9b10d8c6bc0567e2623fbead821f90aafc4d2","datavalue":{"value":{"entity-type":"item","numeric-id":1724941,"id":"Q1724941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"402d28eb6b68e85515862a8a99bec97db35c38b1","datavalue":{"value":{"amount":"+0.87783086","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":"Q1177671$E1E0AF8F-3B6D-48B6-9F38-D60D3310BB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fff07323db446ad1df866c21152047ddede4efbc","datavalue":{"value":{"entity-type":"item","numeric-id":3701981,"id":"Q3701981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86796269e126b58d700f0f143a49104af23e8bb4","datavalue":{"value":{"amount":"+0.87544465","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":"Q1177671$E5D20B55-61EB-4E58-B866-F8525C6351FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32905b95766979e017c7544038fecf9bf69e11cb","datavalue":{"value":{"entity-type":"item","numeric-id":3732271,"id":"Q3732271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f244fd226134d104b2baa9ba669a281cda96c06","datavalue":{"value":{"amount":"+0.8708645","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":"Q1177671$B4FA9A90-CC93-4F55-BA12-B50AF6FEB963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ba29a48f63ecda16789813b53c4f4bebda8317","datavalue":{"value":{"entity-type":"item","numeric-id":2774226,"id":"Q2774226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16cb9e918379229864d2b45cab744800b8ed214","datavalue":{"value":{"amount":"+0.86808145","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":"Q1177671$38A48527-CEA3-4D44-B239-4882F64585D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870875eced3716dc1be1c0f5cbdbba127a2d52d3","datavalue":{"value":{"entity-type":"item","numeric-id":3708577,"id":"Q3708577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"248f79af2473c483c4fc886d027950f52c64a93f","datavalue":{"value":{"amount":"+0.86595803","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":"Q1177671$00400697-1E94-4F9D-9DAF-19D8BE9F29A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c5c93d099ba1d012b2ce417b1667240f6b177f","datavalue":{"value":{"entity-type":"item","numeric-id":2690990,"id":"Q2690990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d29be17d12c101970de6af369d01f58a2f37cb4b","datavalue":{"value":{"amount":"+0.8653896","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":"Q1177671$6F0A85CE-D3F8-434E-8084-CE35254D9EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e68bbdeb5cdf729c971c03801e179ab8deb1f31","datavalue":{"value":{"entity-type":"item","numeric-id":3169701,"id":"Q3169701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce9170221a38e1be0085c0204eeed48d7e60ebe","datavalue":{"value":{"amount":"+0.86265737","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":"Q1177671$5945DE03-054F-4CD8-A5AB-7242F2A6AE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb98c916f592462bb3f76c45aa589804d983a43","datavalue":{"value":{"entity-type":"item","numeric-id":3805305,"id":"Q3805305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a627662aef2f3c04530e99be4c79220dbc9cc228","datavalue":{"value":{"amount":"+0.8622774","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":"Q1177671$D724055F-6AD5-4D0D-B53E-1754396B1BDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1177671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1177671"}}}}}