{"entities":{"Q937209":{"pageid":939057,"ns":120,"title":"Item:Q937209","lastrevid":65479200,"modified":"2026-04-12T02:52:34Z","type":"item","id":"Q937209","labels":{"en":{"language":"en","value":"On two problems concerning end extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5314396"}},"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":"Q937209$674A2795-63B2-4AEA-AE0C-5E98D6AFE037","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e9fce69385f07849f770e1151c9dbe98cbca9e8","datavalue":{"value":{"text":"On two problems concerning end extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q937209$C9230EC7-0C49-450E-8D3D-594361DD44C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cef27c07bd44277716eda2976dc25c0e6b0d160","datavalue":{"value":"1147.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937209$EC635F5E-C789-4AEB-B4D0-4D60920732B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f2e2bd4fdb8852cdf83144981d02cf03486367","datavalue":{"value":{"entity-type":"item","numeric-id":937207,"id":"Q937207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937209$EC55442E-09F3-40B7-82F6-0D96DAD94963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c46066897f4146c41a0041e290f798947c61a702","datavalue":{"value":{"entity-type":"item","numeric-id":286694,"id":"Q286694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937209$2B8665E6-BE4E-4E39-BF42-A0A73AAE4F57","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":"Q937209$1AC2C205-A6AA-4B18-A59B-BD778BCC2DE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba0ef11ca09d43284a43252115c6ec66468ef790","datavalue":{"value":{"time":"+2008-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q937209$0D378C6D-F941-4F85-A4C7-C9B9A17E1A9B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bebad52a1aceefdd56303dd19bfae65c5fbca741","datavalue":{"value":"The paper presents a comprehensive survey and some new results concerning two questions on end extensions of models of fragments of PA. The first, due to Paris, asks whether every countable model of \\(\\text{B}\\Sigma_1\\) has a proper end extension to a model of \\(\\text{I}\\Delta_0\\); the second, due to Clote, asks whether every countable model of \\(\\text{B}\\Sigma_n\\), \\(n\\geq 2\\), has a proper \\(\\Sigma_n\\)-elementary end extension to a model of \\(\\text{B}\\Sigma_{n-1}\\). Concerning the first question, \\textit{A. Wilkie} and \\textit{J. Paris} proved in [``On the existence of end extensions of models of bounded induction'', in: J. E. Fenstad et al. (eds.), Logic, methodology and philosophy of science VIII, Proc. 8th Int. Congr., Moscow/USSR 1987, Stud. Logic Found. Math. 126, 143--161 (1989; Zbl 0695.03019)] that the answer is affirmative if the model is \\(\\Delta_0\\)-full. Cornaros and Dimitracopoulos analyze this notion and relate it to other notions of weak saturation. They introduce a notion of \\(\\Gamma\\)-1-fullness, where \\(\\Gamma\\) is a class of formulas, and they prove that if \\(\\Gamma\\supseteq \\text{I}\\Delta_0\\) is a recursive set of sentences and \\(M\\) is a countable model of \\(\\text{B}\\Sigma_1+\\Pi_1(\\Gamma)\\) and there is a sentence \\(\\lambda\\) such that \\(M\\models\\lnot\\lambda\\) and \\(M\\) is \\((\\Gamma+\\lambda)\\)-1-full, then there exists \\(K\\models\\Gamma\\) which is a proper \\(\\Sigma_1\\)-elementary end extension of \\(M\\). They also prove that if there is a \\(K\\) as above and \\(\\Gamma\\supseteq \\text{I}\\Sigma_1\\), then \\(M\\) is \\(\\Gamma\\)-1-full. Concerning Clote's question, Cornaros and Dimitracopoulos prove that for \\(n\\geq 2\\) every countable model of \\(\\text{B}\\Sigma_n\\) has a proper \\(\\Sigma_n\\)-elementary end extension to a model of parameter-free collection scheme for \\(\\Sigma_{n-1}\\) formulas. They also modify a proof from the above mentioned paper of Wilkie and Paris to show that for every \\(n\\geq 2\\) there exists a countable \\(M\\models \\text{B}\\Sigma_n\\) for which there is no proper \\(\\Sigma_{n-1}\\)-elementary end extension to a model of \\(\\text{I}\\Sigma_{n-1}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q937209$94FF0ADC-1BD9-4556-ACA1-2C87AC29C563","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":"Q937209$C719715F-9A68-4869-AE78-6C714157BFF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937209$E043E69B-8266-4BA1-9E22-A8964D135369","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec6ceb0ce623bd090dbd432cd6a996c5560e9b15","datavalue":{"value":"5314396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937209$3120AF48-A910-47A6-8312-7B007B003339","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d65456e1223aec6b7104f47634a222cab582b0bd","datavalue":{"value":"end extension problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q937209$095AF56A-7B83-4D01-8F3A-A1BDA90DAD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q937209$3E511E7D-2085-4EC5-A6B2-3F6D26A92308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42d6e50d93057589bf5fac2285de131069cd934b","datavalue":{"value":"weak saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q937209$CB019BCF-BA31-4263-96FE-78B039D8B490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a534dfbc2999b42bc149220c7e427a767d583b4f","datavalue":{"value":"overspill","type":"string"},"datatype":"string"},"type":"statement","id":"Q937209$0EFD5F3B-608F-447D-987E-42ABB8691181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q937209$688C32FE-CC8D-492F-A97B-469B5D06DCCA","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":"Q937209$0790AA05-553D-4E65-9A04-792A6F3F32D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dec59c76c6f1c249526ca7d9ffaef9c3ebeb50d9","datavalue":{"value":"https://doi.org/10.1007/s00153-007-0055-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q937209$FA27B440-3931-455F-B087-D1893579DBB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1a4e12ad00adcc52164cd6b29384fcd1d108346","datavalue":{"value":"W2026277548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937209$FE9510DB-C545-4B80-9046-482B3A11D81E","rank":"normal"}],"P223":[{"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":"Q937209$2F15A2D6-738B-40AD-8E33-974411A53BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937209$8FFFFC58-DAFA-47A8-B229-3EB54A2683B0","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":"Q937209$47CAD9E6-516B-49DB-8595-020A50C4796B","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":"Q937209$E34F9D1F-95EC-4475-A3F6-CEB6582FAB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd8b52328ff362cdc0a1ef37368d1be97a3c795","datavalue":{"value":{"entity-type":"item","numeric-id":3931384,"id":"Q3931384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937209$49E75414-AA45-42BB-A9FC-59C2D8925EB5","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":"Q937209$9937AB1B-E031-45D4-AE4C-CC3A1C4AF03C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23c83a62179b4d3219dfc18f807f069736cae365","datavalue":{"value":"10.1007/S00153-007-0055-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937209$62A456CF-A78A-4E29-9577-4539452E8949","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":"92d7635e3eb5baa474b57ceb2ff64314f98da41c","datavalue":{"value":{"amount":"+0.846871018409729","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":"Q937209$33EE2D58-A5DF-4FFC-8E93-5C84BCD3FEF2","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":"387ae314d5f2d285e6f56e98119e7734f0b08d44","datavalue":{"value":{"amount":"+0.8170172572135925","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":"Q937209$EA617680-153E-49F8-9BED-3931B702C9A4","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":"206c57002fc4d4807f96bf7f6f806cb3b47ef6fc","datavalue":{"value":{"amount":"+0.8169735074043274","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":"Q937209$BBDFD659-C21F-4B46-A1DD-FE78316FE5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b210e048fcfd750cb8516331a049e30f99b7eca","datavalue":{"value":{"entity-type":"item","numeric-id":4615032,"id":"Q4615032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a17557d5949a1c0746e73d0db053cc18569b593","datavalue":{"value":{"amount":"+0.8128935694694519","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":"Q937209$805843C6-EF5E-4579-BF48-D49CFB99A7E3","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":"e9b38da74b7fa4f9001464f4e5ee1a14998d95c5","datavalue":{"value":{"amount":"+0.7799232602119446","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":"Q937209$72A1FFCE-DF96-478B-8B75-22A625078B50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On two problems concerning end extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_two_problems_concerning_end_extensions"}}}}}