{"entities":{"Q1074577":{"pageid":1085329,"ns":120,"title":"Item:Q1074577","lastrevid":69812781,"modified":"2026-04-13T09:33:31Z","type":"item","id":"Q1074577","labels":{"en":{"language":"en","value":"1-consistency and the diamond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3948260"}},"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":"Q1074577$D1F6D348-B661-45AC-B7C2-FED61DA60DF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33c6b91841047e948e6db94d92052886147c1574","datavalue":{"value":{"text":"1-consistency and the diamond","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1074577$5BECDC43-5900-4EBD-920C-D33F1B6058B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd96b461d74e4d8a4654010a5163bff585ddc53e","datavalue":{"value":"0591.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074577$E07E00A6-AF9C-453C-A522-06D9E8542D7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dae5d6cf705e82161555573be309f7a5a5d53fa9","datavalue":{"value":{"entity-type":"item","numeric-id":685072,"id":"Q685072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074577$A1EB4374-FA76-4D37-B2DD-967DB380C168","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074577$ACB2A5CB-3B95-4FB5-8BCE-B4A185B89C4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1074577$FBE0EB25-2DAB-4BE1-BC10-AC005E220D12","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7e251d939d74dd2327a8b49e121db17f8ca6f8f0","datavalue":{"value":"The modal propositional logic G is known to be complete for interpretation of \\(\\square A\\) as the provability of A in the first order arithmetic PA. In a previous paper [Stud. Logica 39, 237-243 (1980; Zbl 0464.03049)], the author modified the proof of this fact to show that provability of A can be replaced by omega-derivability [by which he means provability of \\(\\forall nF(n)\\to A\\) with F(n) provable in PA for any number n]. Here the construction is modified to show that \\(\\square A\\) can also be interpreted as 1-provability, i.e. omega-derivability for primitive recursive F. A similar completeness result for the logic \\(G^*\\) (when the provability of the arithmetic interpretation is replaced by its truth) is also obtained, as well as refinements concerning existence of uniform refuting substitutions for underivable propositional formulas.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074577$CFBB8347-CEBE-4347-A090-831D1CC6052B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074577$011411EB-DB5C-4DC4-91DE-CFA02AC28071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074577$04DB9B26-659E-436F-BA1E-09D8FC905A49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71d3c7bac1d5067f8b4122a663c35cbd8545f678","datavalue":{"value":"3948260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074577$AB85B8D7-71B4-4C42-AB32-306C4FFA94CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074577$EA8DC283-4AE8-43F9-B0CC-F122CBFB9A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19c63bc2d0edf428ec03e968a3f8de42e91953f5","datavalue":{"value":"modal propositional logic G","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074577$270F5053-79C0-450D-9D06-00BE22517CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074577$3173C3D6-E5C3-4877-94E5-412C0C6AF901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66beeb842d39dfcf440b621787d11a73cc138048","datavalue":{"value":"first order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074577$AF9D1137-FE6D-4EAE-90E7-A7B4A991CB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54b91d9618ce330fe65901fd8e62c603ae446ac0","datavalue":{"value":"1-provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074577$E1F52DDB-5649-4388-A492-EFF71593BD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb7ec19735d11ec4b01676dfe74e37fe57ecd9cc","datavalue":{"value":"omega-derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074577$F3EB804E-BDFA-42CF-A650-90062AD0AE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d68bd2cc1cbb367511684fac333a80573e4a91c","datavalue":{"value":"arithmetic interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074577$FF14B3EF-C71B-4891-87C5-90684D23F928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90e6cd41001e831a35bf4d5a247e744633a568cc","datavalue":{"value":"underivable propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074577$48130221-FC4D-476A-B7CA-0E9D71BA4C21","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074577$67A5BBB9-32A2-42DA-9AC2-8B6D6C5FF3A0","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":"Q1074577$B3386C3A-BEFC-4E6F-9C2D-CD92D5FAB4A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dcb7a643b01496941949a36683e2236afa1fa40","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870927","type":"string"},"datatype":"url"},"type":"statement","id":"Q1074577$70414B6A-DD9F-4585-B6F1-6EB00C2D1A31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4eac9fb311822ef1c9d9c0bf41b18b47aa1bc515","datavalue":{"value":"W2029510773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074577$487E67C3-3A7C-4A04-8094-D40A56552924","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35416e80b7f9a7077b788d0fa0b5b0efa5a5b813","datavalue":{"value":"10.1305/NDJFL/1093870927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074577$AF9A3574-EAD9-41C6-BF58-234B48960A0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72d1e26efa8f63b1d402c1498c2be834fc4b4992","datavalue":{"value":{"entity-type":"item","numeric-id":3710518,"id":"Q3710518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2de9cd5b0162e1586591e1368f7d88bbc6e237","datavalue":{"value":{"amount":"+0.8093759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1074577$91B07D39-08D7-48E3-A8D3-451D772D12F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b45e57b1cfb386a7e66dd5d2c84ffdcdd8d8d85","datavalue":{"value":{"entity-type":"item","numeric-id":3731597,"id":"Q3731597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d525bec11fa5fa25f335df0234d47f3a717cc1","datavalue":{"value":{"amount":"+0.80439615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1074577$F3713A7E-C3D8-4B85-91C1-FC48A97F1A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1320cc132bb01c8dc6d746905a45fce24b915b7","datavalue":{"value":{"entity-type":"item","numeric-id":1765105,"id":"Q1765105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278eea048c228f694283e393d7b9bae4db0ddf71","datavalue":{"value":{"amount":"+0.78836906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1074577$64D41254-9FE7-4521-9A15-EF7163A09636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e41124bc952fcad6497d0d65d095ae498941ef","datavalue":{"value":{"entity-type":"item","numeric-id":4379527,"id":"Q4379527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55dc959e57cf9f83a97f1409bcab4a823dd16453","datavalue":{"value":{"amount":"+0.7867865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1074577$B800967F-AF65-44D6-BCAD-0B5236A946BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f536357cf40537a9e5d2a3a14238f033704acfea","datavalue":{"value":{"entity-type":"item","numeric-id":3395894,"id":"Q3395894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55dc959e57cf9f83a97f1409bcab4a823dd16453","datavalue":{"value":{"amount":"+0.7867865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1074577$7C043AB5-17FF-482A-BD6A-2C0542E07F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f385792bb92871b6db6c1c742cc4c2b3b7e4ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2013395,"id":"Q2013395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc706849891f1d37f18b420ee698aaee2168a2f9","datavalue":{"value":{"amount":"+0.7844548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1074577$7D4E53B2-669E-4536-9EFE-7CD0858A8403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ae276da2447af93fde9c83a624ec74826f3923","datavalue":{"value":{"entity-type":"item","numeric-id":781519,"id":"Q781519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c642b47c20987bfc672ae954cef8a5380fd9440","datavalue":{"value":{"amount":"+0.77245456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1074577$D2C88ED5-C194-4B60-916E-98E822CD37EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83474f22f8c39d77cd970a19e031e0f157839fef","datavalue":{"value":{"entity-type":"item","numeric-id":3566680,"id":"Q3566680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20819559b0ff11d424e4d92c4ab1f8a8e77e95e8","datavalue":{"value":{"amount":"+0.7659477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1074577$D91FDDA2-E1A1-4392-9E47-62A658C1EB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c4a0d2ee5afab9a0cba8170485d0760bd3fa4b","datavalue":{"value":{"entity-type":"item","numeric-id":690039,"id":"Q690039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3265541767a13647cec53ef9901dae356331bc9b","datavalue":{"value":{"amount":"+0.75587606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1074577$087E4BDB-977A-40F0-92B7-8C76ED52B2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3513d960324cb582b496e452038370f6cbce2c13","datavalue":{"value":{"entity-type":"item","numeric-id":1778067,"id":"Q1778067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f1d0a5d909f19d882039a010d1e2ac306ee25a","datavalue":{"value":{"amount":"+0.7531353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1074577$F527A345-4E49-4762-8D1A-272CBF2D3782","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"1-consistency and the diamond","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/1-consistency_and_the_diamond"}}}}}