{"entities":{"Q1176101":{"pageid":1186850,"ns":120,"title":"Item:Q1176101","lastrevid":69807744,"modified":"2026-04-13T09:31:50Z","type":"item","id":"Q1176101","labels":{"en":{"language":"en","value":"Predicate provability logic with non-modalized quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13444"}},"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":"Q1176101$A18A43F1-4E1A-4A13-BF3A-D4E690E52105","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da21226aaf6a898cbc773fe5e3c5fa69ea98fd76","datavalue":{"value":{"text":"Predicate provability logic with non-modalized quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176101$3B282C08-6DD3-4A90-88EB-935FF25B5847","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d0a9302b5e1a670a5ffd5bbd64ad04f76f59e07","datavalue":{"value":"0736.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176101$B817A1C6-982E-4CEF-947C-D266B1649302","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a06aef2a69a22ce49afbabf3cb521bff3e16e5c","datavalue":{"value":"10.1007/BF00370393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176101$7462B99C-496D-43BD-8E22-946DD29E75F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c23b2c746e186ea70830f10ed92eca798efb3f60","datavalue":{"value":{"entity-type":"item","numeric-id":685074,"id":"Q685074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176101$ADB0D4C6-345F-4A39-BCDB-223AFCB3CC3C","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":"Q1176101$3242EC22-1FF3-4739-AEE7-99A0637E0ABE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176101$9740C8FB-12DD-4ED9-B61A-E2FA30002C35","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e3aa2dbcd493938d6267abc75af24db1b6d1d81","datavalue":{"value":"A modal predicate formula is called a \\(Q'\\)-formula if it has no quantifiers within the scope of \\(\\square\\). Let \\(T\\) be an arithmetical theory extending Peano arithmetic \\((PA)\\); it is also supposed that all theorems of \\(T\\) are true, and G\u00f6del numbers of axioms of \\(T\\) are given by a formula \\(\\alpha(x)\\) which is ''provably binumerable'' in \\(T\\), that is  \\[ T\\vdash\\forall x(\\alpha(x)\\to Pr[\\alpha(x)])\\land\\forall x(\\neg\\alpha(x)\\to P_ 2[\\neg\\alpha(x)]) \\]  (\\(Pr\\) is based on \\(\\alpha\\) and encodes provability in \\(T\\)). As usual, \\(Q'\\)-formulas can be interpreted as arithmetical ones if \\(\\square\\) is transcribed as \\(Pr\\). \\(Q'L(T)\\) (resp. \\(Q'L\\)) denotes the set of all \\(Q'\\)-formulas whose interpretations are always provable in \\(T\\) (resp. true). It is known that if \\(T\\) is \\(RE\\) then \\(Q'L(T)\\) is \\(\\Pi^ 0_ 2\\)-complete (Vardanyan) and \\(Q'L\\) is non-arithmetical (Artemov).   The paper proves that nevertheless \\(Q'L(T)\\) and \\(Q'L\\) can be axiomatized in some other cases. Namely, let \\(Q'GL\\), \\(Q'S\\) be \\(Q'\\)-fragments of quantified versions of G\u00f6del-\u0141\u00f6b's logic \\(GL\\) and Solovay's logic \\(S\\). The main theorem claims that \\(Q'L(T)=Q'GL\\) and \\(Q'L=Q'S\\) whenever \\(Pr_{Q'GL}(x)\\) is provably binumerable in \\(T\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176101$DB415637-0793-4CE7-8252-BC44804BF42E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176101$40DBB0A8-8C2F-4690-8B6B-3FFCAE5982CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176101$ED8E3995-DC13-48EC-826C-3331F4D5D664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176101$9B3EE295-34F5-4F9F-ABD8-AB8D5CBDAC8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d33664db826880f4fbe0c6276d85432962601b4","datavalue":{"value":"13444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176101$BE5B974F-2508-488B-876D-EF8BFD772722","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9914ace600fe82478c3798b2d72eaecf38356bf8","datavalue":{"value":"predicate modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176101$0052B6BF-0FF0-4E4E-B6E1-6B4C0639DCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176101$B4335816-2B05-45DC-946C-42E54B98E6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834a5d3aeff3e989ddbcac30f750804dc9e3013b","datavalue":{"value":"recursive enumerability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176101$E429C7FE-4615-4AE5-850A-9085653963DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176101$C2AA41F2-BA09-4D8D-9664-42B5E60A2E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176101$6391F207-17B6-4D11-A42C-B7BA8B1DF661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"963b573cb30128c8b3b38efa90aadda6cd4a1405","datavalue":{"value":"G\u00f6del numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176101$832FDD28-EBBD-4F8A-A250-8E7DFDB478A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e809ae50d22128de0c9ed958188c1cbc255fff15","datavalue":{"value":"G\u00f6del-L\u00f6b's logic GL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176101$83BAA38D-1B6D-4547-9172-E5F059745807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"990ac11b415a838e11bbd92534dcee751bd1a695","datavalue":{"value":"Solovay's logic S","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176101$6DBA7380-EF12-48EC-B987-13E6E7F42EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d75fcc24893e2f39e265fe8a36dc7be129763ee","datavalue":{"value":"provably binumerable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176101$E7538437-2489-4B15-B338-C924F6EF96F9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad7bfad8d872a3ea91c9dd215d7f4f38e1e07b24","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176101$4391AA15-0812-44D4-9862-61BF5F574E16","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":"Q1176101$3831B0F8-3AFE-4C34-B106-1484ECD9AFE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ecd163b96e08514ad8c06234acbc820cdbe5610","datavalue":{"value":{"entity-type":"item","numeric-id":1153905,"id":"Q1153905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176101$E2787BB8-F842-4F8C-9D38-F13B822A4656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e103295203a369bf61068979ff5d4c91b935602b","datavalue":{"value":{"entity-type":"item","numeric-id":3768873,"id":"Q3768873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176101$DCA04FC3-5EE1-43EC-B69D-8E16CA98C460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176101$608C0A21-0314-4570-ACF1-D8EE06E0E97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7000d470a77d7abcc20cd5b735417312b8a175df","datavalue":{"value":{"entity-type":"item","numeric-id":750418,"id":"Q750418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176101$DB1638C9-DAAC-47C4-AD34-BB0F7CF22BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176101$3E732B17-B507-4735-A5FA-64BCA96A1674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed62b11fa5ca9bc652f9dc5559868ec0fc881d75","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176101$0CE29D66-FA9F-4414-8D18-9B81E6869E25","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":"Q1176101$487E2F63-E531-43C9-9C05-843B29C50089","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3fbf5982db638db95cc5b8125ccaa399da4fae","datavalue":{"value":{"entity-type":"item","numeric-id":3352997,"id":"Q3352997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d006b176a7138e8de662009d4b81228c2790d0","datavalue":{"value":{"amount":"+0.9544347","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":"Q1176101$79FFC2DC-441C-4D96-8A27-CABA53DC5EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90e224184897121cc780ad85950b8c5062bcda5","datavalue":{"value":{"entity-type":"item","numeric-id":1406443,"id":"Q1406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115a5ce8d8805b119f900cd342fea9b3fc8f4834","datavalue":{"value":{"amount":"+0.9405839","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":"Q1176101$1E1C523C-8052-4593-82C7-D64B1E991B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0a198dbcd0f5e762a31f07682b48e6da4c9748","datavalue":{"value":{"entity-type":"item","numeric-id":5957922,"id":"Q5957922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d13ce3aeb002ac3df59d7721c7afa7a76f57fc9","datavalue":{"value":{"amount":"+0.93725646","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":"Q1176101$F6102C9D-9B1E-417C-B584-5C4DBF7D7801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03476c3ec13f3e72da70f6dc8fa7ae7bca3da3fe","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3bc24936e788bc85958dc88cc3d7bb91a6a4e6f","datavalue":{"value":{"amount":"+0.9365999","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":"Q1176101$B3B4F4C0-477B-403E-999D-8CA61FE2C48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2085f2ab942f2024624518e60365d2d94c3419c1","datavalue":{"value":{"entity-type":"item","numeric-id":286706,"id":"Q286706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d561c0f74528779d01c39c92c2c966a1e06cc43","datavalue":{"value":{"amount":"+0.9306498","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":"Q1176101$F1A15CDE-70E3-428C-A594-303C6BEBE157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8525532039f0cee2e1fab3d8ec9d8caf975ddfc9","datavalue":{"value":{"entity-type":"item","numeric-id":3743302,"id":"Q3743302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e88b4e3df5bea30d6156eefab0596448729ce3","datavalue":{"value":{"amount":"+0.9240334","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":"Q1176101$FC20ECE0-341E-4C1F-A393-EFC9EDEFA00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36c6ad665f452a4ee53651f2e8f9f7fc569a7af","datavalue":{"value":{"entity-type":"item","numeric-id":1317986,"id":"Q1317986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f9f56e680f06a28600478096561b814008259b","datavalue":{"value":{"amount":"+0.92369473","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":"Q1176101$DF16BE8E-A295-4C95-8BDA-CF172299DC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d91a973a15097abc3b28fbdff883a930c1041d0","datavalue":{"value":{"entity-type":"item","numeric-id":2974966,"id":"Q2974966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4b9b2d88b44c856f00ec4f582502dff48e6c43","datavalue":{"value":{"amount":"+0.92254066","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":"Q1176101$EEEA2E00-73D1-4CEE-AAC3-8713CE9C81E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b124167026a5de2b9effee8c0db0e3de63270de2","datavalue":{"value":{"entity-type":"item","numeric-id":884950,"id":"Q884950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bd4441937335d5a19b05f32c74da134a68b2c53","datavalue":{"value":{"amount":"+0.9179638","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":"Q1176101$A238C6DE-5135-4735-B4B7-A3436918AA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b99d416fec6d84e93dc4fca6044f95cf0316dd","datavalue":{"value":{"entity-type":"item","numeric-id":2284173,"id":"Q2284173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d19b79ed0f91a8365ac1a817a1ab3c99cf16c08","datavalue":{"value":{"amount":"+0.9175705","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":"Q1176101$078C730C-7D9E-4A1E-91DB-D0A8F73B1D41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicate provability logic with non-modalized quantifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Predicate_provability_logic_with_non-modalized_quantifiers"}}}}}