{"entities":{"Q2204367":{"pageid":2215110,"ns":120,"title":"Item:Q2204367","lastrevid":53845430,"modified":"2026-01-25T19:50:58Z","type":"item","id":"Q2204367","labels":{"en":{"language":"en","value":"End extensions of models of fragments of \\(\\mathrm{PA}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7261469"}},"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":"Q2204367$94778B36-1DF6-4B87-BE4E-9BB102A7FFF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"554aa0192aa9a4dea1906183876536b3c70e2c1f","datavalue":{"value":{"text":"End extensions of models of fragments of \\(\\mathrm{PA}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2204367$D9C28A4B-7D3E-4A73-A79B-0754FF85CD75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b096ac02d5889142e176b29cdbab68f02f4ea6b4","datavalue":{"value":"1459.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204367$C7720EAF-3BEC-4480-AB46-9F432E5ECD8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$F1F22330-2C7C-4DC2-A88B-6009BE41ED20","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":"Q2204367$DE981630-60E9-45AF-882C-21BA840D7278","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74f969d0fb9bfcdfa4b8edd3d369bcf872715087","datavalue":{"value":{"time":"+2020-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2204367$E228FD3F-866C-42F3-B653-430B41DC8583","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e80d482345a0593ccb2bef156fff3456b44e4e7","datavalue":{"value":"\\textit{J. B. Paris} and \\textit{L. A. S. Kirby} showed in [Stud. Logic Found. Math. Vol. 96, 199--209 (1978; Zbl 0442.03042)] that for all \\(n>1\\), a countable model \\(M\\) of bounded induction \\(I\\Delta_0\\) satisfies the \\(\\Sigma_n\\)-collection schema \\(B\\Sigma_n\\) if and only \\(M\\) has a proper \\(\\Sigma_n\\)-elementary end extension to a model of \\(I\\Delta_0\\). In an attempt to generalize this to models of arbitrary cardinality, \\textit{P. G. Clote} [Fundam. Math. 127, 163--170 (1987; Zbl 0619.03038); Fundam. Math. 158, No. 3, 301--302 (1998; Zbl 0924.03108)] proved that for all \\(n>1\\), every model of \\(I\\Sigma_n\\) has a proper \\(\\Sigma_n\\)-elementary extension to a model of \\(I\\Delta_0\\).  In his proof Clote [loc. cit.], uses a  restricted ultrapower construction.  The authors give another, detailed proof of Clote's result [loc. cit.] using a subtle version of the arithmetized completeness theorem. In Section 3 of the paper, that proof is modified to obtain a new result: every model of \\(I\\Sigma_1\\) has an proper end extension satisfying \\(I\\Delta_0\\). The authors acknowledge that the same result can be proved using the results in [\\textit{A. Enayat} and \\textit{T. L. Wong}, Ann. Pure Appl. Logic 168, No. 6, 1247--1283 (2017; Zbl 1422.03080)].  The notoriously difficult problem whether every model of \\(B\\Sigma_1\\) has an proper end extension satisfying \\(I\\Delta_0\\) is still open. The paper concludes with a list of interesting related open problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204367$49715E1B-B1A0-440D-820D-7D990CC00668","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204367$F98E7029-1DCF-4293-96FC-026BF016BD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204367$705B33C9-FC58-4672-899F-203CB32D3BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204367$E536884D-4189-4EBC-B32F-987D681E646E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13b97c7e8ccaedbe200526cd9f4c8e6f7bcc3041","datavalue":{"value":"7261469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204367$758E6247-773C-4FB4-8F74-CB27B5DFE55B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"230ba46644a0069ac842b6c3a7eac63ee54b8e23","datavalue":{"value":"arithmetized completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204367$2B1BEC34-9B94-4767-8C73-843D72533074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b7bebb7432c97f7be3aab507b0cc47903033f5c","datavalue":{"value":"fragments of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204367$AF7BE116-B437-4B0D-8DE7-5CC66BDE1B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cddb03d56641bd0c8c383d3410940d6449caeec8","datavalue":{"value":"end extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204367$FFADCA77-0B25-4E4E-8847-15B5968D6D46","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":"Q2204367$BE50EDB0-C959-49F5-BA33-D57BDF88E7F5","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":"Q2204367$39A1822C-B4FA-4753-BDA5-3EAB9B5A1D0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4924d053cbacd7b2e99eff3b3bc1a519bcaa5aee","datavalue":{"value":"https://doi.org/10.1007/s00153-019-00708-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2204367$5C19F532-353C-4899-8C01-0C36262DC319","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc960f309b6de96e3662430289cd242f22efd0f5","datavalue":{"value":"W3005752082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204367$DE023E5C-D35E-4444-8441-97788930F59A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d0ae25406caa1153b5da55e008c1d60a51f210","datavalue":{"value":{"entity-type":"item","numeric-id":3971940,"id":"Q3971940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$31D69180-8158-40E5-B4F9-9F9710CBC331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1604d9ad6d5f9f810317dd6dfd669eb73fce505","datavalue":{"value":{"entity-type":"item","numeric-id":685067,"id":"Q685067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$EABC10FB-C633-4A91-91EF-2324E392D518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d75aeee389001c3f5362afe37f8d0e31cb3cf84","datavalue":{"value":{"entity-type":"item","numeric-id":3755453,"id":"Q3755453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$8B3B6100-43CD-4874-AFAD-000B7D84972C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3300bf4fc5c21c0f484175be7a2ff67c5ff28dfa","datavalue":{"value":{"entity-type":"item","numeric-id":4248092,"id":"Q4248092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$89B36034-7945-4F41-B7A2-D9676343918E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8cb23c3f2e754617f6638f9b8424a3186e45386","datavalue":{"value":{"entity-type":"item","numeric-id":3140629,"id":"Q3140629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$546C9BDB-FB07-4F4A-8F1B-40910816C958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01142ade637bad6d7eb3ed3ea1f445399979df8b","datavalue":{"value":{"entity-type":"item","numeric-id":286696,"id":"Q286696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$2F947732-E985-47C6-855B-6E311F9AFA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53055883410ea0d3bddd06e6680c324bc0f9331","datavalue":{"value":{"entity-type":"item","numeric-id":2400502,"id":"Q2400502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$6B42521F-D6A7-41FD-952A-65C1C5455B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3c32a4fb9a3f04d796d08c0ab22ff4b2032544","datavalue":{"value":{"entity-type":"item","numeric-id":4096940,"id":"Q4096940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$5C14B849-D8E3-407E-AFD4-D60E2B2C5519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d276bf930ce7be64a132b97986d74f6c4683019d","datavalue":{"value":{"entity-type":"item","numeric-id":3140636,"id":"Q3140636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$F5713E83-71B7-4C65-9700-50F47129D37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$CAAE7C90-F36F-46C3-B4BC-1A35EBF545EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$8791EFC2-25DB-45FF-9B90-AE9F534EBB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ec5b6f58c557057b8e805dfdf47f534cfdd1f","datavalue":{"value":{"entity-type":"item","numeric-id":3834043,"id":"Q3834043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$78BD9F31-CF75-4D6B-9C5B-FA5C4BDECF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20d97d3bbd0a4f86c9ba087fcc00907d9550d77","datavalue":{"value":{"entity-type":"item","numeric-id":5331471,"id":"Q5331471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$F1632965-7AF4-44DD-BDC9-5966AB999B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054f3f8b0785864466d242030e47b1076d46b298","datavalue":{"value":{"entity-type":"item","numeric-id":3931391,"id":"Q3931391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$898DFF35-A0CA-47F0-9787-CC20FFC62DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$A19C8546-1EB4-452F-89E8-E260182A3274","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":"Q2204367$1D72BA16-5956-48A3-83AF-9D9D78D664FF","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":"Q2204367$324A2C6B-7FB5-449F-9B2F-C14D52B814E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16029ac3701e7958acba0711ad92656918cbbe76","datavalue":{"value":{"entity-type":"item","numeric-id":2814420,"id":"Q2814420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204367$32E52F8D-C6A2-48F9-A08D-19A9ACF8F26D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"561b186284dc717170d5ff953aad2c84aa1fde2f","datavalue":{"value":"10.1007/S00153-019-00708-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204367$3CF0EC90-C90B-4D38-B9F4-0F1CC84A729E","rank":"normal"}],"P1643":[{"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":"932264e994a586747e8f0bc8667b38b511a861bd","datavalue":{"value":{"amount":"+0.9187752604484558","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":"Q2204367$8ECCF3DB-9736-4B2F-BA7F-B054734DF458","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":"3cb74c8ef64250e69348aca8141590f08dd576af","datavalue":{"value":{"amount":"+0.8607779145240784","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":"Q2204367$86109CD9-84B0-4B00-8E80-F03D4CB9CE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e2fc1f3a3067ae30ea088b69b9bae22522f4553","datavalue":{"value":{"entity-type":"item","numeric-id":1584015,"id":"Q1584015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a35cfad166eb27d51de9972e9821ea5075e27d5e","datavalue":{"value":{"amount":"+0.8568429946899414","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":"Q2204367$8A6DDD3C-49BE-4219-92DE-39E33726551F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac90f22579cea32717bc2f2cddcb99d6c9dd1407","datavalue":{"value":{"entity-type":"item","numeric-id":685067,"id":"Q685067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f86d77622cebbdd4258c7d599a8bf2b58f9980be","datavalue":{"value":{"amount":"+0.8558893799781799","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":"Q2204367$3022E443-A103-4DB2-9F49-9BC287A6E72D","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":"e7639a91e5028478cdc3c6b269e05674c75fd042","datavalue":{"value":{"amount":"+0.8553305864334106","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":"Q2204367$E50BECE9-0443-4701-A5AC-C4A1193805F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2204367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2204367"}}}}}