{"entities":{"Q600852":{"pageid":602628,"ns":120,"title":"Item:Q600852","lastrevid":51117803,"modified":"2026-01-16T18:48:16Z","type":"item","id":"Q600852","labels":{"en":{"language":"en","value":"The modal logic of G\u00f6del sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5809618"}},"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":"Q600852$8B7B71D8-1B96-44B4-9947-924F04EC6B93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"515e6899bacf74abc4ab515cb2a779bc64918f5c","datavalue":{"value":{"text":"The modal logic of G\u00f6del sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q600852$F390B531-F2B2-4407-944A-08B2A01DE131","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e01afb17ee75d4e9d61a83ba356b4844681d0b0b","datavalue":{"value":"1205.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600852$63517F61-4C94-4234-9792-A4B3263DA689","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52c21b911446dff7b633c86665c36eaff6815454","datavalue":{"value":{"entity-type":"item","numeric-id":600851,"id":"Q600851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600852$93CAA436-831C-4EDD-832E-7E6A96B3577D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600852$ADDCAF0F-D84C-4D30-8F7C-E107E1829180","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25cd2e09c2f6a58ceadbae256038e4067d8608c3","datavalue":{"value":{"time":"+2010-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q600852$A43482D3-75E1-443F-8D37-3EF0E5118694","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f3a1bc455e3ca169291c3ee91aaccd11b8d6e2a","datavalue":{"value":"A G\u00f6del sentence is a PA-unprovable sentence of the language of PA which is true in the standard model of the natural numbers. In the style of provability logics, the author presents here a modal logic GS for such G\u00f6del sentences. He proves a Kripke-style completeness theorem, gives mutually faithful interpretations for GS with the provability logics GL and Grz and also with intuitionistic logic. And he proves an arithmetic completeness theorem saying that the arithmetical interpretations of GS-sentences are just the ``true but unprovable'' G\u00f6del sentences of arithmetic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q600852$AD942398-BBD1-4E0A-92DE-5813CB7BC580","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600852$5E32F583-30C5-4277-A140-07DEA9FE9C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600852$EE64D977-E9CF-4C95-9F29-DCA4FC037EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600852$54374948-1481-4549-9540-9F88621AE765","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65e8de48d526f69c7d99d54f318192aeb5555d03","datavalue":{"value":"5809618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600852$943E3067-6F51-4902-BB02-7774FECA163E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q600852$45BA1BA6-CCDD-4768-AF6D-AA8D30857908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16eebfc2c2c4a60a10da1be168aba8a0516dbe23","datavalue":{"value":"G\u00f6del sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q600852$7E234EF7-75D6-4B19-9723-F622215B20E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q600852$DA5DAE1B-3081-427C-9BE3-DD7A72A3C62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q600852$6AF72DE3-072A-4EF5-A094-02C716A3ABE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3d29f490bb3085d4245d6adbd4890431f9d11c","datavalue":{"value":"incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q600852$B0E1F627-85AC-411E-B44F-360F75ACD9AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600852$84A69F5D-9C3A-4CA0-8F75-328782B1EB05","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":"Q600852$7947A46A-4FE1-47DF-AB59-C08C7AEC8424","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"713a8acf1597768bfe07ac0ad8ca93170ca53c8f","datavalue":{"value":"https://doi.org/10.1007/s10992-010-9140-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q600852$CD2A0E14-AC02-49FC-9C18-AB718E043F65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad4e4c6bd0690773b06057e5b0dfeb49eeea0a9b","datavalue":{"value":"W2062465840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600852$1F25922F-1EB7-4972-88BD-DA5A9B52E87A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600852$A1C89D5C-5BA6-43BD-AF34-35B41DCC65C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600852$72F2259B-358A-446F-98B6-49B8A28D1947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f69b9c72ef2c3b01713580f6fd0a5f82a692f3","datavalue":{"value":{"entity-type":"item","numeric-id":4196404,"id":"Q4196404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600852$30AB6BA6-1CBE-4CC2-A374-272E9DFF8AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0025c5170541468307891ff3f9d6ad65434d77","datavalue":{"value":{"entity-type":"item","numeric-id":4754492,"id":"Q4754492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600852$82E2E34F-4F2E-435A-86D8-7E1E11EFDD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ae728e1569e8881389d9f34d1cacef85ad1d45","datavalue":{"value":{"entity-type":"item","numeric-id":5607976,"id":"Q5607976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600852$2FA83242-0842-416B-AE8D-DB28E5B5E130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b39ffd627f32529edf3e20028a1e0e43b4ad14f4","datavalue":{"value":{"entity-type":"item","numeric-id":3435235,"id":"Q3435235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600852$0D38F2BE-7EBE-4ACF-81BE-8D92EABE89A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600852$1CCBEBC1-DBFC-42F5-81FB-C22EB954C9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600852$FE797052-3632-4B02-8FC9-678299F2D5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600852$11C1629C-3C0B-4B53-B39B-8A6320DCEE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c8e02dec2dd5a582914bb74d8161138fa8e1289","datavalue":{"value":{"entity-type":"item","numeric-id":5411427,"id":"Q5411427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600852$E6B44760-A7B8-4D89-ACD6-0BA730019931","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"880530c2cef39205333fe1b39cf0082682fcdf1c","datavalue":{"value":"10.1007/S10992-010-9140-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600852$D0386642-19AA-4E9B-8A4F-E438464F27BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53464fe7062b7899f2178a31102927db92a9632f","datavalue":{"value":{"entity-type":"item","numeric-id":2193977,"id":"Q2193977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb951846112acbce00ffa29938f87bd478360a1a","datavalue":{"value":{"amount":"+0.7841082215309143","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":"Q600852$B7E5A717-7C73-4C54-9452-CF8B12F16ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173d2e159e2bae6cc695470d5a7af13954f180ca","datavalue":{"value":{"entity-type":"item","numeric-id":5187257,"id":"Q5187257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c1fb84b515bcdba99c2b4430c3a6f64d8667d4b","datavalue":{"value":{"amount":"+0.774397075176239","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":"Q600852$989BD77E-715D-4446-BB77-6A4190E3D3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc438cbef6e39cdae6ca0a79f3ba45cb387314c2","datavalue":{"value":{"entity-type":"item","numeric-id":5307881,"id":"Q5307881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34126931afe5365ddd78a4aeb6231e01d71c5c9","datavalue":{"value":{"amount":"+0.7663607001304626","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":"Q600852$1BF5E160-FC44-4A18-98DF-861395FDCF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ca2074398058716f5b20c85d6193337a9ef0a0","datavalue":{"value":{"entity-type":"item","numeric-id":1176093,"id":"Q1176093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22fb679a2d0b7d829232958aa11b09cc46e4fa74","datavalue":{"value":{"amount":"+0.7658175230026245","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":"Q600852$44FD7AD0-1EE8-4A5B-814F-8250C23AAC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b051f8ca0b81e17d3f3b7969cfc069644e9f31a","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856843b05fec4f4784fc306baca4ca9ce2a1e6f1","datavalue":{"value":{"amount":"+0.7613486051559448","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":"Q600852$68A3FD73-0F72-4CF5-857A-F21EC342BDCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:600852","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:600852"}}}}}