{"entities":{"Q1159635":{"pageid":1170384,"ns":120,"title":"Item:Q1159635","lastrevid":66405759,"modified":"2026-04-12T09:51:16Z","type":"item","id":"Q1159635","labels":{"en":{"language":"en","value":"Iterated forcing and changing cofinalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3747103"}},"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":"Q1159635$340FCE4F-8DE2-4288-9FB3-E0956EA1BB34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30e7b4fbaf34a973329147646c582466c15105b0","datavalue":{"value":{"text":"Iterated forcing and changing cofinalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1159635$575ADAD0-E2D6-4612-9620-ED975AAFCBC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39962ee9294f15811f178e9ee7764d0fe18e666e","datavalue":{"value":"0476.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159635$6FF4D61C-E147-490F-BBDE-65AB36CB3FA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42a3e837615580bbd89ff1ed118d8ad20e241d7a","datavalue":{"value":"10.1007/BF02761815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159635$81649106-4A61-44E0-A561-B4D0DBB35441","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":"Q1159635$EEB4C658-C1E2-4167-8F9D-1B03887D3FBC","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":"Q1159635$7F8052C5-D7F6-49B4-93A4-1B501239D85F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1159635$69D71415-ED34-44FB-9E0D-F68CA180753F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159635$EDFB7895-B151-4A1A-8D00-269377899DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159635$36BF0BA2-811D-4C2E-834C-B6F993E5536B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159635$2AC407C4-162E-4DBB-B876-E7E671A76C03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1507d80876fda02593b8dca1eef20b558c36a43","datavalue":{"value":"3747103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159635$F8930F1A-D72E-4AC9-BB66-E564F64114BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe78c885d25abc638fe33b9c2a689980419c6ed","datavalue":{"value":"revised countable support iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$9B835A3A-C923-40C9-BC79-8768900E98B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c935625d3f6e4200b7f4a806b54c9ac19fef216f","datavalue":{"value":"proper forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$FE37A6B3-4C1A-4FB2-B092-52FDC32313DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69722ebd731bb9f265d2ebefbf6a791849991ad","datavalue":{"value":"Prikry forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$3E4AB338-5B90-49E8-AD87-80C37542FB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a9f13e5b223c04f4f6573f6de790504a4063503","datavalue":{"value":"Namba forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$B1AA7E96-A76B-44C8-A612-452E7C4B665B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86ac9c2e0a5b36562b58ab4ee0eabb2696b28ea6","datavalue":{"value":"generalizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$B38DEE17-61CA-46AD-942A-277B55D63070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6281b671c200679a1c883b99f851f41026d98424","datavalue":{"value":"Galvin filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$ED190E4C-C9C9-45FC-9C65-48D8786C219D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f76d4865e448ad8090d3938f344ff72123cee9cb","datavalue":{"value":"chain conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$8F5286CB-BEE6-4E93-8AD0-7342C441A56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bb6500939a4e43f3c37530d3b07f8b21cea83c9","datavalue":{"value":"omega sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$BC29AACA-41F4-4835-AAA5-72AF8FAF02DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5d245bedbbd00e2a48d50a97b0d53723af0be7","datavalue":{"value":"inaccessible cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$BDCDDA1A-1B33-4570-93CD-4D5067312BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53ace298fbc2a675299a1bf7cd9b781ea633c88","datavalue":{"value":"measurable cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$FAD651C9-7C38-4E54-B56E-EE3B05BF5390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca54c55a2a19910b1ee13be43cef1b36753653a","datavalue":{"value":"regular cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$184ACCB6-453B-4B99-A926-D3071846FFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"016c2c31ed6e28c1635d67c524004835d0dd4e32","datavalue":{"value":"normal ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$2AF42B92-BACB-4149-9180-5FE593E1A839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ea599aa75195e67e5f27c5a7a3747af4456532c","datavalue":{"value":"normal precipitous ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$AD418C11-C3B6-449A-B0E7-07EA7C62828C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"366fc807243a72cf37c7e508475b6a8c50e8e4c7","datavalue":{"value":"normal precipitous filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$DFF6D8E7-5762-4BE1-BF8A-9DD688DE94DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec13f4f8ef2b7fba225d6a716281c246f82b2eb","datavalue":{"value":"closed set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$EBB3EA22-37A0-49FD-BCD8-C6C7EB133692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f089d4aa445e755e9eb2c2dc730edca4160f3c7a","datavalue":{"value":"super compact cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$7694F651-85B4-409A-8977-414D7C6A69DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c56d0e6a057ddc3d3e41bd6b7e9747a092b5bb2","datavalue":{"value":"countable-support iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$7498D8D6-B200-40C4-B484-838C9E6B4CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"432431a76c76daaaca939627ef35f9a70cac7fc0","datavalue":{"value":"semi- properness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$22B9C5F6-28FF-404C-B565-015449C58657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca9e00707a2286857469a3568379c693881caf38","datavalue":{"value":"pseudo-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159635$61C4DF16-A813-4EF8-B968-BE3238A165B7","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":"Q1159635$238C85FD-E9CC-490C-BCE9-93446D4D1B8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"100b65a5987fbeb41d25d1ec0bb12156e174298a","datavalue":{"value":{"entity-type":"item","numeric-id":4106206,"id":"Q4106206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159635$5C0F6F95-B5B1-4CF5-82FC-BC9E5FFFB1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31d16dc4543d3aaea61c049be7122e07d1c2eb5","datavalue":{"value":{"entity-type":"item","numeric-id":3037420,"id":"Q3037420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159635$81DDC10B-63C2-4447-8E2F-F7BA580D2294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae13c95739388d0908d6b352d91ed116ad2cc1ee","datavalue":{"value":{"entity-type":"item","numeric-id":4111558,"id":"Q4111558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159635$020745BA-7E57-43A1-B46B-E4D24C90FCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159635$D3690CE5-B9C6-4904-8CC7-547E7EEDE0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2681a42f7fa3bc4c8480f30492e2558512dc01","datavalue":{"value":{"entity-type":"item","numeric-id":4180344,"id":"Q4180344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159635$D3CE8A91-AA58-468D-BF9D-767A5519E9D6","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":"Q1159635$287CE0B1-01DE-4ABB-AE9D-8FD50BF66CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5f95edf25a1a7a75c09c22cdc3e07004d64a43","datavalue":{"value":{"entity-type":"item","numeric-id":4182742,"id":"Q4182742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159635$16EB94E2-9EE4-4363-A3B5-35AF78C6D6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b44e1d6aa8309660681d3025a5100de01d9339","datavalue":{"value":{"entity-type":"item","numeric-id":3877674,"id":"Q3877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159635$29E514EE-481A-4776-9490-2CE8E894C299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b12b8afcd7ce10003fb014a71b600b2bc6250c","datavalue":{"value":{"entity-type":"item","numeric-id":1247322,"id":"Q1247322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159635$3C62895B-9075-4753-B51D-2B081E39C267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3c1d008b8b481d6a0de3444774782c6b3c5580","datavalue":{"value":{"entity-type":"item","numeric-id":1145135,"id":"Q1145135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159635$CAAA900C-6DB4-4A7F-BCA7-E22F17B3E469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48785beb02d573cd442266e75a8e0bc255566f83","datavalue":{"value":{"entity-type":"item","numeric-id":5678856,"id":"Q5678856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159635$D256F88A-4D53-4620-800E-FC1B7DB737EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64961dfda9d7957bb355ebcf50255306e7f6abfe","datavalue":{"value":{"entity-type":"item","numeric-id":5613932,"id":"Q5613932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159635$29D116C4-866D-48BB-9BCC-07D07BA37581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d070651218e9680b39ddf82ecd706f74ff778b6","datavalue":{"value":{"entity-type":"item","numeric-id":3897044,"id":"Q3897044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159635$3F71B32C-F49D-4C5D-877E-8509092C3600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c1da8c4780ed1431c271f06807d6730bb51bfb","datavalue":{"value":{"entity-type":"item","numeric-id":1159634,"id":"Q1159634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159635$A87A2247-EEFF-4DC1-90A1-F48A1A778E1F","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":"Q1159635$9FDA41C1-D268-4726-B8D8-8EC0D147B057","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":"Q1159635$19E21108-C896-4DAD-B92D-FD669C45A1BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iterated forcing and changing cofinalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Iterated_forcing_and_changing_cofinalities"}}}}}