{"entities":{"Q685067":{"pageid":686916,"ns":120,"title":"Item:Q685067","lastrevid":47188003,"modified":"2025-12-31T23:06:02Z","type":"item","id":"Q685067","labels":{"en":{"language":"en","value":"A contribution to the end-extension problem and the \\(\\Pi_ 1\\) conservativeness problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 416879"}},"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":"Q685067$5F62D969-5F3B-409E-AF01-D500BE0C7EB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"120e96d97eaccf5dbc8cff4f2193bd6bbd2625ca","datavalue":{"value":{"text":"A contribution to the end-extension problem and the \\(\\Pi_ 1\\) conservativeness problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685067$652E32AD-8362-4389-B425-94700004F9AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82305a543773ccc85152d387c89bd3bf2304545d","datavalue":{"value":"0790.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685067$F1161973-4479-4AFB-B01C-A6AFD2E75937","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f70ba371746c2ac1998b3f576b59d7c7b98a06d4","datavalue":{"value":"10.1016/0168-0072(93)90196-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685067$8302CCC4-124F-444A-A85B-C88D3B6DBD63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2f93faa10511765d980de6eff18c013c04e1406","datavalue":{"value":{"entity-type":"item","numeric-id":218976,"id":"Q218976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685067$AF25DDF8-821A-4A2D-99DA-7DBE459B4525","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685067$245F98D8-D4EC-46ED-ACA0-C08C15253D4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6918393775fb1c8826438f5277bce44cf6f24c36","datavalue":{"value":{"time":"+1993-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685067$57EB21C6-04B1-4B49-BC41-AEB4D4A22B2F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d7b094b398ecec629a23584c17e14722aa9effd","datavalue":{"value":"Kirby and Paris asked the following question in 1977: ``Does every model of \\(I\\Delta_ 0+B\\Sigma_ 1\\) have a proper end-extension to a model of \\(I\\Delta_ 0\\)?'' This is known as the ``end-extension problem for bounded arithmetic''. The author contributes to the study of this problem formulating a \\(\\Pi_ 1\\) sentence \\(\\tau\\) which is a version of the tableau consistency of \\(I\\Delta_ 0\\), then constructs a model \\(M\\) of \\(I\\Delta_ 0+ \\Omega_ 1+ \\tau+B\\Sigma_ 1\\) which has no proper end- extension to a model of \\(I\\Delta_ 0+ \\Omega_ 1+\\tau\\), and also proves that \\(I\\Delta_ 0+ \\Omega_ 1+\\tau\\) is not \\(\\Pi_ 1\\) conservative over \\(I\\Delta_ 0+\\tau\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q685067$6E3B43B7-2D5C-4B68-9057-A8B7E1FCCDE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685067$0276F810-A45B-4977-8508-3192B72FBA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685067$E06C9241-C6BA-4137-8E6F-A1388EF4BF67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15ed2813f711788514b06d7e8e79b1ad2f29d806","datavalue":{"value":"416879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685067$59FAE9B6-A8F9-4A32-A777-AF36F6589951","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db455c717c9c666dc8b1422d452a27b68a707d32","datavalue":{"value":"end-extensions for bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685067$714DD4B1-1C15-48C4-8DA9-4BA5562DDE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08a773df0d501d63a3d5173dd4d634b6b4cac7ed","datavalue":{"value":"tableau consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q685067$BCA63101-1E4B-46AF-8603-E92912BCF764","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b07fff8e24e213d71938c843c08dd4401c027091","datavalue":{"value":{"entity-type":"item","numeric-id":1250213,"id":"Q1250213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685067$ACF3D18E-364D-474C-8CC3-0B6C3BD4EF65","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":"Q685067$216C2202-9E66-4662-9468-8F1FD29426D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8490a626e3f35f79fec868411b3f55b85a0b8d66","datavalue":{"value":{"entity-type":"item","numeric-id":3985086,"id":"Q3985086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685067$54C975B2-3F9E-4BC7-BD24-768D22D93B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94868801ea78d09cd7915bc74691ee00db83d458","datavalue":{"value":{"entity-type":"item","numeric-id":4032645,"id":"Q4032645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685067$8C8D63E4-EF2E-4BCD-86A8-5F3938D931AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c2087023c2e88f39651df79531449dcaf127e3","datavalue":{"value":{"entity-type":"item","numeric-id":4735189,"id":"Q4735189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685067$745EFB3A-2351-454B-9109-3085EA1BD0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685067$90EEC2A4-E383-45D7-B4E5-CED6F6C856CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd225d509accf443965fd398d8d1fca16775d4f6","datavalue":{"value":{"entity-type":"item","numeric-id":3470461,"id":"Q3470461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685067$2E1BE956-525C-4A1A-8C15-D8D9C5645440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685067$690C80E0-6A44-4D1C-AF4B-8A50E28789A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baedc0038f5833014fb3acca70bfc1e511ba3ed6","datavalue":{"value":{"entity-type":"item","numeric-id":2204367,"id":"Q2204367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a69ca5570e49c8d8c84388fca03650321cb569e3","datavalue":{"value":{"amount":"+0.8332645297050476","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":"Q685067$0C7B82CF-2F78-4CC8-A013-E2C18B0013E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a80d172741676065dedf65024bce02053cd787","datavalue":{"value":{"entity-type":"item","numeric-id":3971940,"id":"Q3971940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5bf57fdea47f0346392b76b24d84c07048b489","datavalue":{"value":{"amount":"+0.831061840057373","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":"Q685067$979BE6D0-C864-4CAC-B9A8-24E08472A8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729a9d2ba4c4cf2a1cd954393c9bce28692fa957","datavalue":{"value":{"entity-type":"item","numeric-id":5941254,"id":"Q5941254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4340b29aaff58d2c82a68540a4b1a2beb22f15dd","datavalue":{"value":{"amount":"+0.8267009854316711","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":"Q685067$2F35758A-C4BA-4189-B6AC-675C38853F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b393a2680b878ee96333d968fd4654b4bf9276","datavalue":{"value":{"entity-type":"item","numeric-id":937209,"id":"Q937209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df368c3bfbb08aceab5edeef4d8828063962711b","datavalue":{"value":{"amount":"+0.8237070441246033","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":"Q685067$D9456C56-9254-44A7-A5C2-61B94C4E99CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"073b19ffc3c42095b0bcc6ab64cb48bde5bfc4e0","datavalue":{"value":{"entity-type":"item","numeric-id":3470461,"id":"Q3470461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4ae1a097eef53cf620179189be6f5ab20492ec","datavalue":{"value":{"amount":"+0.7869411110877991","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":"Q685067$4305641E-1D1B-4224-B523-FBE56EC931EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685067"}}}}}