{"entities":{"Q684225":{"pageid":686074,"ns":120,"title":"Item:Q684225","lastrevid":63447663,"modified":"2026-04-11T13:14:27Z","type":"item","id":"Q684225","labels":{"en":{"language":"en","value":"The long extender algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6836950"}},"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":"Q684225$6BA97253-B81E-4067-8E61-1BCA1422B0D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2d30b812608f2be32427010523dd44bd9ca79f4","datavalue":{"value":{"text":"The long extender algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q684225$9FE2D514-7C50-42D9-A4A4-C1274947DA2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c53a4f7112c6466f10371fb94be9b228b56c7a46","datavalue":{"value":"1405.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684225$E4FA412D-FB70-42FD-996C-6A4CB60D3BCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684225$4B54CF6A-19CC-4C53-ACE0-ABF4C087E57D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"696972687f2f7c2b21703a3524899b0c6104fe99","datavalue":{"value":{"time":"+2018-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q684225$DC8949DD-6092-41FB-B5BF-63408082AC36","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a5837c8f2c88debf04fed0944503f5aa5e4f9836","datavalue":{"value":"A theorem of \\textit{L. Bukovsky} [Fundam. Math. 83, 35--46 (1973; Zbl 0344.02043)] states that \\(V\\) is a \\(\\lambda\\)-c.c. generic extension of an inner model \\(W\\) if and only if for all ordinals \\(\\alpha\\), \\(\\beta\\) and functions \\(g\\in{^\\alpha\\!}\\beta\\), there is a function \\(f\\in {^\\alpha}\\mathcal{P}(\\beta)\\cap W\\) such that \\(g(\\xi)\\in f(\\xi)\\) and \\(|f(\\xi)|^W<\\lambda\\), for all \\(\\xi\\in\\alpha\\).  In the paper under review, the author explores a relationship between Bukovsky's theorem and Woodin's extender algebra. The author first presents a generalization of the extender algebra to the \\textit{long extender algebra} \\(\\mathbb{P}^{\\mathcal{E}}\\), where \\(\\mathcal{E}\\) is a particular class of long extenders. The author also defines when such an \\(\\mathcal{E}\\) is \\((\\lambda,\\mu)\\)-rich (see the bottom of page 79). Now, let \\(W\\) be an inner model. Let \\(\\lambda\\) be a cardinal (in \\(V\\)) that is supercompact in \\(W\\). The author shows that the following statements are equivalent: {\\parindent=7mm \\begin{itemize}\\item[(1)] For every \\(a\\in V\\), there is a poset \\(\\mathbb{P}\\in W\\) such that \\(\\mathbb{P}\\) is \\(\\lambda\\)-c.c. in \\(W\\) and \\(a\\in W[g]\\) for some \\(g\\) which is \\(\\mathbb{P}\\)-generic over \\(W\\). \\item[(2)] \\(V=W[g]\\) for some \\(g\\) that is \\(\\mathbb{P}^{\\mathcal{E}}\\)-generic over \\(W\\), where \\(\\mathcal{E}\\in W\\) is \\((\\lambda,2^\\lambda)\\)-rich in \\(W\\) and \\(\\mathbb{P}^{\\mathcal{E}}\\) is the long extender algebra in \\(W\\).  \\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q684225$2BEBE0D9-126B-4358-9EBD-FA8C522226F7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"54a3b1c1318415b494c60c8e1b6f94c8b4fece92","datavalue":{"value":{"entity-type":"item","numeric-id":412054,"id":"Q412054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684225$CEC3C4D0-3AFD-4D1B-A414-6640B4A3C434","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684225$24F982C0-E17D-43C6-A2BA-59672924ACD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684225$E4DFEC44-C9B1-445D-B32D-755EF8E69EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684225$1549E35A-EFBB-4DA2-BD0C-A15B9A78A5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684225$FF5FC379-A9FE-472C-9B4F-15F9EE93BE69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbb8d7c56c213ba45aa34c702b6eb35963c72537","datavalue":{"value":"6836950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684225$91FE77F1-4FEE-4613-B3F1-D061453BEFC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q684225$DF4254FA-EEE4-4F3D-B872-647C9BEC17A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f46c39246ba9a07990a74f156855570b42edd7a","datavalue":{"value":"extender algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q684225$E89B7611-2CBA-4510-A1D0-812D3D461405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36ce2b3241ef585a07d10f238f8d0ca0b4cca34","datavalue":{"value":"Woodin cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q684225$8B55722F-9A6D-4B2F-84FB-96500F7FB851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"629e675e09a99464764414f539b6164eab11dbca","datavalue":{"value":"supercompact cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q684225$6C7F618D-CEAC-4C3C-B44E-1BD090B4DD48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aa8175c1d7434282d2dbafd0143922a2082a35f","datavalue":{"value":{"entity-type":"item","numeric-id":1128185,"id":"Q1128185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684225$8C67CFA2-D8C5-4552-AAAE-6940605AAF31","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":"Q684225$5D0E6ACD-B6A6-4CEB-AFF8-5B9291223724","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0e57d8d03af9532246b52bef147119d2afa74ee","datavalue":{"value":"https://doi.org/10.1007/s00153-017-0585-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q684225$F6A64F68-C579-4724-ABB6-DD3010E67C04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37299bbac9f4415ed2f4dbf1b7acf0ff2550534e","datavalue":{"value":"W2751282233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684225$B9C42B48-724C-45BB-AA28-86EC43627E0C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7bdf1aaac1028d9a85abd64e536d990390561af","datavalue":{"value":{"entity-type":"item","numeric-id":4111557,"id":"Q4111557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684225$5639DE94-3A14-4493-BF4D-33F43F639884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486bd33bbbd1da1bcd1af2f8d5477d9848585a6f","datavalue":{"value":{"entity-type":"item","numeric-id":5747257,"id":"Q5747257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684225$0E8210F7-82F5-4ADB-A982-C718FADDCAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4deb5edc235a6a915284253f45e6daa86bfd582f","datavalue":{"value":{"entity-type":"item","numeric-id":3305408,"id":"Q3305408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684225$C5B22CE9-AF2B-486A-81CF-04476330B2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9280c2db128c966e0edecdc2160d0ace6afdfff2","datavalue":{"value":{"entity-type":"item","numeric-id":2514847,"id":"Q2514847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684225$A9F8CF9F-F077-4E37-9F47-B19716EFD71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b5ac4167e3f28f22789468d6ed7aa2f8b73ef5","datavalue":{"value":{"entity-type":"item","numeric-id":4579804,"id":"Q4579804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684225$F1B2AF56-DEDF-4D60-A557-D33E4F7E5918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2735dedbeaebb029447246989c6d749359081f8d","datavalue":{"value":{"entity-type":"item","numeric-id":2452710,"id":"Q2452710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684225$5AA31B24-4BD8-4CFA-B036-79B9AED589E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18420f2ec556e71b590bb5270e21b91ac7856793","datavalue":{"value":{"entity-type":"item","numeric-id":3094356,"id":"Q3094356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684225$042CA7AE-F1EF-4065-AD86-0AE07FB5BB8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48efb17ae34b6ad98ff7dbc416038f1463e2b010","datavalue":{"value":"10.1007/S00153-017-0585-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684225$41A22570-6CE3-413E-A829-CF863129600E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2cc0aad6a29978cfed318f9a8974830eb9e16d","datavalue":{"value":{"entity-type":"item","numeric-id":4602509,"id":"Q4602509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1777c25d224b5fbeedd8b4ed7ca57e4b7005146f","datavalue":{"value":{"amount":"+0.704892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q684225$72083307-C3E0-4FD2-B4E0-E01DB71BAE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53b69195b5bd967272c9567af0c4a44cfe25ca41","datavalue":{"value":{"entity-type":"item","numeric-id":3418083,"id":"Q3418083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa86f05d76e644c4acda04aa1f521bd790ab790d","datavalue":{"value":{"amount":"+0.6956222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q684225$AC49724E-7819-44A8-BF77-CFCDF9B4F8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d2be93530dff7402c82d7273ad548e86b33153","datavalue":{"value":{"entity-type":"item","numeric-id":4982460,"id":"Q4982460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840322a273d6231c304fe7c5b141d5a46dd74917","datavalue":{"value":{"amount":"+0.6921308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q684225$0F6C2E40-9E03-4E36-B843-523B1B8C27E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ec96fea62fec6bf788c33ed4565a4d08361cdea","datavalue":{"value":{"entity-type":"item","numeric-id":4625428,"id":"Q4625428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75764d89a158a55278851967df228ec6a18f288e","datavalue":{"value":{"amount":"+0.6839422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q684225$DB0DAE32-E76C-4A9F-9BF7-07AD6802A599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7959aa0c5c24fd539dbcabd2c872bb3d38e34efe","datavalue":{"value":{"entity-type":"item","numeric-id":3483279,"id":"Q3483279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0125ee4b4e56367ddbb878d21db78cf34e07b51","datavalue":{"value":{"amount":"+0.6791392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q684225$73DBCE0E-357F-4613-B870-0321B67D857B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da09fe685a842682c937425e861acad6e25e56ae","datavalue":{"value":{"entity-type":"item","numeric-id":5747257,"id":"Q5747257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106d2620f250315754388e636ca0ce0126fe8d4c","datavalue":{"value":{"amount":"+0.6759774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q684225$FF4C0D9C-320E-4258-AC33-3724F0B569BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a205bfa31cbc8b8f8fd90359b94a02fc3a403cf","datavalue":{"value":{"entity-type":"item","numeric-id":3094356,"id":"Q3094356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31cd36ffd5bab6531fc07c3f0b71c0fb3be11f6","datavalue":{"value":{"amount":"+0.67436254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q684225$A01C16D6-B469-4BFA-9DB7-7A6971C93BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d62cdfea0ddd582d4158f82b0176f925483fb3d","datavalue":{"value":{"entity-type":"item","numeric-id":5477366,"id":"Q5477366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a8fd6c9e9535a050b51228d1b7783eb6af5fa5","datavalue":{"value":{"amount":"+0.6693766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q684225$8C1FE6ED-C40C-41F5-80EC-98BE3296EA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7115fd26e26726bcd1102b22f83a05501e5ddac","datavalue":{"value":{"entity-type":"item","numeric-id":4372332,"id":"Q4372332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0ad7d016c35e50947ef4f10de28b3d01bd9ce5","datavalue":{"value":{"amount":"+0.65677494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q684225$DDAC17D6-76DF-4695-B0E6-8317B7167030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9354dafd3e0ce0f150ff8881568a4337ee7b5fec","datavalue":{"value":{"entity-type":"item","numeric-id":3991810,"id":"Q3991810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26356b70b59cbf59f91eda5a1764e86e6dd785a7","datavalue":{"value":{"amount":"+0.64842457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q684225$7C540859-F127-4185-923B-C1DC5DEC39D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The long extender algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_long_extender_algebra"}}}}}