{"entities":{"Q1103613":{"pageid":1114365,"ns":120,"title":"Item:Q1103613","lastrevid":67000611,"modified":"2026-04-12T14:15:12Z","type":"item","id":"Q1103613","labels":{"en":{"language":"en","value":"\\(\\Pi^ 1_ 1\\)-complete families of elementary sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053586"}},"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":"Q1103613$96B31354-BB70-4840-B405-DE10E4366ABB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a8b427c492c4d29ca974a0d788813b836025f96","datavalue":{"value":{"text":"\\(\\Pi^ 1_ 1\\)-complete families of elementary sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103613$52A714BB-EC17-455A-ACFA-D685BC285CDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71d4bd9c2b3f898660dc6412751d499e8aab06cb","datavalue":{"value":"0646.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103613$6EA9C03C-0BBF-43F5-8684-689B220E490D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ffeaca4b1ca64f579c4b750fb70a544d938e443","datavalue":{"value":"10.1016/0168-0072(88)90028-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103613$EC197F32-2090-45A3-8EC9-145EFFA4ADA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c06aa3c4dc97754b3a90c94fdcbba2fb94420c5","datavalue":{"value":{"entity-type":"item","numeric-id":185419,"id":"Q185419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103613$EC704F02-F065-41CA-ADBB-FB6B0E9F29BC","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":"Q1103613$A82602D7-D17C-4D8B-833B-FF92FF56CD62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1103613$451F6FED-DAD5-4AEA-B2FD-E45027AA9DDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6b08f78f80a3a784c69bcbdee8ea2740c90e34df","datavalue":{"value":"In this paper the author investigates elementary embeddings of models of ZF set theory, and their direct limits. A sequence of elementary embeddings is called elementary if their direct limit is well-founded. Let \\(\\Gamma\\) be a point class in the Baire space \\(\\omega^{\\omega}\\). A family \\((I_{\\alpha})_{\\alpha \\in \\omega^{\\omega}}\\) of elementary embeddings is \\(\\Gamma\\)-complete iff the set of all \\(\\alpha\\)-s such that \\(I_{\\alpha}\\) has a well-founded limit is \\(\\Gamma\\)-complete. Let j be an elementary embedding of a model of ZF. Then this j is used to define for each \\(\\gamma \\in \\omega^{\\omega}\\) two sequences of elementary embeddings in a natural way. It is shown that the corresponding families \\((I_{\\alpha})_{\\alpha \\in \\omega^{\\omega}}\\) are \\(\\Pi^ 1_ 1\\)- complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103613$2D163BCC-667A-488F-B9A7-88FA16C96D36","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103613$577501E1-FCA1-4B5B-9A3B-26CD1090C922","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103613$D801428A-EA3A-4920-A841-33BBC6E21221","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3db3ff97f3aaf282378afd846260840407d948c9","datavalue":{"value":"4053586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103613$4633E2F9-2AF3-41FB-96C0-864CAA870E4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1056fc20dc3d9ea521860c16cc257a19517c431","datavalue":{"value":"models of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103613$39E88540-F271-4430-BC5B-A60B9A2BBA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78ff9a60b74189b2daec43f91e02e6e79fb14f9","datavalue":{"value":"well-foundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103613$C2D92CC8-5B12-4FC6-89AA-DCE8CD93EAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75a3de4a8ef0a9697b595189c7252fde0e6c115d","datavalue":{"value":"projective hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103613$9A68B171-A845-403C-965A-508954ACBFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c976666278c35c38cc234690cff95b08aaca26d6","datavalue":{"value":"elementary embeddings of models of ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103613$AC5B361A-0CA9-46D9-BF93-4AA61F21D75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51c5b1f2c7b0cfdc30c4a36ffa308eed668c14d9","datavalue":{"value":"direct limits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103613$A995BBF5-D545-42B5-A54D-C63EBAA08FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d278d91d33134d454caac0cb9b809519edd50f5","datavalue":{"value":"Baire space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103613$E12283C8-14A6-4FC5-98C2-E5BEAFB48846","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":"Q1103613$7DBDC3B8-EAFA-463E-93DE-ED37322C0AC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07ae5701cd9383572550e91d5c18118e4e5c35e0","datavalue":{"value":"https://doi.org/10.1016/0168-0072(88)90028-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103613$F098D790-EB34-43CD-8B17-1C5E77EF06EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3aca4932f491a2d1e4924e1c908e9714d24e507d","datavalue":{"value":"W2060736711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103613$5237E3CB-7FE6-4A06-8E60-DF7DFE5C775B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"864d7e4d9a0f3760859c58498ce1d7e9ede0c3ec","datavalue":{"value":{"entity-type":"item","numeric-id":1080960,"id":"Q1080960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103613$83F7867A-4FD4-4CE8-83BA-350196D01DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c3549bc516ba22964be4d5bed6da3a13310889","datavalue":{"value":{"entity-type":"item","numeric-id":580332,"id":"Q580332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103613$7EA573CF-53BD-4FC8-B6DC-3A45F5119493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a84dc4f9fc60bd2d9997d57972cce809796ffa","datavalue":{"value":{"entity-type":"item","numeric-id":3944597,"id":"Q3944597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103613$F5CD2437-05DB-4F2B-8101-4ED032DE33B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9df5960a2fcf80846c6c6386dbdfc4aa99f88b83","datavalue":{"value":{"entity-type":"item","numeric-id":3865884,"id":"Q3865884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103613$54D3C393-4B5E-4142-A14F-B1A51F1D9430","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf203c43995beab231fdb0778f63c5636664cc1","datavalue":{"value":{"entity-type":"item","numeric-id":4878585,"id":"Q4878585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842293ca62bbe2b2bdc7a7d9d034fd7fcaa41b0f","datavalue":{"value":{"amount":"+0.8554029","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":"Q1103613$BC3195F4-8860-44BC-8E29-3F56A2E339C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dada9dfe93601525ed9bf21d4f672a4d021ecdb6","datavalue":{"value":{"entity-type":"item","numeric-id":266579,"id":"Q266579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40fd4c454830a9cd13d70157a6f134b9aa065e3d","datavalue":{"value":{"amount":"+0.8502251","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":"Q1103613$9D3CFC55-B1E3-415D-B423-9B8BF2B32A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e36e57cf6cffd60544f4916f46803fc4671e12a","datavalue":{"value":{"entity-type":"item","numeric-id":1870031,"id":"Q1870031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db80edb3d15d6dca1bae32ebe30bd9ef5af1feb6","datavalue":{"value":{"amount":"+0.8451698","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":"Q1103613$467DC22A-D446-4F8D-A258-DF2FD707247A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a128a0670571d38737bbc109d315fa66f1a2c1","datavalue":{"value":{"entity-type":"item","numeric-id":2830418,"id":"Q2830418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae54df5c141f8543ef650e5950c38a39f93ec199","datavalue":{"value":{"amount":"+0.844385","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":"Q1103613$99465ABE-F608-404B-8D24-404CA950396D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"694aace28b5d3eb0e91dfec8b962a1c124d9fccc","datavalue":{"value":{"entity-type":"item","numeric-id":4798743,"id":"Q4798743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0606ecc38182e9273f093e98cc27838119a22d8a","datavalue":{"value":{"amount":"+0.84359753","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":"Q1103613$3C988AD5-D092-4EDB-B81D-26F3B0745EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c650d2efc6698170f3d6f160b5eed0ee8550ef41","datavalue":{"value":{"entity-type":"item","numeric-id":467638,"id":"Q467638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b82b51c1179027c77364f1963e3734b929e58f","datavalue":{"value":{"amount":"+0.8419807","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":"Q1103613$8036614C-8D6C-404E-A1D8-F1B100501DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9405f64cf2d49b8d783c156ef20901b53d8acca","datavalue":{"value":{"entity-type":"item","numeric-id":3346775,"id":"Q3346775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe6b7496d03bfdd1cabcd2a9e506f4eb31b67cd3","datavalue":{"value":{"amount":"+0.8406253","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":"Q1103613$711D9ACB-466B-484D-A0A9-5B7D24A7C8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2cc9803aa64e3a5c3a5050389ef09503d8ea50","datavalue":{"value":{"entity-type":"item","numeric-id":3450299,"id":"Q3450299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ba778f8afa8fbc1d9277f33301de8fcbfc9e9b","datavalue":{"value":{"amount":"+0.83613485","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":"Q1103613$311E693E-E450-4C48-921F-0C6DF3A0D6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a78057b24034aff41fd72ebc7d6226e573b8dae","datavalue":{"value":{"entity-type":"item","numeric-id":6102958,"id":"Q6102958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0b91b8573492c33f900c5cff9c2a5240e2a2c2","datavalue":{"value":{"amount":"+0.8337699","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":"Q1103613$B7BC3363-1577-4E9D-A845-B16C805C0E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69056c7c102ab00f51aa266df7336c51def7b0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2040315,"id":"Q2040315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ec4c4bdc5f481835fd1f334a6df8f65a03f4ee","datavalue":{"value":{"amount":"+0.83284724","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":"Q1103613$35A3B397-DACC-491A-9DE5-518115225CB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\Pi^ 1 1\\)-complete families of elementary sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5CPi%5E_1_1%5C)-complete_families_of_elementary_sequences"}}}}}