{"entities":{"Q1970646":{"pageid":1981388,"ns":120,"title":"Item:Q1970646","lastrevid":82117967,"modified":"2026-05-06T20:08:43Z","type":"item","id":"Q1970646","labels":{"en":{"language":"en","value":"Proof-theoretic modal PA-completeness. II: The syntactic countermodel"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1420294"}},"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":"Q1970646$12C93946-AA75-4AFC-8364-4FA87C0A1E2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9157c39ea671808d84ac7f7104672567bdfea254","datavalue":{"value":{"text":"Proof-theoretic modal PA-completeness. II: The syntactic countermodel","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1970646$837C33E5-4D6C-4582-9BD1-50EFD99735F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6cb6fc53558bd1851d9c849da3c78a388a0ed7c","datavalue":{"value":"0952.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970646$835FCF4E-33EC-407D-8382-B6083AF6BA19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fa026d4bc55c39e4b2bc8f062af7717a41926c0","datavalue":{"value":"10.1023/A:1005266731458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970646$2452FA47-ED93-438F-BB82-E8F202960CB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef13ff3bc8f9deab469e35f13dbb7fff50b2616","datavalue":{"value":{"entity-type":"item","numeric-id":420831,"id":"Q420831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970646$0D149EFD-D13F-424C-A923-61A7F36A319C","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":"Q1970646$7804894F-8C78-4DC2-902A-5C164B8A950D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cea4e04940bd3504f3c0f2b605e025bc106fb722","datavalue":{"value":{"time":"+2000-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1970646$754141F2-021A-48E0-B3CC-0C63F49ABF64","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"244568edc093a79dc2f3f61bc2dd3b6d5defafc4","datavalue":{"value":"The paper under review is the second part of a series of three articles that present the syntactic proof of the PA-completeness of the modal system \\(G\\) (provability logic of Peano arithmetic).   The system \\(GL\\)-\\(LIN\\) is an extension of the system \\(G\\). The author proved in the first part [reviewed above] that for a sequent \\(S\\) such that \\(\\not\\vdash_GS\\) and \\(\\vdash_{GL\\text{-}LIN}S\\) there is the canonical characteristic formula \\(H\\) which expresses the distance \\(d(S,G)\\) between the \\(GL\\)-\\(LIN\\)-theorem and system \\(G\\).   In the paper under review, the author constructs a canonical \\(GL\\)-\\(LIN\\)-proof \\({\\mathcal T}\\) of the formula \\(\\sim H\\). This proof plays the role of a syntactic countermodel for the sequent \\(S\\) with respect to system \\(G\\).   As an example of proof-theoretic methods introduced in the paper, the author presents a class of syntactic countermodels which characterizes Rosser sentences and a possible hierarchy in arithmetical interpretations based on the parameters of the class of syntactic countermodels which they can PA-falsify.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970646$F79312D7-341F-4D0D-B80E-D1A3A52818A3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f8e4d6d96d31b6da2906ce2893c15ec96871a66","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970646$1E029894-3803-46F3-B58A-C95A42D57ADB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970646$E9729F7F-FCB7-4C8C-9BEE-CF40BC0E3A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970646$12481CAE-E4D1-4AF5-8EED-97F657E0C90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970646$B602B0AD-D5C4-4033-AEE2-6E227A294F25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d54bbefdf4801afd0a5903d96e88cff01c5c484","datavalue":{"value":"1420294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970646$D966B9B3-F45C-401B-9847-60638DC44F16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970646$74B74C60-54A1-4A5F-A8FB-B0551BAB4965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00722be9f5ecc770b0e71b41464532e3b1accb9a","datavalue":{"value":"syntactic proof of PA-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970646$146B488B-4595-4E38-8784-51AC65519CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970646$876D2328-68C6-4F09-9E9C-1DAF877AB586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f946eee163b049f696b1d56dc4d6662b3a05a47b","datavalue":{"value":"syntactic countermodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970646$8B41A6F3-7D59-4789-A3BA-2B3972644EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a2a9f912130ce59e7d6c81711aef812f9166fa0","datavalue":{"value":"Rosser sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970646$4F4F291A-0C94-4962-AB4A-342EA428E54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7f561835d6200119eefab934376ee478571ef88","datavalue":{"value":"hierarchy in arithmetical interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970646$43502FCF-89B1-44D2-9051-E7CD03532B65","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":"Q1970646$308C363A-DAB3-483C-A90B-1311401F3F09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"203b9c87605311ff7f8d22e488e4f12fb84c9fce","datavalue":{"value":"https://doi.org/10.1023/a:1005266731458","type":"string"},"datatype":"url"},"type":"statement","id":"Q1970646$D52BE9D1-40BC-4F35-B896-1128F88EFAB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8aaeb78dd1c33edd23ec8194c7e104e7cf5a1015","datavalue":{"value":"W1544138228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970646$4FDDC67E-8BFE-422A-ACCA-6878205D7DB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b44d3b76a934c66825e2a9df65d55905a8f311ce","datavalue":{"value":{"entity-type":"item","numeric-id":1970916,"id":"Q1970916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4042006a57f553e3bf35b280f26ec9d4331aae7f","datavalue":{"value":{"amount":"+0.870135486125946","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":"Q1970646$7B131884-E724-4B60-BF4D-4FF6406E13EA","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":"408a0403e1fcf6dfc9966ea709bd8fac9eea02d3","datavalue":{"value":{"amount":"+0.8701353669166565","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":"Q1970646$96D80320-C3D2-4582-B16C-6079A25EA9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d74a9841cacb8bef05016568384b8ccc0da9eee","datavalue":{"value":{"entity-type":"item","numeric-id":1970598,"id":"Q1970598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1629ee03e77e3b413fa6ed715751586c94536c","datavalue":{"value":{"amount":"+0.8230389356613159","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":"Q1970646$1380C33F-EBEC-45BE-95A0-3180D2C5E8DE","rank":"normal"},{"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":"43f68bff81b51eecfe836c8d73d426cbaac099a2","datavalue":{"value":{"amount":"+0.820664644241333","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":"Q1970646$6937B40C-5A3A-40DD-9F25-DFEEEF73CDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b17fb26c75f7d8ee828104772240265bc7ef8c8","datavalue":{"value":{"entity-type":"item","numeric-id":1319362,"id":"Q1319362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd0b660c402d6da9990a9b2ef3abf703c8f5a77","datavalue":{"value":{"amount":"+0.8201202750205994","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":"Q1970646$0032F159-E9F1-44C3-8C49-58CEFDF513BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-theoretic modal PA-completeness. II: The syntactic countermodel","badges":[]}}}}}