{"entities":{"Q1192073":{"pageid":1202822,"ns":120,"title":"Item:Q1192073","lastrevid":47079133,"modified":"2025-12-31T14:49:36Z","type":"item","id":"Q1192073","labels":{"en":{"language":"en","value":"Strong Maehara and Takeuti type interpolation theorems for \\(L^{2+}_{k,k}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 60480"}},"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":"Q1192073$29AF9D9C-49A1-446F-B9B8-A54D06447CA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba2ad5fded04be9b2a7696d090b23a5d4d905fee","datavalue":{"value":{"text":"Strong Maehara and Takeuti type interpolation theorems for \\(L^{2+}_{k,k}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1192073$BD1B4CAA-A843-45ED-8752-AC566AD5B379","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5f27e5cf766c326fb276d22b846a7aeccaac269","datavalue":{"value":"0792.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192073$EE54E036-D780-4DC8-9FF6-0BB15E5D8D36","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":"Q1192073$D384F235-FCAC-4D3D-8895-21F3F98FC36C","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":"Q1192073$3DCEFB14-F0AA-4563-A992-A94167074FF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1192073$80831636-62B2-4DEA-A07C-FD7AC10544C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08dbcdcc76ceb762f8587cc5f8cb4cf85e9fca11","datavalue":{"value":"http://www.numdam.org/item?id=RSMUP_1991__86__57_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1192073$192EAF48-6B70-4B11-A21B-7563E1754671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b73d48b1a60d7059ad9f25b09b9fcf0ab80e5834","datavalue":{"value":"https://eudml.org/doc/108242","type":"string"},"datatype":"url"},"type":"statement","id":"Q1192073$5E113F9D-890F-4849-B681-46E3CED34611","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"23717ec1cd138f091365f07cf261cfdd961caa68","datavalue":{"value":"This paper is concerned with elaborations of the use of Carol Karp's chain models [\\textit{C. Karp}, Proc. Tarski Symp., Berkeley 1971, Proc. Symp. Pure Math. 25, 225-232 (1974; Zbl 0308.02016)] in proving interpolation theorems for infinitary logics, and it extends earlier work by the author. The author proves an interpolation theorem in the style of \\textit{S. Maehara} and \\textit{G. Takeuti} [J. Symb. Log. 36, 262-270 (1971; Zbl 0278.02013)] for infinitary positive second-order logic. The main technical considerations are related to problems of working with constant symbols.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192073$69A91E82-C26F-4F03-B9CF-BB739FC24C2A","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":"Q1192073$B1C55C8B-65C3-4791-BAC5-6587227BC028","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192073$61EED664-9DF0-4D85-93F0-88656B60572E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192073$CA9F028E-194D-418F-BC3F-0F47EDDF9946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192073$4830B11D-6625-49BA-8A17-02E3351A5E41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91321f72efe6546e8352fd712e88ea211b4ae014","datavalue":{"value":"60480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192073$FC9F301B-E7AD-4B18-914C-F944499358F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d0bdd6a9a1bc7f3ca11c4023d4e41e26cbbf2ce","datavalue":{"value":"chain models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192073$9EB7040F-1BE5-4818-AB27-B8F3C6980CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce414ce2f3d5ae6cf973bd9c4a4d30ff6dd05cb1","datavalue":{"value":"interpolation theorems for infinitary logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192073$9772CEAD-45A5-4DEA-8203-FD341782A9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b9fb60cfb87ffb38e6f5a4f9ef2a0ec3074516","datavalue":{"value":"infinitary positive second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192073$8EBE43B3-53CC-4852-B8A2-46145C66B2F7","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":"Q1192073$9A388FFE-A2FD-4C5A-BE41-6C251BC916B3","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":"Q1192073$407E4739-46CD-428E-A661-8F8526F4126F","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":"Q1192073$9E5457A8-C635-4095-A5D2-7EDEE517443F","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":"Q1192073$44B35D9C-C08C-46F6-971F-A941C28D98E9","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":"Q1192073$0B3B57BB-B97B-4274-BFFE-3D5869AE9334","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":"Q1192073$4E01251B-0427-431B-89EC-2E84A125F56D","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":"Q1192073$1F510D5E-E273-475B-8EE3-924283A6F8B9","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":"Q1192073$3EB18EDB-DCCA-4AF5-9C71-03E3083AFBCD","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":"Q1192073$B66F74B8-85D0-424C-AE97-4BF43DE0BE44","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":"Q1192073$77C946CF-42CE-4742-B3BB-37D50E140DC2","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":"a5c7f90d74f0e69f123eec5d0613d77419a25112","datavalue":{"value":{"amount":"+0.8964036107063293","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":"Q1192073$C715C4EC-448F-4CB5-A37C-DA4ABDAF54C9","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":"062d34e7fecc460b0daf4cd8197fa03a7ad4afb2","datavalue":{"value":{"amount":"+0.8916696906089783","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":"Q1192073$FC267E87-DA77-4092-91CD-DF05F80689A7","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":"f0c8bce175bf94d9724e5c6328361cd80f43b5b6","datavalue":{"value":{"amount":"+0.8177313208580017","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":"Q1192073$4412170D-4BE4-47B4-B005-3BF699A139C8","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":"eac164b9ea5dbac71bb2ea3dadbfdd70b27b02c3","datavalue":{"value":{"amount":"+0.8069065809249878","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":"Q1192073$B0132F8F-FEF5-4E3C-B586-53FC5623808A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df61d4fc8e50939548104eaab3078c495207a293","datavalue":{"value":{"entity-type":"item","numeric-id":582286,"id":"Q582286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c01e6fe5bed04ad1ed24d887640c8bd4d360199","datavalue":{"value":{"amount":"+0.7689292430877686","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":"Q1192073$A7B375D6-344B-4CD1-9634-ABB2536027D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1192073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1192073"}}}}}