{"entities":{"Q1599773":{"pageid":1610513,"ns":120,"title":"Item:Q1599773","lastrevid":70931493,"modified":"2026-04-13T18:19:26Z","type":"item","id":"Q1599773","labels":{"en":{"language":"en","value":"Iteration of \\(\\lambda\\)-complete forcing notions not collapsing \\(\\lambda^+\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1751288"}},"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":"Q1599773$08269D68-D4BC-4754-BB88-9BADA507E069","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe78d50cb5d46dda9a9b5cd9536476075166f88a","datavalue":{"value":{"text":"Iteration of \\(\\lambda\\)-complete forcing notions not collapsing \\(\\lambda^+\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1599773$7F832ED6-E477-441D-9004-DC4CCABA465A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54b821f4a79ce3f446f90fcf67252427efe3bd56","datavalue":{"value":"1008.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599773$D5AEEA27-8C05-4C23-9807-7B1172E3D2BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e01244b08c3925350ab44d36a4dd7b76834c1f52","datavalue":{"value":"10.1155/S016117120102018X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599773$512ED96C-A5F7-4E5C-9840-9420E1C45420","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed68b1714a4a2026e9e40f272f576ef461eaa22d","datavalue":{"value":{"entity-type":"item","numeric-id":360353,"id":"Q360353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599773$C6435A03-17EE-45D5-A377-8EED095B15AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599773$B356D0DB-E4AF-47E0-BFEE-3784FFFC8A1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599773$AD1D6D61-1917-4D63-BD00-4B4067A22BF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"464490692f51838d3848ce9e0091362fec8ecf0d","datavalue":{"value":{"time":"+2003-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1599773$5FB515FE-4D92-4EB1-BF32-E8C9B1AEEA08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e651061d10d01e0949329f40ce66648a0995f1b","datavalue":{"value":"https://arxiv.org/abs/math/9906024","type":"string"},"datatype":"url"},"type":"statement","id":"Q1599773$380E661F-EE68-47B9-B716-041B29DA694B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb71f08e487e127cade46b624277a4fcf3d0d614","datavalue":{"value":"https://eudml.org/doc/49852","type":"string"},"datatype":"url"},"type":"statement","id":"Q1599773$1CFBDD1C-9F32-4F9B-95AC-57B981F8971C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a838b341b3f282c7ab6e0682645ed09e444101ae","datavalue":{"value":"The paper continues the development of a theory which is parallel to the theory of proper forcing notions in countable support iterations for iterations with larger supports. The authors introduce definitions of properties of forcing notions (including properness over a cardinal \\(\\lambda\\)) and prove a preservation theorem for forcing iterations with \\(<\\lambda^+\\) support. They give three examples of forcing notions having the introduced properties (one of them is a relative of Baumgartner's forcing for adding a club to \\(\\aleph_1\\)). The paper is concluded by a discussion on application to forcing axioms and some variants of the definitions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599773$E4446A1B-8ACF-40E8-8208-649D68D9FF2C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24f8d16b2be3be7c389bb7bc4bfcdf6adc672a29","datavalue":{"value":{"entity-type":"item","numeric-id":173771,"id":"Q173771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599773$E1F71175-02AF-4219-AA9C-407B295B033D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599773$1ABC455D-4860-4691-B7E9-8E185A4006A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599773$DDDEE046-4455-47DE-B1CF-0B5D9258D00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599773$775E39B5-9CF7-480D-9B0A-2E6F8D0293F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ac579f463efe8b0b16b92867d4ce83f985e5171","datavalue":{"value":"1751288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599773$69876FFC-13B7-4A04-8CB0-7DBF8D7E1E96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7957644696e9fe37ee76852266a3c984084a5088","datavalue":{"value":"\\(D\\)-diamond sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599773$238495B2-F943-4244-AE35-120CE270792D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3f8541771412a353b7b5b67bd9e4e27f8a8867c","datavalue":{"value":"proper forcing over \\((D,\\mathcal S)\\)-semi-diamonds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599773$104A2DE4-D921-4886-8632-2A40AB663219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08fb853fee3bd18cdfcc0538af3585a172073dc","datavalue":{"value":"proper forcing over \\(\\lambda\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599773$CDA1701F-2A6C-429A-BD89-5122D887F5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2241fb979c7a0be71d31603e0195af67c8ae3a47","datavalue":{"value":"\\(<\\lambda^+\\)-support iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599773$C44FC258-BD48-4A62-9AAA-C19963E58A20","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":"Q1599773$EA084375-3F52-4BF7-8EA6-022A8B6AC702","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"651a7ee8fe87b41ab9f562a8081ef00529033521","datavalue":{"value":"W2114227383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599773$6990C13E-E429-4CA0-81A1-A2E2231A5109","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee104481e34850cc8aad93a28fdb907b3f626de","datavalue":{"value":{"entity-type":"item","numeric-id":365678,"id":"Q365678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee901770e27157917f26ce11e9de1744c6aa3809","datavalue":{"value":{"amount":"+0.879658043384552","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":"Q1599773$9EB3AF40-28AA-4E5D-8DF3-12DA21E4FCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ec6c2e7cd729defe5c3bac3c76ce3f35bc96ad","datavalue":{"value":{"entity-type":"item","numeric-id":3001430,"id":"Q3001430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21557f4e6ed194211a8dfa64e97e6aad5b2fe996","datavalue":{"value":{"amount":"+0.8568801879882812","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":"Q1599773$0BC3E437-7620-4EEC-8855-ED921C5D2C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e05d241f1a5ecf7746aa1d2c65905bfede7496d1","datavalue":{"value":{"entity-type":"item","numeric-id":5439456,"id":"Q5439456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be45af5e74528001a8419800fcc3124a7c0bd4e","datavalue":{"value":{"amount":"+0.8399787545204163","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":"Q1599773$47474575-AD6F-436B-A9CB-E9D876CC6FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c22091894359ce9f443826546fb73523fdb013","datavalue":{"value":{"entity-type":"item","numeric-id":1424102,"id":"Q1424102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1225cf2a7824d83073c08c33651e10b8653276bb","datavalue":{"value":{"amount":"+0.8319960832595825","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":"Q1599773$36D396E8-06BA-4A45-9E86-0F11B057D87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1eca35ef75f80ad299651efa6bed0515104138e","datavalue":{"value":{"entity-type":"item","numeric-id":4811309,"id":"Q4811309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3a23f750fefe5e7a4f189b32bbec3e4815189f","datavalue":{"value":{"amount":"+0.8216233849525452","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":"Q1599773$384C0D4F-43BB-45B9-A05E-2CBEAC6EFC53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iteration of \\(\\lambda\\)-complete forcing notions not collapsing \\(\\lambda^+\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Iteration_of_%5C(%5Clambda%5C)-complete_forcing_notions_not_collapsing_%5C(%5Clambda%5E%2B%5C)"}}}}}