{"entities":{"Q1584015":{"pageid":1594755,"ns":120,"title":"Item:Q1584015","lastrevid":70755327,"modified":"2026-04-13T16:33:43Z","type":"item","id":"Q1584015","labels":{"en":{"language":"en","value":"A note on end extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523604"}},"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":"Q1584015$114719E3-C327-4592-9883-12D2ECBB7134","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86c1dbddc45f1447c9901889d4ca7463b47b45ec","datavalue":{"value":{"text":"A note on end extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1584015$208B653C-3055-49D1-80F6-14251CACC528","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42f5be062e4a1a26a1fdce32e6bb7c09d1476c62","datavalue":{"value":"0963.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584015$027032CA-431A-444F-8640-A8974D88F70B","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":"Q1584015$858F9150-0D56-46C4-AA0B-4AC6462EB79D","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":"Q1584015$0B767B2D-7D39-411C-92FE-5C4A6FE57292","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":"Q1584015$D25298A3-2AFD-44DF-B6E9-2BF4B306B0C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d0e28e6bdfdb3b39ab02d4e8ca0727f8eac2c75","datavalue":{"value":{"time":"+2001-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1584015$ECE850B9-050D-41D3-BC77-FCE17E43C7ED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c688b717fcf1e89908a05e914c38e64477ce975","datavalue":{"value":"In ``A note on the MacDowell-Specker theorem'' [Fundam. Math. 127, 163-170 (1987; Zbl 0619.03038)], \\textit{P. Clote} gave a proof that, for \\(n\\geq 2\\), every model of B\\(\\Sigma_n\\) has a proper \\(\\Sigma_n\\)-elementary end extension. C. Dimitracopoulos and K. Skandalis discovered a gap in Clote's proof. The proof still gives the result if B\\(\\Sigma_n\\) is replaced with a stronger hypothesis I\\(\\Sigma_n\\) [see \\textit{P. Clote}, ``Addendum to: `A note on the MacDowell-Specker theorem' '', Fundam. Math. 158, 301-302 (1998; Zbl 0924.03108)]. Clote's proof is recursion theoretic. The authors give an alternative proof based on a refinement of the arithmetized completeness theorem due to J. Paris.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584015$F9C05547-DABA-4ED1-8E08-628288613E47","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":"Q1584015$244C1FAD-A38C-48AD-8C34-260C145FC185","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584015$2A9CEB51-2739-4B5C-932B-9431AB63227A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584015$8801FDFA-C634-41F5-85E6-DFA9519B78B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584015$202CEC09-D200-456A-B181-0CD6F1F33278","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8f94c3339506368cdf94009eab818be674bc2b1","datavalue":{"value":"1523604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584015$B27F7D7A-6232-4538-873D-8ED85F4CA000","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881b59035d29df92f521fb7f6c93516b972baeb","datavalue":{"value":"models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584015$CEBBA8C4-0C28-4A94-A316-2FDFDB03B78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cddb03d56641bd0c8c383d3410940d6449caeec8","datavalue":{"value":"end extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584015$8B072D02-53D7-442D-8C08-D5A42F83783B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584015$2ACD29CC-47A4-4F03-BF4E-BDDE1CFA2BAD","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":"Q1584015$593706AF-2CD6-4CBF-962D-8ED1FCB191F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"717dc89f78109d4f83f57b2a6f5b53a470aa21b3","datavalue":{"value":"https://doi.org/10.1007/s001530050158","type":"string"},"datatype":"url"},"type":"statement","id":"Q1584015$2401B312-25F0-4E71-A1AE-7E98A815656C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4f0c4b212acac24697df462e21f88f68026012d","datavalue":{"value":"W1965188148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584015$B70D7512-10C5-4271-9DBC-FCAE469D464E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e022d159a915fa8dfa443a0b142c60ae7d03e78","datavalue":{"value":"10.1007/S001530050158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584015$92859780-EBF1-4CE8-93E5-1FCE4133DFD6","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":"883fb7c12112294b184ddccaebcffb243d2551ed","datavalue":{"value":{"amount":"+0.89198804","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":"Q1584015$FC47C605-C02C-4882-AD54-8539E6D8ABA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f536966ba53a95cb3ae1f0f99e378c950874ab0f","datavalue":{"value":{"entity-type":"item","numeric-id":1812810,"id":"Q1812810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4e7d753b1ae0f7d668e414b7082f57859917f6a","datavalue":{"value":{"amount":"+0.88550365","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":"Q1584015$0A2BFF40-A406-45F4-9FC0-57C5B2C13A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12ef91cc9c72b3f5966b3ca3515f15e5279129c6","datavalue":{"value":{"entity-type":"item","numeric-id":1814182,"id":"Q1814182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db75160b5b8834c08148a3048e66ad5813e3400","datavalue":{"value":{"amount":"+0.8838467","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":"Q1584015$76599289-B957-4A87-BBF8-C23B6730F5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ddf5f06b30ffc965b59e06916c88307603c8886","datavalue":{"value":{"entity-type":"item","numeric-id":1583965,"id":"Q1583965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653c56d722e6000d08ecfc9fef445e2e218ec008","datavalue":{"value":{"amount":"+0.8638177","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":"Q1584015$93D36C10-C622-43E9-972F-AAC8F6B1EFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fe3d9e17167b89a87b1cc613ead43f2e895470e","datavalue":{"value":{"entity-type":"item","numeric-id":666523,"id":"Q666523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"322bc2d45f314dbafa6c1b510734a5b64216be1e","datavalue":{"value":{"amount":"+0.86051726","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":"Q1584015$1AFA7E8B-437F-48C5-9511-931C858EDE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"904db7dfc2e799b62e555d20f93d0d8c531fc01c","datavalue":{"value":{"entity-type":"item","numeric-id":3353254,"id":"Q3353254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"668f951b2c343cbe3af6f490337eab53f2e52252","datavalue":{"value":{"amount":"+0.83962876","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":"Q1584015$9E97BE57-5D33-440F-8E47-2643A7BBFF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5271a0138a0fa4c82992bccfbe87f4e2052ed668","datavalue":{"value":{"entity-type":"item","numeric-id":5197888,"id":"Q5197888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db085345755e7edc9f785a8e36c129a96b17149f","datavalue":{"value":{"amount":"+0.8318397","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":"Q1584015$9E8D56CA-1C5B-4261-A344-AD9289ABBAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca2d5a98798e4286a0c65bb6ae190603b0cc18f","datavalue":{"value":{"entity-type":"item","numeric-id":3726297,"id":"Q3726297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59bd474db8e60f8d5c18e61557b02b4cef53dd05","datavalue":{"value":{"amount":"+0.8265111","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":"Q1584015$4702062F-E665-4D7B-8E63-7A7EA0E692F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac27ff3b8f416de3fed97d1c19e077c7727ffa1","datavalue":{"value":{"entity-type":"item","numeric-id":615886,"id":"Q615886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6424e658c35d4b4c76cde5261e4198d47592077e","datavalue":{"value":{"amount":"+0.82518214","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":"Q1584015$E9BCE077-26C8-4F94-8230-7FAF119418FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7ac5be4b6e4f28f118051d683b0255d7876c27","datavalue":{"value":{"entity-type":"item","numeric-id":4944484,"id":"Q4944484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63984eda82bf6b83c33fd1fd4f5520f4690bdd86","datavalue":{"value":{"amount":"+0.82366264","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":"Q1584015$328D8DED-ED51-4B68-9F08-886D667C8A02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on end extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_end_extensions"}}}}}