{"entities":{"Q403405":{"pageid":405172,"ns":120,"title":"Item:Q403405","lastrevid":61630260,"modified":"2026-04-11T00:35:16Z","type":"item","id":"Q403405","labels":{"en":{"language":"en","value":"Subsets coded in elementary end extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6335987"}},"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":"Q403405$80042D8B-59B3-405A-8CE6-1B8E97C7735A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4db2e061a1478ea1e544200b846cf4971aa94861","datavalue":{"value":{"text":"Subsets coded in elementary end extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q403405$6CF9B604-B29F-4E83-9AA1-075370D1C2B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af98ae73e0788578c8a824573fb75cb978dfebbb","datavalue":{"value":"1298.03099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403405$B17E671B-A701-4DC6-87B8-9BBA7916D429","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80620c2b4df8756e658fe199f1a89d0f51d86188","datavalue":{"value":{"entity-type":"item","numeric-id":190265,"id":"Q190265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403405$93C90191-0933-4A51-A798-ABF9B0F90238","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":"Q403405$4E0417B8-A015-4A77-9AD0-EA67BCFA7A1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"163bad71d2d58b992a56c87b8eddb84d83e1a225","datavalue":{"value":{"time":"+2014-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q403405$003481A6-165A-4905-BD01-8947851B94EB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"134854cce9473ea9225f0303ccd65e5c5e5741cf","datavalue":{"value":"Let \\(M\\) be a model of Peano arithmetic, let \\(N\\) be an elementary end extension of \\(M\\), and let \\(\\mathfrak X\\) be the sets of subsets of \\(M\\) which are coded in \\(N\\). Then, \\(\\mathfrak X\\) satisfies two natural conditions: it contains all definable subsets of \\(M\\), and \\((M, {\\mathfrak X})\\) is a model of \\(\\mathrm{WKL}_0^*=\\Delta^0_1\\text{-}\\mathrm{CA}+\\mathrm{I}\\Sigma_0\\)+Weak K\u00f6nig's Lemma.  The main theorem of the paper includes the following converse. Let \\(\\mathfrak X\\) be a set of subsets of a model \\(M\\) of PA. Then the following are equivalent:  {\\parindent=6mm\\begin{itemize}\\item[(1)] \\(\\mathfrak X\\) is countably generated, contains all definable subsets of \\(M\\), and \\((M,{\\mathfrak X})\\models \\mathrm{WKL}_0^*\\); \\item[(2)] there is a countably generated elementary end extension \\(N\\) of \\(M\\) such that \\(\\mathfrak X\\) is the set of subsets of \\(M\\) coded in \\(N\\); \\item[(3)] there is a finitely generated elementary end extension \\(N\\) of \\(M\\) such that \\(\\mathfrak X\\) is the set of subsets of \\(M\\) coded in \\(N\\).  \\end{itemize}} If \\(M\\) is countable then the condition (3) can be strengthened to: there is a superminimal elementary end extension \\(N\\) of \\(M\\) such that \\(\\mathfrak X\\) is the set of subsets of \\(M\\) coded in \\(N\\).  The theorem is in a sense an ultimate version of the MacDowell-Specker theorem and it generalizes earlier results from [\\textit{R. Kossak} and \\textit{J. B. Paris}, Arch. Math. Logic 32, No. 1, 65--73 (1992; Zbl 0786.03027)]. It also allows to confirm a few conjectures from that paper, in particular, using a recent result by \\textit{H. Towsner} from [``On maximum conservative extensions'', \\url{arXiv:1302.1488}], the present author shows that for every \\(n\\geq 1\\), every countable nonstandard model \\(M\\) of PA has an elementary end extension \\(N\\) such that \\(M\\) together with the set of subsets coded in \\(N\\) is a model of \\(\\mathrm{I}\\Sigma_n+\\lnot \\mathrm{B}\\Sigma_{n+1}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q403405$0FE75B08-5D9A-4AAE-9E7A-B331855AE0A7","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":"Q403405$AB524C03-1A0E-470E-B22F-8913AD1E52C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403405$160B9995-2309-46EE-80DA-295914955FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403405$82DD2F4A-FA4D-4066-8A15-95694CBCF5CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96a0b2e6414bbc71e76978f0b57ce01240286f95","datavalue":{"value":"6335987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403405$7297773C-F36D-4359-85F6-96B01F567209","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22b7467fa115698e8d10f612eddfb2e0c09a58e1","datavalue":{"value":"end extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q403405$D7E9019C-3D90-4393-9A9C-6407FBEF65F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02bdb89242f8676b5a28b06de15d80ce2d84626a","datavalue":{"value":"coded sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q403405$4E03AE73-EBBC-4C8A-9551-F69A4B15ABC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5e000907ab717e6427b3d9a302ffcce9dace0f","datavalue":{"value":"MacDowell-Specker theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q403405$E3C0A28A-5074-40DB-9065-5CFB4187AED4","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":"Q403405$BF7A5EFA-B558-4340-8428-52CB077DA4AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c19097e2d9d00166d4c26659827756b68d67a254","datavalue":{"value":"https://doi.org/10.1007/s00153-014-0381-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q403405$F0EADF28-D88D-443C-ABA0-130C60B82E89","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7707df44ea6d22378a103ebfaf2f2276d2af5b73","datavalue":{"value":"W2036922272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403405$2F3AE244-DB62-4A7B-BE63-B37397253120","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d06b5f4c703493afa11a35957cdaea722b1351d","datavalue":{"value":{"entity-type":"item","numeric-id":2563983,"id":"Q2563983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403405$C390DCDC-60DD-41DA-A9A1-A8877B3486B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403405$BBFA98D7-10F9-4C82-98CC-1D4BCC57FD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45988c95f5978742c42ded7627687516cf66914a","datavalue":{"value":{"entity-type":"item","numeric-id":3655265,"id":"Q3655265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403405$B05D5954-1569-4C02-A6EC-81BF4714DA12","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":"Q403405$945667CC-44B1-4C75-9B7D-C99BCA2264FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8701d229bfa864873292f84b7cebe85e90c13c63","datavalue":{"value":{"entity-type":"item","numeric-id":4218525,"id":"Q4218525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403405$F6E5F463-AD68-4103-83D4-A45F967ADC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cff22b6aae3e669a55767d96cc20ebdc7eaf055","datavalue":{"value":{"entity-type":"item","numeric-id":701750,"id":"Q701750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403405$F353F2E9-D311-41A1-B6E6-32AE5FF80B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0334ec1a364ff3bfc02ca2a1eea3467581c49b2d","datavalue":{"value":{"entity-type":"item","numeric-id":1311429,"id":"Q1311429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403405$6AD16EFE-0573-478D-A58B-D3EED052C36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e7069bd5bddd12844c15b7d134c0e326a682","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403405$41E6B354-8FB7-4231-9A45-5F714906ECDB","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":"Q403405$C2DA30C9-7AAF-49CE-AAB3-8249CD51C3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7380fea77cc4e959062d18a6eda644608aa87be","datavalue":{"value":{"entity-type":"item","numeric-id":4405156,"id":"Q4405156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403405$F7BE4EEE-116C-450F-AE76-7E41167FE9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403405$2634FFF8-47FE-4892-A8D7-D01ED150C463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d5cf5f02d4477953295fc49cd1852ee4b132af","datavalue":{"value":{"entity-type":"item","numeric-id":5261154,"id":"Q5261154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403405$66808ECF-634A-42D4-A42D-1C478D2DB48C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ef2d6b31daacf5f7b37d4d7f7c68d4ad8f29620","datavalue":{"value":"10.1007/S00153-014-0381-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403405$C0188C35-74A4-48E0-8B00-505D91068BE1","rank":"normal"}],"P1643":[{"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":"a1413658c7ba86f1ed9ea283ea4faf5c9731d568","datavalue":{"value":{"amount":"+0.8907308578491211","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":"Q403405$4A77FA07-01E4-4168-A176-60CFE6CE4D4F","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":"13579946c71d567436f34e726cecb558859884c1","datavalue":{"value":{"amount":"+0.8880994915962219","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":"Q403405$EE12742E-DBEA-4F52-B902-799A4387F23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0fe116c5f777606e0f0c114aec86af54821103","datavalue":{"value":{"entity-type":"item","numeric-id":2402959,"id":"Q2402959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492e74f07f957e108c5774c994aa728632aa94b5","datavalue":{"value":{"amount":"+0.8215084075927734","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":"Q403405$E5D6D4D1-4409-416C-81AB-A8223218F98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68012ce52c0c3efadf4ed419259613d4bca00c5","datavalue":{"value":{"entity-type":"item","numeric-id":1203781,"id":"Q1203781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa5cc4a5f461b6a2a9afa22e1db2dfdbc4f33f7","datavalue":{"value":{"amount":"+0.7898768186569214","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":"Q403405$A211BD3A-BF43-49D2-A304-E7C57B4CAFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d33c1feefa99da6e9a8091ded4630f50343173b","datavalue":{"value":{"entity-type":"item","numeric-id":3832550,"id":"Q3832550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10408e068905877f0d353e2fa1f203a7a49ce00e","datavalue":{"value":{"amount":"+0.7877476811408997","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":"Q403405$5FC0603A-CC24-42B2-A754-07B36EF3F848","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subsets coded in elementary end extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subsets_coded_in_elementary_end_extensions"}}}}}