{"entities":{"Q1069933":{"pageid":1080685,"ns":120,"title":"Item:Q1069933","lastrevid":66212358,"modified":"2026-04-12T08:18:04Z","type":"item","id":"Q1069933","labels":{"en":{"language":"en","value":"Non-closure of the image model and absence of fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3933061"}},"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":"Q1069933$B6507BB4-7495-465E-831C-DC2FA435C5DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95f9642a27e6cfe27f5848494e7b48f2862dc1f2","datavalue":{"value":{"text":"Non-closure of the image model and absence of fixed points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1069933$CCAECD8A-516D-4C4A-8B79-648A41D5CDD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8a11e882a217207b6a5887c6e5ae0fd38e45a81","datavalue":{"value":"0583.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069933$5C8EEFC6-F706-411D-AD0E-EDEE4D2342F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72c75a319fb440aa93cf1211472404c227427e3b","datavalue":{"value":"10.1016/0168-0072(85)90018-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069933$3539B5AE-09A0-4EE3-A51D-6EEEF63EC50A","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":"Q1069933$6AC414C6-F3AF-440E-8F53-D7E2857A0A3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1069933$B55FF3D9-92D6-4A40-B401-93F896DC78F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"272d5f24fd624ba8428a0c3695870cb29a527b1b","datavalue":{"value":"The existence of elementary embeddings j:V\\(\\to M\\) of the universe into some inner model with suitable closure properties leads to various large cardinal axioms. The author shows that on the other hand also the existence of elementary embeddings violating certain closure conditions (e.g. \\(^{\\omega}M\\subseteq M\\) and \\(^{\\omega_ 1}M\\varsubsetneq M)\\) also implies the existence of large cardinals (in this case: there is an inner model with uncountably many measurable cardinals). Examples are given of ultrafilters which give rise to elementary embeddings of the latter kind. In the second part the author shows that also the absence of some fixed points of elementary embeddings is related to large cardinal assumptions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069933$91BE6D82-0AC7-4F7E-A4D3-C1C24CC58336","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f98ee58fa25fbd22581b8277cc8492aa7c19b098","datavalue":{"value":{"entity-type":"item","numeric-id":759746,"id":"Q759746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069933$6F1555D0-9AF7-46C5-9669-1773589FED1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069933$293298FB-919A-48BA-B3C9-E9F7858909AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36d427ec5b17812e9884e9583a49dc974aa837ef","datavalue":{"value":"3933061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069933$C0F7BA35-F365-40BB-A514-ECEE2E8D4E75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe4f25207c4b279095f02f0528895ed8b964a8b6","datavalue":{"value":"elementary embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069933$576C31D2-9E78-434E-ACB4-29A439B11DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27edfbeb062edbb1694fe9202462cb32ac9e2b76","datavalue":{"value":"closure conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069933$87B8A787-CC4A-4F6D-8ADE-22B0E3C3F619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"455f7028ce20d8220e961432a243eeaf98da4981","datavalue":{"value":"inner model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069933$15EB1D2F-7277-4C33-99A8-AD38C0AE039D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53ace298fbc2a675299a1bf7cd9b781ea633c88","datavalue":{"value":"measurable cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069933$36CCBEAD-8DA6-4A95-BA97-3A40E44BBCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9256724b8e750d74d5ea25645b17fc8bb369e885","datavalue":{"value":"ultrafilters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069933$9F9159B7-C570-41A0-8B00-DEF90A48CCAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc1cdcd255eff78b2730e15f75c940173ccaf950","datavalue":{"value":{"entity-type":"item","numeric-id":329715,"id":"Q329715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069933$253714AD-FBE7-410E-B41F-B3254B8E1C69","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":"Q1069933$52901EDC-91D2-43FE-A2D8-3AD7BA238F9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"571f0858844719f8184c5ce0e0d71e6376f658e9","datavalue":{"value":"https://doi.org/10.1016/0168-0072(85)90018-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1069933$BF007D18-02D0-4802-9BA9-D42BECE8082E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0b66bd9947f9ceb35de2b6fbad555e6214f818e","datavalue":{"value":"W2079702263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069933$6EB44AB4-F169-4DA9-BD69-B5E2F9792CEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27aadaedced7c7d0a32e641f99bf0398e1b5db33","datavalue":{"value":{"entity-type":"item","numeric-id":1219884,"id":"Q1219884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069933$7386DCF9-3FF2-47F9-9403-33BAB117C7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069933$782DBE88-0FD5-4892-B1E8-126BBF146C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b22273327e12c5363fad9a126d64562c1820b7","datavalue":{"value":{"entity-type":"item","numeric-id":4113835,"id":"Q4113835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069933$FA55A48D-0C4B-446C-B12D-B20AAF338034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17450e0df8a66620c2bb8b6db92e7ca3853f6bc","datavalue":{"value":{"entity-type":"item","numeric-id":5672904,"id":"Q5672904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069933$0396C68B-6421-4503-8419-DA635091895B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff421539903c14ff8cc2d3dae22e0ae4478ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":5645417,"id":"Q5645417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069933$1A93804B-2D2B-4D21-9B09-A0F7DB224587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d903d1833aae529d94947a022e98c3b5bcf2f1a5","datavalue":{"value":{"entity-type":"item","numeric-id":5654042,"id":"Q5654042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069933$99CFD4D3-6560-476E-880E-663E20B09273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8699ad1131399a6cabda5734ba47e03d660e21","datavalue":{"value":{"entity-type":"item","numeric-id":4047554,"id":"Q4047554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069933$EAFF2A3B-56F6-4A80-94E3-DC7BFED62EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b20fe95e1adad3d3abb05806504c0299bf46d9","datavalue":{"value":{"entity-type":"item","numeric-id":3218116,"id":"Q3218116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069933$32935372-15A9-4941-8728-E651BD408097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f48f65b0d0bb8c9c02df48186fc1ecf0523097","datavalue":{"value":{"entity-type":"item","numeric-id":4154561,"id":"Q4154561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069933$7D00DA9A-B15D-4516-AAF5-F8BBA43D44CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d55a8c09bfa1c5bfb11781868d688644a62680f","datavalue":{"value":{"entity-type":"item","numeric-id":3690810,"id":"Q3690810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069933$F393FC4D-4ACA-43C9-A7E9-4D8E10C12AA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad3d13f3b5a486cea0009ba1adaaafde5a9084d","datavalue":{"value":{"entity-type":"item","numeric-id":2758046,"id":"Q2758046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956556c453cfb1e28d7f222c985dd0972451b6ec","datavalue":{"value":{"amount":"+0.8333322405815125","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":"Q1069933$FBE74CBB-D392-4841-8299-C2F20A5E7FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2321ddacea38fab38f5b9c138b606ed65356224","datavalue":{"value":{"entity-type":"item","numeric-id":3491540,"id":"Q3491540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956556c453cfb1e28d7f222c985dd0972451b6ec","datavalue":{"value":{"amount":"+0.8333322405815125","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":"Q1069933$601261B9-8C4F-4D3A-8814-FACE3000E544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d056404f0ced82292776d179f3a3b19fcb50bbb","datavalue":{"value":{"entity-type":"item","numeric-id":3768895,"id":"Q3768895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613e2664e9b5d9a7ebd03cbaccfa751e7e41165d","datavalue":{"value":{"amount":"+0.8289223909378052","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":"Q1069933$247B61A9-C716-4BE7-8B95-2D77C380DF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0110f46a2654a207447c51a3815012aeb703af7c","datavalue":{"value":{"entity-type":"item","numeric-id":4410017,"id":"Q4410017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de9ead34ea6a3c48d8a87d44379e56b2299e6c41","datavalue":{"value":{"amount":"+0.7785158753395081","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":"Q1069933$BA7D19E0-7A3C-49EC-B03A-E8D96780BED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cf71239c03143f340b044f1a70c6d5e222f638","datavalue":{"value":{"entity-type":"item","numeric-id":3079691,"id":"Q3079691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f83c9f1ac7acad3fba16d6ef40d6b17dbca1d68","datavalue":{"value":{"amount":"+0.7785006165504456","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":"Q1069933$9CFEEB45-EB93-4ECF-B143-583FF33880E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-closure of the image model and absence of fixed points","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-closure_of_the_image_model_and_absence_of_fixed_points"}}}}}