{"entities":{"Q1109028":{"pageid":1119777,"ns":120,"title":"Item:Q1109028","lastrevid":49207021,"modified":"2026-01-06T18:37:37Z","type":"item","id":"Q1109028","labels":{"en":{"language":"en","value":"Iterated forcing and normal ideals on \\(\\omega _ 1\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4068859"}},"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":"Q1109028$7EB2861D-6395-4590-96E2-0BFE54C027AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"681f02b6aa335038b32cfa29ffaef8ecb8491d3d","datavalue":{"value":{"text":"Iterated forcing and normal ideals on \\(\\omega _ 1\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1109028$F9E18595-9F4C-43DD-9EDB-084FC875F9D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d35feb52faf2f5657d053b0b8e9622ff6cd2c95","datavalue":{"value":"0655.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109028$C3E5436B-CBB6-47B2-A615-11DB21842D9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef4c0c84adc8bd84ed85a7632b4c96cb637ef85c","datavalue":{"value":"10.1007/BF02780398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109028$11AD6DA0-F560-45D9-B81D-A19325121E2B","rank":"normal"}],"P16":[{"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":"Q1109028$EBEA8E58-6955-461F-8196-F9C602D719DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109028$F38C0D7B-E7E3-4111-8D28-6A27CCD559E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1109028$59C4A05B-A72D-439B-994E-CDE637DFB452","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ed5843c963bac8e462821201e4364ec6f6a6057d","datavalue":{"value":"Let \\(D_{\\omega_ 1}\\) denote the stationary ideal on \\(\\omega_ 1\\) and for and \\(S\\subset \\omega_ 1\\), let \\(D_{\\omega_ 1}+S\\) denote the ideal generated by adding S. The main results of this paper are that if one assumes that there are enough supercompact cardinals then one can get the consistency of GCH together with there being a stationary \\(S\\subset \\omega_ 1\\) such that either \\({\\mathcal P}(\\omega_ 1)/(D_{\\omega_ 1}+S)\\) is isomorphic to the completion of the Levy collapse \\(Lv(\\aleph_ 0,<\\aleph_ 2)\\) or that it has the ``Ulam property''. In both cases the ideal \\(D_{\\omega_ 1}+S\\) is layered. In this instance the Ulam property means that there are \\(\\omega_ 1\\)-many \\(\\omega_ 1\\)-complete filters extending \\(D_{\\omega_ 1}+S\\) such that each positive set belongs to at least one of the filters. The technique employed is (roughly!) to use a revised countable support iteration of semi-proper posets so as to preserve \\(\\omega_ 1\\). A maximal antichain of \\({\\mathcal P}(\\omega_ 1)/(D_{\\omega_ 1}+S)\\) (for a suitably chosen S) is trapped and its maximality is ``sealed'' by using a suitable semi-proper forcing. This technique is very recent (originating in the Foreman, Magidor and Shelah articles on Martin's Maximum) and is quite distinct from the previous methods of obtaining ideals on small cardinals with nice saturation properties - namely those which start with such an ideal on a large cardinal in the ground model and collapse this cardinal and preserve the properties of the ideal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109028$519EF6F6-EF36-4806-BE4D-0C9CADC70824","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109028$87E1F7EC-01BD-4F44-8C03-627D76AB6E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109028$5F584282-CBB3-47BF-9E3D-8A71A8CCDFCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"419a2e7ed7b897e152fb30febec52fdf2e8d1bab","datavalue":{"value":"4068859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109028$E9EDDE98-A6E5-446E-9F76-2ABC6FCC5379","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60be651550a7d01c5702d61bc07443395623e10b","datavalue":{"value":"RCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109028$88757D90-F96C-4438-855F-97EDE39EB537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b2f26311afaad5df72915bb96a523495e25a51b","datavalue":{"value":"stationary ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109028$F940C951-6AB0-4100-9AD3-465A50A2A901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"629e675e09a99464764414f539b6164eab11dbca","datavalue":{"value":"supercompact cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109028$76DAAD0B-0D56-4C82-B07D-372374710A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109028$22D5636E-ABE8-4962-88FB-96FBA58FC6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74aad338ad6e367910b952dec4aa3f9944364290","datavalue":{"value":"GCH","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109028$C560354F-8E2C-416C-8F3F-3A2E71CDAF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90c407760c2bf574c67eddf83825bbfae1a975c2","datavalue":{"value":"layered","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109028$5EE8757A-18D9-4CE3-B314-AF4714E2B47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109028$A55FB3D2-F1E0-4E4F-AA71-8F5B5996215C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b66a2be5b1b7eaf4e23d46d89a363238ea9fc148","datavalue":{"value":{"entity-type":"item","numeric-id":169647,"id":"Q169647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109028$AC307356-45AB-4472-AC84-D28A92EBCAB6","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":"Q1109028$0DAB34CB-1C9C-44F2-BC86-283E83B92B44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c72bbc185d01ef6de81aeec7d183caf4e304160","datavalue":{"value":{"entity-type":"item","numeric-id":1121259,"id":"Q1121259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109028$5DCE5EC2-949D-43A5-A198-3CA4834BB1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64b0e50945867abf42b16d24d0f8eb4423131b9","datavalue":{"value":{"entity-type":"item","numeric-id":4196418,"id":"Q4196418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109028$7751B589-BF11-47B0-BB25-8FA4639B7C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45cd2ea360d17b085a46e8bc7dd71d81d0bdfcf","datavalue":{"value":{"entity-type":"item","numeric-id":1169456,"id":"Q1169456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109028$123AB0F2-5210-45FB-9A02-6A80AC012A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e6d229be0d793f96cacf7cabfa8141947b8704","datavalue":{"value":{"entity-type":"item","numeric-id":917547,"id":"Q917547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109028$A2F4771F-2979-4483-A059-0C3855E044F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf024cc8d5cbf255889a26ef34adc617592caec8","datavalue":{"value":{"entity-type":"item","numeric-id":3698793,"id":"Q3698793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109028$C84CA731-CDAE-4D6A-B199-AD48CD0D2BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5963a2f9e989c283f8e206ca7f177df52be2e093","datavalue":{"value":{"entity-type":"item","numeric-id":1105593,"id":"Q1105593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109028$9950D8EB-8C39-4BC4-8110-2815D075CD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca73df53b7fa0b47fe94c12563f34f724c80be7","datavalue":{"value":{"entity-type":"item","numeric-id":802553,"id":"Q802553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109028$C9D1A008-EAE1-4911-B4F3-6DB69B6255B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3230d1d6a60c7543058c6572a5229cdf124d6771","datavalue":{"value":{"entity-type":"item","numeric-id":3026998,"id":"Q3026998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109028$A0930295-3971-4683-84E0-938664BE6BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a71faed9bc9fcc86de83b9f31809a65ac42bc564","datavalue":{"value":{"entity-type":"item","numeric-id":910036,"id":"Q910036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109028$09583FF8-4352-4FB8-9410-A48CC90EA939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5520df82149b877fa6f48331d45b5c06f827ec3b","datavalue":{"value":{"entity-type":"item","numeric-id":2554696,"id":"Q2554696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109028$FEF3FD0B-8965-4A9E-9357-38EE319C2E54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2656b3fddb5ef3d3b6bcf92b350ca95665bcd910","datavalue":{"value":{"entity-type":"item","numeric-id":1102944,"id":"Q1102944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee626e4154aa0f57bb23abc75d65184e89d4b4b4","datavalue":{"value":{"amount":"+0.8134748935699463","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":"Q1109028$96F0D420-C302-46F5-9E78-D409113A4609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfbdd56cf6297992423a0cb2b4a9c099337d622c","datavalue":{"value":{"entity-type":"item","numeric-id":3317097,"id":"Q3317097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb751481493cf988be3b6b8cb81468915c01cc2","datavalue":{"value":{"amount":"+0.7937219142913818","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":"Q1109028$22051313-A356-4CAF-8DF1-E30C0386FFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c226377315a1eb2277e6e4e388b6704829bf95b","datavalue":{"value":{"entity-type":"item","numeric-id":3030823,"id":"Q3030823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106db2a02277d1f1257c2c3cf652421af474f1d5","datavalue":{"value":{"amount":"+0.7880100011825562","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":"Q1109028$D7A05BF5-6A4C-4C11-94EA-F492192E3DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5852c6b405de3cc9e838b9e8c6aec9036d2038f3","datavalue":{"value":{"entity-type":"item","numeric-id":5693600,"id":"Q5693600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd019722a7049f56724d3ccfb1867a28fd4c606","datavalue":{"value":{"amount":"+0.7834612727165222","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":"Q1109028$112B9C45-ECA5-4FFC-9296-16B8A85246CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e40fa2040b65e7cf6db447276f0394fb98bf96f","datavalue":{"value":{"entity-type":"item","numeric-id":1105593,"id":"Q1105593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18270c07e1343f046718bbe721ef2cb3815d25c0","datavalue":{"value":{"amount":"+0.7833093404769897","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":"Q1109028$E1FE0E78-9CFF-40BD-9112-5BA77DB70566","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1109028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1109028"}}}}}