{"entities":{"Q1095140":{"pageid":1105892,"ns":120,"title":"Item:Q1095140","lastrevid":69942573,"modified":"2026-04-13T11:22:49Z","type":"item","id":"Q1095140","labels":{"en":{"language":"en","value":"Finite Kripke models of HA are locally PA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027462"}},"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":"Q1095140$67708FA7-E76D-4B04-8ED4-89E85285F4F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7981029ea2db29ebd38ca286689db6ee83872294","datavalue":{"value":{"text":"Finite Kripke models of HA are locally PA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095140$6F142B87-CC5A-4AE3-8C94-635BCF1A87B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"034e052c11a148cd42651de45102c9ef9132b080","datavalue":{"value":"0632.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095140$12697142-046D-49D9-9368-1A054FD1A891","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83acb26c132edffe3503227fdedd09777c685939","datavalue":{"value":{"entity-type":"item","numeric-id":1060191,"id":"Q1060191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095140$D1F6597D-E654-430A-8DE4-4EC9F2B3306E","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":"Q1095140$B9D64A24-E23F-4167-96C3-50F137845D27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1095140$74FFFE8D-EB84-43C2-933C-C540E2985DCB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6511faa3e9008e1a8350d0c53e82711098baccb7","datavalue":{"value":"In a Kripke model for Heyting arithmetic the nodes carry classical models of (subsystems of) Peano arithmetic. It is not known which theories hold for these local models in general.    In the present paper it is established that in finite Kripke models the local models are models of full Peano arithmetic. The method used in the paper is a model theoretic version of the Friedman translation [\\textit{H. Friedman}, Lect. Notes Math. 669, 21-27 (1978; Zbl 0396.03045)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095140$F67AF81A-D9C5-4909-8A6D-F74B7236D741","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095140$F495811F-8030-4F14-951F-1D1BC36ACFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095140$7CCE4E34-471B-4CC5-91FD-6B19FA78B007","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa3d0ade4c07db70f3bf94838d171f81da5bdef4","datavalue":{"value":"4027462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095140$4F9AC737-786B-417C-B8D4-21E7EEF1F5D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095140$2FD638A9-D7C0-4DF9-B0A3-0FA945A16808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095140$852912E5-103C-4C35-BD95-6F7F4AAD7AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60bef303383825a04a69a0c23e5620e0837115f0","datavalue":{"value":"local models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095140$2AE9479F-E43A-41CB-A200-9AEE4AB808D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f92d367d0bfeca6d9849cedba3d522eb382f7161","datavalue":{"value":"finite Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095140$0D286C29-F133-4C9F-8A4C-40BD44014553","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":"Q1095140$E08F9FA4-77F9-4385-98ED-6C53EB8E1BAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d21f09f690592ef3d35d50c436a40374442ee50","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636765","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095140$29E0AFFC-56DA-433F-94C5-34B62C8A97F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42d9caec453b31089864af70c10334fd2094ad2f","datavalue":{"value":"W2032357775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095140$EF914F0D-AB80-41C2-82A5-97DF162AA6A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"192497c60b3e46b5039a0adb8e401184af958edd","datavalue":{"value":"10.1305/NDJFL/1093636765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095140$B3316DA3-A7C4-4326-A59E-9E33F797D8BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96296be5d3d418d1914a8f21a39fb01e99570189","datavalue":{"value":{"entity-type":"item","numeric-id":1355126,"id":"Q1355126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddbb22a94a4999d653872bae64bf83047da68280","datavalue":{"value":{"amount":"+0.893984317779541","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":"Q1095140$B0E88978-6523-4A68-8960-40D85EF35732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4611ebba9c26ca7b6a4d796439e228b834dd1d","datavalue":{"value":{"entity-type":"item","numeric-id":4493072,"id":"Q4493072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d17cd8a2a399e3d53bd91142a34d28827251b3e","datavalue":{"value":{"amount":"+0.8901423811912537","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":"Q1095140$522E629E-29EB-4CFB-9FEC-089EDC2353C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9c6f8e47f7076ed12db43a36868b18935c6440e","datavalue":{"value":{"entity-type":"item","numeric-id":4530151,"id":"Q4530151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9a27009a3f966fb8de6d4e29b84c0a656b2294","datavalue":{"value":{"amount":"+0.8780851364135742","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":"Q1095140$996DF91D-4CB6-45AD-9421-4501ECDB1B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4014df4a3f35ef037e615e9db8c782a6a70d3784","datavalue":{"value":{"entity-type":"item","numeric-id":5479025,"id":"Q5479025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e990e373209ad5a813a8660d9a73edb9db4757ef","datavalue":{"value":{"amount":"+0.8762460947036743","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":"Q1095140$88985A54-115E-4061-99B6-19FB3FB80575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e805c27a295e522d202d66c9383e7230cc66f0dc","datavalue":{"value":{"entity-type":"item","numeric-id":4304788,"id":"Q4304788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c86cd186c5ad825369f6d50dde28878b658065","datavalue":{"value":{"amount":"+0.8544477820396423","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":"Q1095140$B5DF0F19-C9B4-4F92-A84D-51F94FC66CE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite Kripke models of HA are locally PA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_Kripke_models_of_HA_are_locally_PA"}}}}}