{"entities":{"Q1123890":{"pageid":1134639,"ns":120,"title":"Item:Q1123890","lastrevid":80317907,"modified":"2026-05-06T15:55:21Z","type":"item","id":"Q1123890","labels":{"en":{"language":"en","value":"On the structure of initial segments of models of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110686"}},"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":"Q1123890$34A2CF62-FDE7-4622-9F71-DA5DAFA9B5C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f115b8d2685042309cb275661b25fb845f4ce0f2","datavalue":{"value":{"text":"On the structure of initial segments of models of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1123890$F390B71A-2073-4FDF-B7F0-61124343BB8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9c4d286e853dce12f86dd9ab8aea2ed4a0f08c9","datavalue":{"value":"0678.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123890$D1F4C836-D58C-4A60-82B9-0AFFA1F45488","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a81588e272d9d82d6956ce47251cd7e063398814","datavalue":{"value":"10.1007/BF01633984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123890$D93D3830-B6BA-4D17-98DB-9D8ED47F0232","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123890$4EC36D8D-891C-44D6-98C9-23D61B1332EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123890$51C5A1A9-1D49-4CAF-98E6-40F613F53DC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123890$CA34A500-926F-48A1-B6BE-0D183CCF35C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1123890$C3CBD999-F1FC-4DAB-9518-19169371F8D2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ce07b04a7a74633eb8833ec54cc549ab77944538","datavalue":{"value":"If M is a model of arithmetic and a is an element of M, then \\(<a^ M\\) denotes the initial segment of all elements of M which are less than a. The question considered in the paper is: for which functions f(x) the structure \\(<a^ M\\) (where \\(+\\) and \\(\\cdot\\) are ternary relations on \\(<a^ M)\\) determines \\(<f(a)^ M?\\) The authors improve upon earlier results of Paris, Dimitracopoulos, H\u00e1jek and Solovay by showing that for every countable model M of a sufficiently strong theory T (extending \\(I\\Delta_ 0+\\exp)\\) and every nonstandard a and c in M there is a model K of T which agrees with M up to a and contains a proof of contradiction of T whose G\u00f6del number is less than \\(\\exp (a^ c)\\), where \\(\\exp (x)=2^ x\\). The paper also contains a variant of the above result dealing with consistency statements for fragments of the form \\(I\\Sigma_ n\\) and a discussion of improvements of upper bounds for proofs of inconsistency under additional assumptions about complexity classes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123890$8FA9A49B-9BFA-4527-900C-FC4AD686F9D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123890$6971D66F-8CD5-427A-A53F-6AE72091C0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123890$79D889FE-289C-4AE6-B7E2-0671DD78655D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123890$E5D3B5B3-488A-4E76-9C71-9D1C5C13C52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123890$777BAF33-25CD-49BA-B920-657FC96AE66C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5ee9facb26420416ba45bd6b76c43b9f3ceb43c","datavalue":{"value":"4110686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123890$D0FF560D-FCF1-4431-8232-31C65FD34B97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148cbec86e681f0f3a624bd824528138b3e8a622","datavalue":{"value":"length of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123890$EEFAED7F-964A-4776-9DFF-BFDC567F683F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123890$AB3B69F0-8C2D-45F4-900F-A2950EA23AA0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123890$6D384223-BEE6-4DAF-A195-166B93CECF6A","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":"Q1123890$0EDC99EE-6BCD-4FE2-A028-C768C7A921CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfedd2c761b3fb7576c08b264508fc6ee6706256","datavalue":{"value":{"entity-type":"item","numeric-id":3856756,"id":"Q3856756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123890$FD55069A-F8AB-4584-BE08-4E7079549828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16379452a4949bf4e97a3cd79c6104d4a7ee9465","datavalue":{"value":{"entity-type":"item","numeric-id":3755452,"id":"Q3755452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123890$ADEDC0EF-7B72-4C40-9187-AF086B05BE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c8e8c45bd30e4d2779b4e28bf2c174478c03fb","datavalue":{"value":{"entity-type":"item","numeric-id":3773878,"id":"Q3773878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123890$40A64382-58D3-46AB-8721-8273F5C981EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660e2f5f132ace575c360c0449ab1f0921c2952c","datavalue":{"value":{"entity-type":"item","numeric-id":549718,"id":"Q549718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"784edea1c37da82ab2d54649c630a5ef22183332","datavalue":{"value":{"amount":"+0.93910795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123890$76B64D5C-E4D7-4AC4-AB07-0D9448C52604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258b41ad36b0268d19373c85b40f390b63241d8a","datavalue":{"value":{"entity-type":"item","numeric-id":3691674,"id":"Q3691674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990706197b0682edf123db1381203454839da3ea","datavalue":{"value":{"amount":"+0.92969537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123890$FA32933C-293E-43ED-937E-377E744D4C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef27d274eee274643cff1de53e52460cbad23c8b","datavalue":{"value":{"entity-type":"item","numeric-id":819263,"id":"Q819263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e6e9eab858d7d1f277cbcf0c2e5251250813d53","datavalue":{"value":{"amount":"+0.92506874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123890$412687E3-B0E9-4B28-8FA1-25FAD0B43829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a1ca6a7f193e1421f6ff943693a3bc66434a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3762319,"id":"Q3762319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb29c50b29ccd5d48eda7001298f97b6ef2dd84","datavalue":{"value":{"amount":"+0.92082536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123890$7415FA0E-7246-4B47-B260-101790EBB60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c838fd3cd458f921faf9873ddffd33d30044162","datavalue":{"value":{"entity-type":"item","numeric-id":1311429,"id":"Q1311429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2593df839545f903c573ae597f3bd0d1ced9ae36","datavalue":{"value":{"amount":"+0.90569866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123890$F6E7F38F-3D6C-418D-912C-F2D0F99C4773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6e0ba8ed0e1dcb27da48dfb36637f3d58e33ac","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b90869fa9a0b8614f3edc33b716e14458cd27f","datavalue":{"value":{"amount":"+0.905589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123890$B9C8A404-4290-43BF-B98D-C4310B3DA1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e17a63133f658fa2d7ffa3a641966172b2f061b","datavalue":{"value":{"entity-type":"item","numeric-id":3781756,"id":"Q3781756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c99acbbed7f77de2318683116577c1963ff8cd","datavalue":{"value":{"amount":"+0.90363026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123890$F34C9379-1B1E-4D4C-88A0-5FCF62F356B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a755ce9335494487243925660da0dc9e39c5a2","datavalue":{"value":{"entity-type":"item","numeric-id":1803012,"id":"Q1803012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f45ecdd3339465fcce7e5114be7444a5db7805a","datavalue":{"value":{"amount":"+0.8990177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123890$43D8186D-674D-431A-9FAB-463C022BD0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48bc64bb0f7ebf905e20cba0dac02c05a1701629","datavalue":{"value":{"entity-type":"item","numeric-id":3128124,"id":"Q3128124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0695cb2d3e7494963d4bd807b9db70f11f42d57","datavalue":{"value":{"amount":"+0.8954232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123890$7CACAE6E-FEF7-4C48-9076-CF858183CDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da458ae08134fe59a4ef1d3a59c444c79944e629","datavalue":{"value":{"entity-type":"item","numeric-id":3370752,"id":"Q3370752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ee4973acd945157170d74f15a4429ee0789a7b","datavalue":{"value":{"amount":"+0.8952172","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123890$9614F736-96F8-4B13-9CC5-099E63845973","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the structure of initial segments of models of arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_structure_of_initial_segments_of_models_of_arithmetic"}}}}}