{"entities":{"Q2326660":{"pageid":2337403,"ns":120,"title":"Item:Q2326660","lastrevid":71853144,"modified":"2026-04-14T00:58:33Z","type":"item","id":"Q2326660","labels":{"en":{"language":"en","value":"On singular stationarity. I: Mutual stationarity and ideal-based methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7115920"}},"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":"Q2326660$62D3A376-CDB7-400C-9C62-2C262DD5FB55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80a7af4cbe57c0add398bea3bf41319f81669080","datavalue":{"value":{"text":"On singular stationarity. I: Mutual stationarity and ideal-based methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2326660$37DB6E5A-632D-4D98-9060-A738DF1B6629","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c60c29133048ec5036a04d52f186f4d6bc8614fe","datavalue":{"value":"1441.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326660$1A1C3224-D81D-4B64-AAEB-8E9DA384385F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61430fd18e03b9d09f8d9b4d67e46476425af22a","datavalue":{"value":{"entity-type":"item","numeric-id":312328,"id":"Q312328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$1B2A5E35-0677-4EBB-9717-135514FB710C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$1503CDF1-3580-456A-AAF2-9420C1C1FB35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77c2137b577d3dd12f1645f7fd6aec4d1ea106d0","datavalue":{"value":{"time":"+2019-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2326660$2952EF58-5801-43DF-938B-B578FE08FBE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7e122e38be0472ef9f3322c06caeef2b321e50d","datavalue":{"value":"https://arxiv.org/abs/1709.09835","type":"string"},"datatype":"url"},"type":"statement","id":"Q2326660$0BB80A37-6A71-42FF-9B9F-E97EAA2A36AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"238abdc646e444c71995a8f4bfa61492a994f071","datavalue":{"value":"The concept of \\textit{mutual stationarity} was introduced by \\textit{M. Foreman} and \\textit{M. Magidor} [Acta Math. 186, No. 2, 271--300 (2001; Zbl 1017.03022)]. Of particular interest to Foreman and Magidor and to the author of the paper under review are sequences of stationary sets $\\langle S_n\\mid n<\\omega\\rangle$ where $S_n\\subset\\omega_n$. Such a sequence is said to be \\textit{mutually stationary} if for every algebra $\\mathfrak A$ on $\\aleph_\\omega$, there exists an $M\\prec \\mathfrak A$ such that $\\sup(M\\cap \\omega_n)\\in S_n$ for every $\\omega_n\\in M$.  Imposing the further condition that $S_n\\subset \\text{Cof}(\\omega)$, Foreman and Magidor [loc. cit.] establish that the mutual stationarity of such a sequence is a theorem of ZFC. However, they also show that in $L$ there is a sequence of stationary sets $\\langle S_n\\mid 2\\leq n<\\omega\\rangle$ with $S_n\\subset \\omega_n\\cap\\text{Cof}(\\omega_1)$ that is not mutually stationary.  This latter result raises the question of whether one can consistently assert the mutual stationarity of all such sequences with fixed cofinality $\\omega_1$. The author of the present paper proves three consistency theorems. The paper's main theorem provides a positive answer to this question.  Main Theorem: It is consistent relative to the existence of infinitely many supercompact cardinals that every sequence of stationary subsets $S_n\\subset\\omega_n$ of some fixed cofinality is mutually stationary.  Here is a rough sketch of the proof: starting with a model with infinitely many supercompact cardinals a generic extension is produced where for every appropriate algebra $\\mathfrak A$ and stationary sequence of the relevant form, the requisite $M\\prec\\mathfrak A$ is produced as the end result of an inductively defined increasing sequence of substructures $\\langle M_n\\mid k+1<n<\\omega \\rangle$ which are $\\omega_k$-closed and of size $\\aleph_k$. To achieve the inductive construction of the $M_k$, the author shows that his generic extension satisfies what he calls the \\textit{end-extension property}.  Without further comment we list the two other consistency results in the paper.   Theorem. The assertion that every sequence of stationary sets $S_n\\subset \\omega_{2n+1}$ of common fixed cofinality is mutually stationary, is consistent relative to the existence of infinitely many supercompact cardinals $\\langle\\kappa_n\\mid n<\\omega\\rangle$ such that each $\\kappa_n$ carries a $\\langle\\ast,\\kappa^{+}_{n-1}\\rangle$ sequence of measures.  Theorem. It is consistent relative to the existence of infinitely many supercompact cardinals that for every $k<\\omega$, for every sequence $\\langle S_n\\mid k<n<\\omega \\rangle$ of stationary sets $S_n\\subset\\omega_n\\rangle$ which consists of ordinals of cofinalities $\\omega$ or $\\omega_k$, the sequence is mutually stationary.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326660$9F7F2E82-8859-4528-914F-15ED982FE3DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326660$D63C6F78-F456-45AC-B512-07ABB09A817A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326660$C6DAC25C-CC97-428A-8168-89B879F5E16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326660$3061AFE9-54DF-4CE9-8B21-782689F087F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ae4070f2ca63221614ab229cf6168ad05aecdda","datavalue":{"value":"7115920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326660$11AD4A1F-9600-4902-B9A4-1AC2839028A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c1e20da2e0b0ff36aece792abf72b8107567f98","datavalue":{"value":"singular cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326660$87B6BFD3-7B6C-4C01-A3D1-6E664716C0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6601281fbffab22847006ca8e72eb1916d7d6cd","datavalue":{"value":"stationary sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326660$A3A98240-D8E1-4B43-8995-C3FCF7C7A44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3bcdeea167c1d6835ec013ee80606b82d5f7a67","datavalue":{"value":"mutual stastionarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326660$A31CCE9F-AA02-416B-941E-65DF14632940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dcbaebaf6138dc5c67dbbcfe51e93dfcac2d6ba","datavalue":{"value":"Prikry-type forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326660$3B819DB2-5E74-45AD-834E-DA6D3DD5370E","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":"Q2326660$A6FFC97B-3327-4720-B009-E1D055346E22","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":"Q2326660$80062795-C412-48F0-AD76-BD66A0050F57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84d1e132b414f387e2b4e50bfd8cff5d34e93c29","datavalue":{"value":"W2970896668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326660$12045489-CD8B-422D-8694-97C1D290501B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de51730922e777c9dae7c9a263d208ae8f16da7b","datavalue":{"value":{"entity-type":"item","numeric-id":3770520,"id":"Q3770520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$C961246E-6BA6-494D-BA33-52F1B0913A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bf39c90b155c2cecc0d58b7c0166fb4b3b6639","datavalue":{"value":{"entity-type":"item","numeric-id":1618105,"id":"Q1618105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$5F3890AC-89FA-4D7C-B55F-6A893ED35588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c4d71252c2ef6fc20a4811fec7aec0cb486996","datavalue":{"value":{"entity-type":"item","numeric-id":1182481,"id":"Q1182481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$227E7EDE-B7C6-4606-9B8C-F7A8A6AE7CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c59276e24fbb4fdd06e315edc8af492cce31077","datavalue":{"value":{"entity-type":"item","numeric-id":3053899,"id":"Q3053899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$DB6DFF55-656E-4A09-929D-A2E15F0468CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc88be93090871db98980c334c6e4386e7c39d2","datavalue":{"value":{"entity-type":"item","numeric-id":2503395,"id":"Q2503395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$AB837845-362B-409C-B9FC-8832B3324F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6ccb1baff120c9f2a8b8cd71545ecec7b5e478","datavalue":{"value":{"entity-type":"item","numeric-id":3053900,"id":"Q3053900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$3EEC6FCE-960B-4523-8AEE-DC7E1205A4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7213f71577869fc3250dad19a38f1f41ebd479","datavalue":{"value":{"entity-type":"item","numeric-id":5953843,"id":"Q5953843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$33C646D6-2646-4235-9BBC-B95C265C3059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531181600d96328054fd589fc51cacb7b0f1803b","datavalue":{"value":{"entity-type":"item","numeric-id":1057260,"id":"Q1057260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$CFD4D753-2A47-49F2-ACEF-C4EBF723D6AB","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":"Q2326660$03EA4A9A-126F-46D2-9880-FC6827FE8052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cac027980c34c8fc6a3803e369766b200cff512","datavalue":{"value":{"entity-type":"item","numeric-id":1905774,"id":"Q1905774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$53E91C49-83C1-425A-8DEF-44BECD3F0B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db05784e8512a0a1b98924638d7ce1e6df9cb12","datavalue":{"value":{"entity-type":"item","numeric-id":3053903,"id":"Q3053903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$B8C3E7B6-56F9-43BF-945A-4B2150C11069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$AF8E0569-2C1A-4573-A992-8D5E895C41BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850edcde466ff26d340431f3b29d2a1a81685e16","datavalue":{"value":{"entity-type":"item","numeric-id":639679,"id":"Q639679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$454B2E30-093E-4F13-9FEC-0E0E03F4E8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef6e58d8291f94c4958f7a4734eb8909963e5e5","datavalue":{"value":{"entity-type":"item","numeric-id":3426002,"id":"Q3426002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$1E20AD52-BABB-492C-A5E9-4787C99CD3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10c1093423c9807075b1df4e2f494ff5daa0b6f","datavalue":{"value":{"entity-type":"item","numeric-id":3425068,"id":"Q3425068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$DF364209-E8EB-44C3-B6C7-7BF3C2782B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4ce444308e0b0523af07a858f338f8a83b8250","datavalue":{"value":{"entity-type":"item","numeric-id":1366862,"id":"Q1366862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$0F53D060-433F-49E7-89FE-B76B259FDB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4997a87b7bb1580ec7d2c2bdd45d0889c3619acd","datavalue":{"value":{"entity-type":"item","numeric-id":5700819,"id":"Q5700819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326660$97AE43AF-46BD-4408-A6CD-860D801791AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4496629ce54529ceff7c7030b29c7ebd85b9ec0d","datavalue":{"value":"10.1016/J.AIM.2019.106790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326660$F04D98C6-3672-46E5-922A-127A84362892","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efb0ef38d6ad3a651c04d7a035a45f73ef58ace","datavalue":{"value":{"entity-type":"item","numeric-id":4628684,"id":"Q4628684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"794f74c36c070d52e0b32c945e9c46699d5cf82a","datavalue":{"value":{"amount":"+0.8423850536346436","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":"Q2326660$9EE96C1D-EFDB-47D3-ABE5-5A60A8286D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"348d331b5b99c43b79176fecfe40445e7ab7e084","datavalue":{"value":{"entity-type":"item","numeric-id":1618105,"id":"Q1618105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb11c63ac1086dfe9211d0006d19f28d697bde76","datavalue":{"value":{"amount":"+0.8212563991546631","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":"Q2326660$8C9A513A-6F76-4ECC-A604-F9994F8873C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a35dd102644a4a55644a048e37c4fb2526d0531","datavalue":{"value":{"entity-type":"item","numeric-id":2032992,"id":"Q2032992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"983e1783c57f7e80ecc79d2f035885028644b966","datavalue":{"value":{"amount":"+0.8154388070106506","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":"Q2326660$D7563A57-2BEF-4BE9-9F3D-51495BC6E3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b810b2fc91603a3cf4b0c20fb45893dad0c33ed5","datavalue":{"value":{"entity-type":"item","numeric-id":822605,"id":"Q822605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6652bf404a6c2714ee93d24d5f412186377d746","datavalue":{"value":{"amount":"+0.8068791627883911","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":"Q2326660$21A27DC5-AE28-4110-AFCA-29BDF1D9966A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c15730b4d518954a35e92f1cfe05539729486ce","datavalue":{"value":{"entity-type":"item","numeric-id":3426002,"id":"Q3426002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f88b53186edf3fe62006b58918a948cbc2e3581","datavalue":{"value":{"amount":"+0.8034242987632751","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":"Q2326660$04686FB5-4964-46EC-8179-8CBC337E49AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On singular stationarity. I: Mutual stationarity and ideal-based methods","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_singular_stationarity._I:_Mutual_stationarity_and_ideal-based_methods"}}}}}