{"entities":{"Q1590663":{"pageid":1601403,"ns":120,"title":"Item:Q1590663","lastrevid":47553400,"modified":"2026-01-02T01:43:24Z","type":"item","id":"Q1590663","labels":{"en":{"language":"en","value":"The size of \\(\\widetilde T\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1547903"}},"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":"Q1590663$5C75D73C-085B-444A-BC24-96A30ED6FBBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dd66403a025ad04ca46537dc44996cd397477c1","datavalue":{"value":{"text":"The size of \\(\\widetilde T\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1590663$3F3BDB83-FBC7-49A9-AF6B-2986D3DCD37E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b601921062f8890910cb7c70fcdeb1210458675","datavalue":{"value":"0983.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590663$68BD20D9-3F13-4174-9626-67B13332A79B","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":"Q1590663$3F272189-DFED-4E71-8691-BCA6F7E665B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdb5a504359c0d924879fd97edc82d8bdc42beac","datavalue":{"value":{"time":"+2002-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1590663$7C29072D-B924-4F72-BA9F-B901C17C8157","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ffa10c20024affa7012b893f3c7f5bf19e3c1deb","datavalue":{"value":"For \\(\\kappa\\in \\{\\omega_1, \\omega_2\\}\\), let \\(NS_\\kappa\\) denote the nonstationary ideal on \\(\\kappa\\) and set \\(NS^+_\\kappa= P(\\kappa)- NS_\\kappa\\) and \\(NS^*_\\kappa= \\{T\\subseteq \\kappa:\\overline T\\in NS_\\kappa\\}\\), where \\(\\overline T= \\kappa- T\\). The following definition is due to Woodin. Given \\(T\\subseteq \\omega_1\\), \\(\\widetilde T\\) denotes the set of \\(\\beta\\) such that \\(\\omega_1< \\beta< \\omega_2\\) and \\(\\{\\gamma\\in \\omega_1: \\text{o.t.}(R\\mid\\gamma)\\in T\\}\\in NS^*_{\\omega_1}\\) for every well-ordering \\(R\\) of \\(\\omega_1\\) of length \\(\\beta\\). The paper under review is a detailed study of the size of \\(\\widetilde T\\). Here are some of its results: (1) If \\(NS_{\\omega_1}\\) is saturated, then \\(\\widetilde C\\in NS^*_{\\omega_2}\\) for every \\(C\\in NS^*_{\\omega_1}\\). (2) \\(\\diamondsuit\\) implies that there is \\(T\\in NS^+_{\\omega_1}\\) such that \\(\\overline T\\in NS^+_{\\omega_1}\\) and \\(\\widetilde T= \\overset\\simeq T= \\phi\\), and \\(C\\in NS^*_{\\omega_1}\\) such that \\(\\widetilde C= \\phi\\). (By a result of Woodin, it is consistent relative to the existence of a Woodin cardinal that \\(NS_{\\omega_1}\\) is presaturated and \\(\\diamondsuit\\) holds.) (3) It is consistent relative to the existence of a Woodin cardinal that \\(NS_{\\omega_1}\\) is saturated and there exists \\(T\\in NS^+_{\\omega_1}\\) such that \\(\\overline T\\in NS^+_{\\omega_1}\\) and \\(\\widetilde T=\\overset\\simeq T=\\phi\\). (4) It is consistent relative to the existence of a supercompact cardinal that PFA holds and \\(\\widetilde T=\\phi\\) for some \\(T\\in NS^+_{\\omega_1}\\). (5) \\(\\text{SRP}(\\omega_2)\\) implies that for any \\(T\\in NS^+_{\\omega_1}\\), \\(\\{\\alpha\\in\\widetilde T: \\text{cf}(\\alpha)= \\omega\\}\\) is unbounded in \\(\\omega_2\\) and \\(\\{\\alpha\\in\\widetilde T: \\text{cf}(\\alpha)= \\omega_1\\}\\in NS^+_{\\omega_2}\\). A byproduct of the proof is that \\(\\psi_{AC}\\) follows from \\(\\text{SRP}(\\omega_2)\\), a result due independently to Woodin. (Woodin showed that MM implies that \\(\\{\\alpha\\in\\widetilde T: \\text{cf}(\\alpha)= \\omega\\}\\in NS^+_{\\omega_2}\\) for every \\(T\\in NS^+_{\\omega_1}\\). Todorcevic showed that \\(\\text{MM}(c)\\Rightarrow \\text{SRP}(\\omega_2)\\Rightarrow NS_{\\omega_1}\\) is saturated.) (6) Let \\(\\chi\\) be the statement that \\(\\{\\alpha\\in\\widetilde T: \\text{cf}(\\alpha)= \\omega\\}\\in NS_{\\omega_2}\\) for every \\(T\\subseteq \\omega_1\\) with \\(\\overline T\\in NS^+_{\\omega_1}\\). Then it is consistent relative to MM that \\(\\chi\\) and ``MM holds for all forcings which do not change the cofinality of \\(\\omega_2\\) to \\(\\omega\\)'' both hold. (7) It is consistent relative to the existence of a pointclass \\(\\Gamma\\subseteq P(\\mathbb{R})\\) which is closed under continuous preimages and such that \\(L(\\Gamma, \\mathbb{R})\\models \\text{AD}_{\\mathbb{R}}\\) \\(+\\) ``\\(\\Theta\\) is regular'' that \\(\\text{MM}^{++}(c)\\), \\((*)\\) (the \\(\\mathbb{P}_{\\max}\\) axiom) and \\(\\chi\\) all hold simultaneously.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590663$FBAB59DF-9FE7-4AD5-8D40-0C9095B6AF0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590663$9956AA38-6103-45EA-B46F-C912C2017B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590663$879583DC-306C-4247-B10A-5CC4A66780EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590663$E47C0C7F-09FB-4F52-9076-636493F51EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590663$231DE931-2516-484A-AC57-EA800EE693CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a482fda0b0ff496ad3dbb971c5695e65966788a","datavalue":{"value":"1547903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590663$0EC2A04F-9AA8-41CA-895E-E7F23D45AB4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63b3ffd99d47508067b9473fa5f34196744ee39","datavalue":{"value":"stationary set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590663$EFBB2E81-27A0-4DF4-B591-56F2532A11D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc9185fc89527b7417ba5e90ae4885733426299f","datavalue":{"value":"Martin's maximum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590663$3543D01D-AC77-40FF-93A5-86649FA6988A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590663$8EE43ADC-3A3B-465D-8478-42D125151EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56b561c50d726d286d9c14274bae44e2b99b75ba","datavalue":{"value":"saturated ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590663$6309F075-28F6-4C23-8DD2-D6EC7A43CFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19f674fea3fe6715cb41e3786a11eb828f39e847","datavalue":{"value":"nonstationary ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590663$CCC131B5-D2C4-4093-A6C3-524DA17E6FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e549ce9cb41d663cf25b09ff9f89674cc4546d1","datavalue":{"value":"Woodin cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590663$14187ABF-80C9-405A-A980-D5E90CAA6ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58ceb89dcc5a025cb885d95184fb2b727e2af6dc","datavalue":{"value":"supercompact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590663$77E1E38F-A9C8-4E74-8FB2-D910BA2834FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d8ecea0dfc4643af462a20436198488044c5b9","datavalue":{"value":"\\(\\mathbb{P}_{\\max}\\) axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590663$75469D22-52F8-4057-B0BE-3E72CF742FB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"598872e6d8d8dc3f918427cd9ddc91f4d3a4ecb1","datavalue":{"value":{"entity-type":"item","numeric-id":2033890,"id":"Q2033890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1590663$68F90707-5544-4036-A760-2D69B38B9FC1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3b505131a94c07467560b76707b78e01a9a72b95","datavalue":{"value":{"entity-type":"item","numeric-id":412068,"id":"Q412068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1590663$8B80CB75-5C89-4326-B1A7-EE8C9254A7ED","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":"Q1590663$64C94AEC-7A77-41B3-8D41-402FDDD9D6CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d082fef63efe17a7854319eb893e42bbec908a8b","datavalue":{"value":"https://doi.org/10.1007/s001530050164","type":"string"},"datatype":"url"},"type":"statement","id":"Q1590663$9C936F7B-2206-4533-BDD5-52DC5726B1E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60b2590ddde585be390d70e821d8256fcc7ffdd5","datavalue":{"value":"W123522044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590663$AD6104E5-34E0-4FAC-8161-5EB703CC4237","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c5352dc762fa52e2ea0611aefbbf98f7f0511bc","datavalue":{"value":"10.1007/S001530050164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590663$9892B376-A596-412B-9C2E-00AC6C41D353","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":"eff0caf1d074b15e8468cdce42aee8ee5ae6359a","datavalue":{"value":{"amount":"+0.7804575562477112","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":"Q1590663$DE40706C-D60E-4217-A588-A3B103B42473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a431518108054e89a71c7661c55eb6b7feb9f29","datavalue":{"value":{"entity-type":"item","numeric-id":375784,"id":"Q375784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2577670941943eab3cd6634a61ad0f4ac9755155","datavalue":{"value":{"amount":"+0.7697998285293579","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":"Q1590663$0AEA258D-CF8F-4110-82A6-B2AA85281326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629ab4b3aa912e87df44acf0a8e7358dd5605fe8","datavalue":{"value":{"entity-type":"item","numeric-id":1184715,"id":"Q1184715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2cb3fe04facf961bce19a4e46fb7e40a5bd3903","datavalue":{"value":{"amount":"+0.768735945224762","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":"Q1590663$D4CBD561-5AC9-49B6-A090-21ACDAD9E503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6221b930fc12e7651098d9dcba9edcf8d5d17ef","datavalue":{"value":{"entity-type":"item","numeric-id":4336617,"id":"Q4336617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdfb3bdab687e2269c70f0eeaec90ffab2a14cf4","datavalue":{"value":{"amount":"+0.7659911513328552","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":"Q1590663$FA7C796A-3B10-462B-ACB3-4AA1F569269C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22116764cab8fa83ffbe0515492d495734fb244","datavalue":{"value":{"entity-type":"item","numeric-id":1305164,"id":"Q1305164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdfb3bdab687e2269c70f0eeaec90ffab2a14cf4","datavalue":{"value":{"amount":"+0.7659911513328552","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":"Q1590663$DE40274B-05F2-4292-81AA-49142EE3FDC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1590663","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1590663"}}}}}