{"entities":{"Q1901668":{"pageid":1912410,"ns":120,"title":"Item:Q1901668","lastrevid":71746548,"modified":"2026-04-14T00:16:31Z","type":"item","id":"Q1901668","labels":{"en":{"language":"en","value":"Iterated class forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 817707"}},"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":"Q1901668$C7082061-D954-4D43-BB26-BB25A5BA3841","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a6c9a9e1d2ab573c625ed368d1a6ca68a9b599b","datavalue":{"value":{"text":"Iterated class forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1901668$D449FD50-E7DA-4CFF-9B19-71A11775079D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51077ebb4484b1f222fa00534d434aec0b2832ba","datavalue":{"value":"0835.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901668$6D3AC42D-4C42-429B-9E85-98246F95526C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901668$1E8616F9-9EAF-4909-BA8C-F88E69D217F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58452d19a472009c898bc19b9bc2b3649275ae77","datavalue":{"value":{"time":"+1995-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1901668$F6971E08-715D-4A7C-9BE8-EF92FA35C660","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7f43c61b5cc7240af77a982499df1f16dea9d58","datavalue":{"value":"https://arxiv.org/abs/math/9311203","type":"string"},"datatype":"url"},"type":"statement","id":"Q1901668$1DCB4DB9-8276-4BE3-B69F-22E196964DAB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1ec052f9d4d761e0e63edee3a641d8b387a8605a","datavalue":{"value":"The author develops a notion of stratified class forcing that implies cofinality preservation and which is preserved by iteration (with the appropriate support). Some earlier examples of class forcing are shown to be stratified and some earlier examples that are not stratified have a related property called \\(\\Delta\\)-stratification which is also preserved by iteration.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901668$60DCD8DD-78E9-4986-8DA8-50B07B499734","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901668$693906EB-64CE-402E-BD77-49E675378B00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5d67309f08bc65b622dd9ca0a4026f61df2d729","datavalue":{"value":"817707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901668$792DD301-256F-43CF-8C42-B49060E6821C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebd870b8aaac8443fbc2f2b48a9c9c138141de7a","datavalue":{"value":"stratified class forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901668$5F78474A-C7E1-45B1-A46A-64CDFAC440EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6de17d9fb0ff45f41b83eacece969ec586fc7fd6","datavalue":{"value":"cofinality preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901668$EB5B7A90-CEBA-4E19-905E-06558CC8DDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43bf7eef5baa39898efba8eaff82cbeef31aeb2","datavalue":{"value":"iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901668$1FA6BFD4-D963-4CB8-912F-0F54B1C76237","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7bfc7c1815d9d17bc727832b0a6cf598db7157","datavalue":{"value":{"entity-type":"item","numeric-id":487690,"id":"Q487690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901668$F4063BB6-1D36-4E8A-AC76-2DA224BF8118","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901668$32751267-F257-4C2F-B6C3-9576BD41BEBF","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":"Q1901668$06DF5313-1815-4621-B5A5-E527CACED40B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f71f7e43e904862869f41c2ddf8ea5b81a77c65","datavalue":{"value":"10.4310/MRL.1994.V1.N4.A3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901668$BB834DBB-ADF4-464B-B669-EFBD64605CBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91a59c303ccfd567c2126c8793d900303f4d378","datavalue":{"value":{"entity-type":"item","numeric-id":4848573,"id":"Q4848573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a965568e01652b818d7d0b7587b20b6a34a78de7","datavalue":{"value":{"amount":"+0.7528257369995117","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":"Q1901668$7894B9B1-9088-442E-9F95-7E7332AC2036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb89daa230728362ebed380b380f3e3bf9876a9f","datavalue":{"value":{"entity-type":"item","numeric-id":5752563,"id":"Q5752563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e0519ae7ccd8bd68ae16e88946d5904612823c","datavalue":{"value":{"amount":"+0.7519983649253845","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":"Q1901668$FECAD9F0-3ECD-4FD5-BCE6-7561611EFEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11649bb4b7dbbab96bdde639bb14d653706dd474","datavalue":{"value":{"entity-type":"item","numeric-id":3053892,"id":"Q3053892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c7fbd2d8fc9c18add048d20ac4a251397b2daac","datavalue":{"value":{"amount":"+0.7517315149307251","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":"Q1901668$A6A9F799-9F38-4B4F-AEAA-5E831BEE3D45","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":"6b63f96b51001c43fce1f6a222e0d24103d17b95","datavalue":{"value":{"amount":"+0.7515361309051514","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":"Q1901668$1BF84515-D2B0-46B3-8AEE-2D264764C293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6050ac3332db314eb4a9dd3df156072ed4534bc","datavalue":{"value":{"entity-type":"item","numeric-id":3698793,"id":"Q3698793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ceb870a1379860d5192fade45e2c901724c000","datavalue":{"value":{"amount":"+0.7508942484855652","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":"Q1901668$41FF5A9F-2691-4F26-A714-CE26F1FBCE8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iterated class forcing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Iterated_class_forcing"}}}}}