{"entities":{"Q1095138":{"pageid":1105890,"ns":120,"title":"Item:Q1095138","lastrevid":69942555,"modified":"2026-04-13T11:22:49Z","type":"item","id":"Q1095138","labels":{"en":{"language":"en","value":"Interpretability of various extensions of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027458"}},"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":"Q1095138$3E7BB2ED-0607-4CB3-85CB-3AEF894139C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32246617f087a050cd9d634bb1436cf6e938099a","datavalue":{"value":{"text":"Interpretability of various extensions of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095138$AEE80F46-F0E1-4207-89A9-9AF96318C4CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a615907ffb4ffb13c2b306f890839c573b017aa6","datavalue":{"value":"0632.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095138$75F21B2A-5AAF-4AA9-8F77-C1BE8A43DB96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5857b3d14711e50d11dbeeca4532a21c5ba6c039","datavalue":{"value":"10.1007/BF01159698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095138$78E05D1E-99CF-42F6-9B06-3AF3EEE57F44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a48b6daea63576cb93608f455bfae3d6af02c46","datavalue":{"value":{"entity-type":"item","numeric-id":908910,"id":"Q908910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095138$DDC958E1-F9DF-42E7-91AF-73F8D9111EB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095138$C1DDD48D-1FD2-4290-86A2-A8BDD66055FB","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":"Q1095138$F3DD1A0B-B0A1-4B3C-A125-AC656C890367","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7f480cc17f75c7316bfb05c80a77ed7edf97410d","datavalue":{"value":"The paper proves some nice theorems about interpretability of extensions of arithmetic PA. The main result: let \\(PA_ 0=PA\\) and \\(PA_{n+1}=PA_ n+Consis PA_ n\\), then PA \\(+\\) arbitrary m examples of the local reflection principle \\(\\Pr_{PA}(\\ulcorner \\Phi \\urcorner)\\to \\Phi\\) is interpretable in the theory \\(PA_ n\\) iff \\(m\\leq n\\). It follows immediately that theories \\(PA'=PA\\) \\(+\\) local reflection principle and \\(PA_{\\omega}=\\cup_{n\\in \\omega}PA_ n\\) are relatively interpretable. The result seems interesting because \\(PA_{\\omega}\\subset PA'\\) and \\(PA_{\\omega}\\) is in the following sense much weaker than PA': \\(PA_{\\omega}\\) is contained in some finite extension of PA and PA' is not.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095138$C0246BDF-EA8A-4B17-B6F4-2E879C0B286A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095138$32739C14-4650-4C38-BA8E-F4DF2A08F0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095138$5EE8217F-267A-4889-A0D0-15B4F66341AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095138$4E2167A1-45C5-45D2-929C-0EC9AC2EB7C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3042015e808b77eaf47cf5acce252879c600eb90","datavalue":{"value":"4027458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095138$71D4139F-D5C7-47E7-9137-DB2C3012A51C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095138$D5042C9D-642B-4554-AFDF-D2C1706C025D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095138$ED8375B6-D05E-4BF1-9BD2-2F9533CDE272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a670e13e0210742fc78097a121e258343a648b15","datavalue":{"value":"interpretability of extensions of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095138$263F34AC-871D-4D4D-A7E2-92EFFE17E59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a51d6edc33bd3ab52f02a2c9c623ea4d09c1ed73","datavalue":{"value":"local reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095138$E7E45762-DE37-434A-BA43-676C9506CBBA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8ed9eb7b5676e67d936495c86d88b4db3563325","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095138$5B6EABC0-A677-43D7-B055-4AA59E28D20E","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":"Q1095138$43B52EFF-1178-433B-9477-8E0D6EAF811C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095138$EC944422-21F7-4B81-800E-1F1CFFC79593","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":"Q1095138$E4DC1A66-8F1F-4D74-91D3-0930B223509E","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":"Q1095138$C48E5190-B8A2-4147-907A-F43B58C8F358","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":"Q1095138$D089D056-0AA5-40E2-B069-E92890B0EC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45827b8b9bebe801f9b7917057e85dbcd9c2c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3964565,"id":"Q3964565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095138$B0DB7E36-8AD2-43E5-9A64-1A25C2C45E80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a053703088c035a2835a39f9778e6d344d2dc5","datavalue":{"value":{"entity-type":"item","numeric-id":3739120,"id":"Q3739120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3751d52bc55a689fc717d322c34067cf1f958bbe","datavalue":{"value":{"amount":"+0.7808388471603394","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":"Q1095138$161B5CF0-405F-4AAF-B09A-EEB407AA7BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3545aff16923152943b6a6952905a7d99a7b69cb","datavalue":{"value":{"entity-type":"item","numeric-id":3726109,"id":"Q3726109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f522e563f3753d7e48a4521ae6e38442ae610d","datavalue":{"value":{"amount":"+0.7776556611061096","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":"Q1095138$E84028FD-14E5-45EC-B7EE-FF1F680ACD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44d48cc6eae7fce24a08db97a3ad4eb41ce2f1e1","datavalue":{"value":{"entity-type":"item","numeric-id":3140636,"id":"Q3140636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bbb7891eb3ff1eec66abf59ab933e27360bd799","datavalue":{"value":{"amount":"+0.7710803747177124","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":"Q1095138$0179BD5D-19B8-431B-BF87-A2ABE99FC3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad93ef737236c095811cdb874d4696a52c8c9fea","datavalue":{"value":{"entity-type":"item","numeric-id":2425351,"id":"Q2425351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aafa63453b0a0a238d0ab71cfd59a5d78b479de0","datavalue":{"value":{"amount":"+0.7675103545188904","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":"Q1095138$5EEAA5CA-41E2-43FE-8643-B965024B5E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94cb41956a17dd9572570c1b36b376a64fc9aec","datavalue":{"value":{"entity-type":"item","numeric-id":2402961,"id":"Q2402961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2f868d40f3242809bf64d2a37f2a27cf858e94","datavalue":{"value":{"amount":"+0.7652942538261414","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":"Q1095138$E9D04107-5DC7-4DC5-B95A-0A6D46E794C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpretability of various extensions of arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpretability_of_various_extensions_of_arithmetic"}}}}}