{"entities":{"Q762144":{"pageid":763993,"ns":120,"title":"Item:Q762144","lastrevid":64184412,"modified":"2026-04-11T18:11:35Z","type":"item","id":"Q762144","labels":{"en":{"language":"en","value":"Saturation and simple extensions of models of Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3887663"}},"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":"Q762144$26459A39-F98E-41BD-93B5-A8E79D973ADB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c0994ef7d5822bc7939cbb20885750651a164f4","datavalue":{"value":{"text":"Saturation and simple extensions of models of Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q762144$2E106353-AA45-4686-95F3-9BF9F86F63A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b2098086165a90a3b3ca6a2617785eb122cd24f","datavalue":{"value":"0557.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762144$1DCBE460-C16E-4547-AB32-2AA086BA320E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5c9b45bd41f7a29a4898917e1e7391d1acc8dff","datavalue":{"value":"10.1016/0168-0072(84)90008-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762144$579184A2-86B8-4E44-B8A1-0903FF649B9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6bbab2ea230ef82cf7d72bee404dd827d5aaeed","datavalue":{"value":{"entity-type":"item","numeric-id":230814,"id":"Q230814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762144$178D9F79-CBA3-45C6-B3BE-3EB56F562E29","rank":"normal"},{"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":"Q762144$231D6412-4F8C-4B9A-A7D2-0B8A7CFACE1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762144$23B0807C-35F3-43DD-B602-22C189FBB394","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q762144$2B9914C6-1A91-4C7A-AC38-CCC6E2FD23E0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cefa030ea1e7d3f41affecb06d51deb97900f64e","datavalue":{"value":"If e is an element of a model M of PA, then M is called e-lofty if for every recursive type t(v) with a finite number of parameters from M, if t(v) is finitely realizable in M then so is the type t(v)\\(\\cup \\{v\\in S\\}\\) for some \\(S\\in M\\) of size e (in M). A model M is lofty if it is e- lofty for some e in M. It is shown that, at least for countable models, the lofty models are precisely those models which have recursively saturated simple extensions. The lofty models form an intermediate class between tall models and recursively saturated models. A sharp version of this result is given by showing that if I is an initial segment of M closed under multiplication then there is an elementary extension N of M such that I is the set of those elements of N for which N is not e-lofty. Various notions of loftiness and relations between them are considered. It is also shown that (unlike recursively saturated models) lofty models do not form a \\(PC^*_{\\delta}\\) class. All the results have their bounded (short) versions. The paper is concluded by a list of problems concerning uncountable lofty models.","type":"string"},"datatype":"string"},"type":"statement","id":"Q762144$87F2F3C6-F1E3-41FE-A88C-2726EB37678E","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":"Q762144$20550824-3B03-4A14-91A7-300B429394F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762144$AF3DC251-1B16-4FE0-AF4D-8E494F455DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762144$C91064EC-8736-4D09-9D60-9278700BD0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762144$ECFB5C6C-0C46-4ACB-91CB-6A49DAFE4247","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b86074fd9f66f5a7e9cd9627d9a8237dfe3ef7de","datavalue":{"value":"3887663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762144$5FC816EA-FB82-48F3-BBDA-05EC7A232DA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3735b9fcbe8311f39ee0bf481db0d8fffebb7bb8","datavalue":{"value":"model of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q762144$59D34354-2C8E-479F-8754-56FE46C999BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ad7549cf8166dbc4f205d609ecabc650b84dbff","datavalue":{"value":"cofinal extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q762144$F0EEBF4E-DE9D-4540-8F44-DF98B5CADDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59e2ae19ac0c5cb24f70531ca2536f51f3377fd2","datavalue":{"value":"simple extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q762144$71A39E86-3EF6-4521-8079-C330F67F0467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8316bb74c6ec0a6a578b4d7416499ad1ed92f07f","datavalue":{"value":"lofty models","type":"string"},"datatype":"string"},"type":"statement","id":"Q762144$3EC9194A-7292-4083-996F-04AA7415FE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198d33c411eb6b6cb8b563f5ba9b6bbb47e9d8f0","datavalue":{"value":"tall models","type":"string"},"datatype":"string"},"type":"statement","id":"Q762144$0C2F7805-6771-4FFE-901D-E4AA33BDA7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"879822e9355de5dfeceafb88c4e5059768e839f2","datavalue":{"value":"recursively saturated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q762144$28CC5124-54A7-400C-B178-ACA26B08AA07","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":"Q762144$15D443BF-0AA9-446D-9198-5D5B6D2FB111","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"846fdcc4cb9588c5f1c14309f20725bdcb290688","datavalue":{"value":"https://doi.org/10.1016/0168-0072(84)90008-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q762144$F6C39120-CDF4-41A7-A980-C2340E37A248","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ec137c91f8e9c867d11399278def9e996061796","datavalue":{"value":"W2022298124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762144$DBCD4AC8-22DA-4FE7-9A72-DCA8C845CF28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec381d7fbc674530adbba7e61cd69cd3fa58306a","datavalue":{"value":{"entity-type":"item","numeric-id":4110995,"id":"Q4110995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762144$2F8084AA-C36C-4BFE-A1B9-0FA5C66C5D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7867921f8e5a18afc0a31efd699e0ad8e0353b01","datavalue":{"value":{"entity-type":"item","numeric-id":4132525,"id":"Q4132525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762144$3ADF4836-E58D-4ACF-976E-C8B708E6C2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8c3a27cfc4e40ce779172f65eb82cceb39a1328","datavalue":{"value":{"entity-type":"item","numeric-id":5596749,"id":"Q5596749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762144$12D84B94-0505-4574-BA16-A86E12D3C47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9cbc45a6958dea50f5cbc0ced772fb6a9b5733","datavalue":{"value":{"entity-type":"item","numeric-id":5544274,"id":"Q5544274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762144$7E48BC1E-0F9A-4BFE-B76A-F49A9CF6276A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc655957845557e913551b1da587d1754bae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4138726,"id":"Q4138726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762144$61E8BA8F-C86E-4C07-AFCC-52074798D610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffbf549f4fde40f4d3c78d264a2bdeacde3b34b2","datavalue":{"value":{"entity-type":"item","numeric-id":3322105,"id":"Q3322105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762144$3925F62B-C2D3-454A-9DD3-1E6AAF21A354","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":"Q762144$7F12495D-21CF-45B1-A1CC-649A61013C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc35a28edcdbdfd29b7592513a61a8bb5d3703b","datavalue":{"value":{"entity-type":"item","numeric-id":3962976,"id":"Q3962976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762144$8997AC7F-8A78-4392-8A74-8C8A05F7EF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda7fe08a90908c83832d0367439fbd2a7b4034d","datavalue":{"value":{"entity-type":"item","numeric-id":3853628,"id":"Q3853628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762144$DD29CAD2-ED8C-4211-80C9-1C4654E9EE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657b7c869b794a184512700fe9da84f10483f10d","datavalue":{"value":{"entity-type":"item","numeric-id":4218531,"id":"Q4218531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762144$14B0CA18-261D-4557-9C50-5249D8918CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe86ef0923819a89ae51112b08ce173082dc0fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4163512,"id":"Q4163512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762144$340BD5F2-0166-4F7F-BCDC-F44C2A3A458D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72277f3116d1f536ec0b7d0ad93be9f0b8371f6c","datavalue":{"value":{"entity-type":"item","numeric-id":3919713,"id":"Q3919713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762144$D85F7E15-DDE0-4866-854C-8C9734BBC935","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb0e2885ba45919dccd9293efa00e86a88dc40f","datavalue":{"value":{"entity-type":"item","numeric-id":3755444,"id":"Q3755444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8f302fca7236a001f74b6ca86b745c729bd2a2","datavalue":{"value":{"amount":"+0.8464943170547485","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":"Q762144$54F796AE-6A55-40F5-8B37-51B243FCDFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a546714bd1c834e4d3d51a6cbbd1852452328a0","datavalue":{"value":{"entity-type":"item","numeric-id":5404159,"id":"Q5404159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623ec8052e4c315024c34124002f5780836f6290","datavalue":{"value":{"amount":"+0.7769092321395874","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":"Q762144$3A245EAB-C821-42EA-BE51-E0434142701A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344eaeeda9434f05a37e0a50ac7762ce1232caa3","datavalue":{"value":{"entity-type":"item","numeric-id":4132525,"id":"Q4132525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e799c537d908f4badae865a69715597837b004b2","datavalue":{"value":{"amount":"+0.7688957452774048","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":"Q762144$942BB63B-3BF8-4C27-9FFB-D8FEEDAEF9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d8f8c1da85451bbc95291c9b7f47c579c9b1208","datavalue":{"value":{"entity-type":"item","numeric-id":795824,"id":"Q795824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f643725ba6dd5b1bc9243369855605aa2741d28b","datavalue":{"value":{"amount":"+0.7584781050682068","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":"Q762144$52BCC3C9-ABA8-462B-89E3-21CEFEC763F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112dbd96cd3b9057dd3efbbd7af619482ad4bc21","datavalue":{"value":{"entity-type":"item","numeric-id":4451718,"id":"Q4451718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c47ffdacb5cafcb1143e64a5f81025c413a94787","datavalue":{"value":{"amount":"+0.7549561262130737","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":"Q762144$35530306-0682-4DBC-87EB-02CD2EE448F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Saturation and simple extensions of models of Peano arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Saturation_and_simple_extensions_of_models_of_Peano_arithmetic"}}}}}