{"entities":{"Q995670":{"pageid":997518,"ns":120,"title":"Item:Q995670","lastrevid":65781261,"modified":"2026-04-12T05:19:48Z","type":"item","id":"Q995670","labels":{"en":{"language":"en","value":"An institution-independent proof of the Beth definability theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189072"}},"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":"Q995670$CF46D782-7688-48F4-A7DB-A268DD87E07B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"926bf97be402f90e27225514f39e7c11888a9095","datavalue":{"value":{"text":"An institution-independent proof of the Beth definability theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q995670$A1665FB9-080A-4D8A-BED2-64DD66EEEF4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2222df99d21af58a708a94dfbab38e3f0adacb60","datavalue":{"value":"1134.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995670$FCC7BCBE-85B2-4027-A682-FBA709594F8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$A804D376-0710-41C6-B8DA-ED72B9E3CE79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42cd48ac6381a576736eec2b9a8e2283d304cd2a","datavalue":{"value":{"time":"+2007-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q995670$DA386082-5E0B-4AEE-89E2-CF44D71B19FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ce931db4ee8f91b5490c0c4b29dadd26f69eb6d6","datavalue":{"value":"The authors develop a very general concept of Beth definability within the framework of the so-called `institutions', a categorical abstract model theory which arose within algebraic specification theory, and within this context develop an abstract version of the classical first-order logic proof of the Beth definability theorem in dependence of Craig interpolation. The paper also studies the preservation of Craig interpolation and Beth definability along logic translations, understood as institution comorphisms.  Unfortunately the paper seems to contain a series of technical errors (for example it is stated that any commutative square of signature morphisms in classical first-order logic has the interpolation property, which is wrong), but perhaps they can be repaired.","type":"string"},"datatype":"string"},"type":"statement","id":"Q995670$D5AF43CF-E4C5-4FD2-B259-18C52C747ED5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ccb45899d5f7bb3c880aa37d11928692be2daaa6","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$EAB213D2-1FD1-444C-BB1A-6734D7F69E50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995670$E85180F1-8E1A-4190-9177-D3DD214990AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995670$DD63FBC7-523C-4329-809B-61730C5C587D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36a201ec13f5efe624f5cbcaa611d49858bbbd92","datavalue":{"value":"5189072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995670$E1FD7C24-0248-417B-A2DC-664C4D4BE186","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1590e38ae8c30686985dea5df5468304347d1ba","datavalue":{"value":"Beth definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q995670$CAFC788B-A002-43AF-A9CB-79B546358B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q995670$EAA0D2AF-3092-446F-A3B5-EF6B91277E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84cf1541877d6ec6702bb201c5539dab7766eb1c","datavalue":{"value":"institution theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q995670$571B6F4B-B977-44FD-B070-7F2054780382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52429afe52623d3be47a03a7ac893900f7e4282e","datavalue":{"value":"morphisms and comorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q995670$AAE14F47-E505-4D1C-8AF9-1C1F90FEDEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acb6396170c3323ea9b623bad2d108da287fad13","datavalue":{"value":"inclusive category","type":"string"},"datatype":"string"},"type":"statement","id":"Q995670$EBC45F7C-12EB-45FA-A8C6-18E22CD62D32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"086e12049a4f65f0db8f7826b3d43f2cf3b6be32","datavalue":{"value":{"entity-type":"item","numeric-id":359892,"id":"Q359892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$07A1B524-8B6F-43EC-961A-56242385C54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b27faf8bf9cd339b0d26abb8b93ab1ea4886855","datavalue":{"value":{"entity-type":"item","numeric-id":1859529,"id":"Q1859529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$AC2EDAE0-A1B1-4059-A4C0-E2CAA1CA775B","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":"Q995670$1CDB9693-7457-4486-B0A8-856C2144B60C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ce730a6edcda268303fd736068151bab12427ae","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9043-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q995670$0BE4FDCF-CCD9-47A3-8C8B-DB75341F2BE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c16801098cdb091269af3db7a63b00446483b431","datavalue":{"value":"W2079150286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995670$A348FE7E-5BF4-4006-AE16-2B30EA519A07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1152d39bd65de6cf49d945a10e115d1dd1c5e26","datavalue":{"value":{"entity-type":"item","numeric-id":4087162,"id":"Q4087162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$4632EB1B-6939-44F0-8D86-FA773E23A37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9fcc1e1b34c312ad9358ca50b3ec2aa6dc36d22","datavalue":{"value":{"entity-type":"item","numeric-id":851912,"id":"Q851912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$54D6B1D1-EF18-4F86-9B30-9A51A0EAF416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c17e9c215d704efa02ed5bd1aa04a456963392a","datavalue":{"value":{"entity-type":"item","numeric-id":1853454,"id":"Q1853454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$8ADCD043-DAA9-4A3B-AEC6-8BE97D976E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5213c52509acdb57ac43c8b8a97a79eb060f12c7","datavalue":{"value":{"entity-type":"item","numeric-id":2390213,"id":"Q2390213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$63B6B6A3-F2EB-4E50-BCC4-957553F2EB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e5ee6c74446bb1d563024cf0c4d96e7f826eb","datavalue":{"value":{"entity-type":"item","numeric-id":4432964,"id":"Q4432964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$EA56FBC8-A039-4720-B966-84D2D9D7FFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe52c95d628037676106287986652872dfa341d6","datavalue":{"value":{"entity-type":"item","numeric-id":1876090,"id":"Q1876090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$38477A39-6635-468C-A27C-31EDD83BEDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2060ad4d5f9e7fcb4e769cc5c2db1543ebd800","datavalue":{"value":{"entity-type":"item","numeric-id":1884940,"id":"Q1884940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$D18CA831-DF76-4AFC-8589-8FE4D90B5DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a9127a08ce1284444c7abbb6644461d8d97e072","datavalue":{"value":{"entity-type":"item","numeric-id":1607048,"id":"Q1607048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$F19C867B-8A21-45B3-8843-6BF338FD7174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b15e27b7e5af70550b443271dfae1b5faaf5c02","datavalue":{"value":{"entity-type":"item","numeric-id":3050398,"id":"Q3050398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$8CE4C4CC-E9DA-40FE-8E2E-6F83AE03145C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd5215bef0256427a4e23d6ec13883f64b69831","datavalue":{"value":{"entity-type":"item","numeric-id":878156,"id":"Q878156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$DBE1FBAB-B090-43FF-A28A-C5891A8EF3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d504f8f758d30af6cf41a7818010f5320c73d6d","datavalue":{"value":{"entity-type":"item","numeric-id":4723263,"id":"Q4723263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$B507AD25-A64C-48F3-B302-F1E0E432656B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$97A4C7F9-2E44-46F8-AF44-B6822B3CDFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c8efd84a53f399813a4d12c5eca4ce7471cbcd","datavalue":{"value":{"entity-type":"item","numeric-id":4273423,"id":"Q4273423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$E5126942-3397-416C-B039-1D0728149EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e49d3dccb82875b5a2fb5f0dcabcbb57379e9d","datavalue":{"value":{"entity-type":"item","numeric-id":4715675,"id":"Q4715675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$F680CA66-0C5F-4F59-BA07-C0A661E97046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8462cd38d13160180cee3227a98b69c13eba8c1f","datavalue":{"value":{"entity-type":"item","numeric-id":4242584,"id":"Q4242584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$28334D72-B166-45CA-8A84-A3D32CD02815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e33d995719930daceae5b9ecd9a739ea7b34d8","datavalue":{"value":{"entity-type":"item","numeric-id":1085969,"id":"Q1085969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$C6C94422-F4E8-4960-91F9-5DC6D93A305C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9333699cc6f4fb9c72e8fb4341e54b02f5c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1091132,"id":"Q1091132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$D90BA800-CCBA-4DF2-AF12-2BB8908A8BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615c69ac6df9afc124401ae3b18bce04b430598c","datavalue":{"value":{"entity-type":"item","numeric-id":5839923,"id":"Q5839923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$511C78AB-3B2F-401B-84E0-0DDAF3222187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f941fc6871a7b609621a97210e94b3d899f14f7","datavalue":{"value":{"entity-type":"item","numeric-id":1853014,"id":"Q1853014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$C35E6960-053B-443A-9518-50A37FFDF0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10f2df5c1022b51fb47babd7a237213572945577","datavalue":{"value":{"entity-type":"item","numeric-id":674000,"id":"Q674000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995670$0316AE0C-BBC8-46C2-B8C9-05A9A429BDDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e67309f1cf1a25d96ddffcc011f3990b72af0f8","datavalue":{"value":"10.1007/S11225-007-9043-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995670$B51C0761-39AB-4F9A-A2EC-65DF9564867E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaebe6bd3282d86b8599facc91be5f3ab5a1e5f5","datavalue":{"value":{"entity-type":"item","numeric-id":3410686,"id":"Q3410686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9359c89ef5a1700139ed249cf4b6ca3388d8c617","datavalue":{"value":{"amount":"+0.8640769720077515","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":"Q995670$F029EFDE-4640-4511-858E-48A69D977691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660b225cd944f498669ce74a3881521b2f2a3caf","datavalue":{"value":{"entity-type":"item","numeric-id":1876090,"id":"Q1876090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1777fd774f072b68c5bf9502c6e201dc1806f9a4","datavalue":{"value":{"amount":"+0.8144134283065796","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":"Q995670$F9BAC0D7-DCF5-4100-B322-BFCA3D93EB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e50cd08100987debcec61d5d1245e715dba47df2","datavalue":{"value":{"entity-type":"item","numeric-id":912089,"id":"Q912089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3dcf551bf111ce5df01e2cc1f9d0d7ed0f1bfe6","datavalue":{"value":{"amount":"+0.8009017109870911","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":"Q995670$1E266614-2D53-486F-8D99-EF5F716DD98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f2bc36cf30a7bceaf358447253420e0b802fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2254570,"id":"Q2254570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a827b8c62669b7e93abb794804670a6236e219","datavalue":{"value":{"amount":"+0.7812696695327759","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":"Q995670$6BE5B5FF-6D44-4559-930E-D9A5DFEE81BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd4aa8021526235806e070cc8b9c7c17341ff91","datavalue":{"value":{"entity-type":"item","numeric-id":4250047,"id":"Q4250047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe244e164d76d9ce0458ddc776bfb1395cd61c3","datavalue":{"value":{"amount":"+0.7754198908805847","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":"Q995670$0E49B785-5B96-4237-87E8-252654F0D4D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An institution-independent proof of the Beth definability theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_institution-independent_proof_of_the_Beth_definability_theorem"}}}}}