{"entities":{"Q1976879":{"pageid":1987621,"ns":120,"title":"Item:Q1976879","lastrevid":46909467,"modified":"2025-12-25T20:19:58Z","type":"item","id":"Q1976879","labels":{"en":{"language":"en","value":"On completeness of the quotient algebras \\({\\mathcal P}(\\kappa)/I\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1443414"}},"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":"Q1976879$56E415DC-AFAC-4EEF-9594-1B2C6FCBD7A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52fd3ea3b48cbad461912c8c79b6e94e9007bd43","datavalue":{"value":{"text":"On completeness of the quotient algebras \\({\\mathcal P}(\\kappa)/I\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1976879$26D5D0F7-8880-4F2F-AE19-E8DA13E16AD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e32ec05291c46c4c7a7f5569ecf6cee3145f47e8","datavalue":{"value":"0954.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976879$514F3E5B-E2DD-40EE-8ECB-B6B38AC7294B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d8a49b5f828e1871f54443a84cac0df5fdc1302","datavalue":{"value":{"entity-type":"item","numeric-id":1976878,"id":"Q1976878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976879$BBC52661-127A-4D1E-86BB-E4742549D7BC","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":"Q1976879$26AA5C48-C2BC-4934-93C7-BEA5FD6CC555","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79113082e90067f628ec8a0cd08a57d0d37a9616","datavalue":{"value":{"time":"+2000-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1976879$6B08D0C2-AE0F-4986-9993-F37887D0E32C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"96646cfef97db14771700250d799e586411cc23d","datavalue":{"value":"The author calls an ideal \\(I\\) on \\(\\kappa\\) completive if its quotient algebra \\(\\wp (\\kappa)/I\\) is complete. Then, he gives a characterization of completive ideals and applies it to the following question:   Can one always get completeness of the quotient algebra \\(\\wp(\\kappa)/NS_\\kappa\\)?   His main results are as follows:   Theorem A. \\(I\\) is completive if and only if the only non-trivial \\(I\\)-closed ideals extending \\(I\\) are of the form \\(I\\lceil A\\) for some \\(A\\in I^+\\), where an ideal \\(J\\) is said to be \\(I\\)-closed if: whenever \\(A\\) is a subset of \\(J\\) and \\([X]_I=\\bigvee_{Y\\in A}[Y]_I\\), \\(X\\) is in \\(J\\).   Theorem B. The non-stationary ideal on any stationary cardinal is not completive.   On the other hand, he also gets some consistency results, that is, using a general preservation lemma he presents a model of ZFC which separates completeness and \\(\\kappa^+\\)-saturation of the quotient algebra \\(\\wp(\\kappa)/I\\).    Theorem C. Assume that \\(\\kappa\\) is a strongly compact cardinal, \\(I\\) is a non-trivial normal \\(\\kappa\\)-complete ideal on \\(\\kappa\\) and \\(B\\) is an \\(I\\)-regular complete Boolean algebra. Then if \\(I\\) is completive, it is \\(B\\)-valid that for some \\(A\\subseteq\\check\\kappa\\), \\(J\\lceil A\\) is completive, where \\(J\\) is the ideal generated by \\(\\check I\\) in \\(V^B\\).   Corollary 1. Let \\(M\\) be a transitive model of ZFC and in \\(M\\) let \\(\\kappa\\) be a strongly compact cardinal and \\(\\lambda\\) a regular uncountable cardinal less than \\(\\kappa\\). Then there exists a generic extension \\(M[G]\\) in which \\(\\kappa=\\lambda^+\\) and \\(\\kappa\\) carries a non-trivial \\(\\kappa\\)-complete ideal \\(I\\) which is completive but not \\(\\kappa^+\\)-saturated.    Corollary 2. If ZFC + ``there is a strongly compact cardinal'' is consistent, then so is ZFC + ``there is a regular uncountable cardinal \\(\\kappa\\) which bears a non-trivial \\(\\kappa\\)-complete ideal \\(I\\) such that the quotient algebra \\(\\wp(\\kappa)/I\\) is complete but not \\(\\kappa^+\\)-saturated.''   Although, the assumption of his consistency results is much stronger than that of \\textit{A. Kanamori} and \\textit{S. Shelah}'s results in Trans. Am. Math. Soc. 347, No. 6, 1963-1979 (1995; Zbl 0827.06009), his lemma gives a somewhat general method to preserve completeness. And the proof of Theorem B also presents a general method to obtain non-completive ideals. That is:   Let \\(\\langle S, \\prec \\rangle\\) be a partially ordered set and let \\(\\psi(v_0)\\) be a formula of set theory with one free variable such that \\(I_S=\\{X \\subseteq S:\\psi(X)\\}\\) and \\(I_a=\\{X \\subseteq\\text{pr}(a):\\psi (X)\\}\\) are proper ideals on \\(S\\) and \\(\\text{pr}(a)\\) for each \\(a\\in \\widetilde S\\) respectively, where \\(\\text{pr} (a)=\\{b\\in S:b\\prec a\\}\\), \\(\\widetilde S=\\{a \\in S:\\text{cf(pr}(a))> \\aleph_0\\}\\) and \\(\\text{cf(pr}(a))\\) means a suitable cofinality of \\(\\text{pr}(a)\\). Assume that:   i) if \\(t\\) is in \\((I_a)^*\\), then \\(\\{b\\in t\\cap \\widetilde S:t\\cap \\text{pr}(b)\\) is in \\((I_b)^+\\}\\) is also in \\((I_a)^*\\),   ii) if \\(X\\in I^+_S\\) and for each \\(a\\in X\\) \\(t_a\\) is in \\(I^+_a\\), then \\(\\bigcup_{a\\in X}\\) \\(t_a\\) is in \\(I^+_S\\),   iii) there is a subset \\(A\\) of \\(S\\) such that for any \\(X\\in I^+_S\\), \\(M_\\psi(X)\\cap A\\) is in \\(I^+_S\\), where \\(M_\\psi(X)= \\{a\\in\\widetilde S:X\\cap \\text{pr}(a)\\) is in \\(I^+_a \\}\\), and   iv) for any \\(X\\in I^+_S\\), \\(X-M_\\psi(X)\\) is in \\(I^+_S\\).   Then \\(\\wp(S)/I_S\\) is not complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976879$FD704974-FB17-419F-B4C7-7048AE093A4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976879$4D8C3077-3ED3-4C24-B6A0-543928D5F6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976879$9D76C854-8238-4C3C-A2C0-C5AB34D29DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976879$E34C8C7E-C60A-4DCF-B1A1-9528B670C62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e97646a8882015635af4610f03780a0fa4ada0c","datavalue":{"value":"06E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976879$7EAC5DDC-9F7E-442A-8353-B89F13827915","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f66fa756e492fd7a949c7d6759df67053ca3575","datavalue":{"value":"1443414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976879$218E5FD4-4DDF-464E-AAE6-ACD1B9D81A67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff55012013ecc69b62eb5a719fb1735da9fe54d6","datavalue":{"value":"completeness of \\(\\wp(\\kappa)/I\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976879$614288E9-BC9B-4227-A26E-4B6FAF3763C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976879$1962C0E6-4F37-43EC-99A6-0E30C216118B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0543e3164ca78f6b7cc94cec5834c4eeda13b293","datavalue":{"value":"stationary cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976879$43ADBA89-B706-4FC4-8B93-CFED2D89DF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976879$05FFE5A7-0856-4CD4-B4F7-10519388ACF9","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":"Q1976879$DB03DC16-0BC5-40A7-9B7E-77DBA29FB401","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c01f13af31f25ad8177cc7ed8bf7bb1f123f76ff","datavalue":{"value":"https://doi.org/10.1007/s001530050004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1976879$4D36B08D-2FAC-4B2E-A8C4-A3AED266DA2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afa1c7f350a9e5bb040e529e6cb5a46db4e60f64","datavalue":{"value":"W2054745748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976879$4DC5B367-690F-42FE-8260-1147B51ED347","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c4b0d2e1ac10a6613f847e9778e80e921e69800","datavalue":{"value":"10.1007/S001530050004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976879$9E7FF40A-CB1D-4F7B-B1EA-4AF5F99C6B07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2a52d5ae6d192ab54960ee9a5a979b85bc0d94","datavalue":{"value":{"entity-type":"item","numeric-id":4846055,"id":"Q4846055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7257c37472e7759bd550c12d5df13d2f141ca427","datavalue":{"value":{"amount":"+0.8836448192596436","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":"Q1976879$A15F947E-96FC-4BDE-904F-AE0AEB0C51F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c754ed69dfcc04b49ecaf4d5fd8ec8bfd94661cc","datavalue":{"value":{"entity-type":"item","numeric-id":4322376,"id":"Q4322376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac2c757d32f6de1725a7542d51535496a191d53","datavalue":{"value":{"amount":"+0.8311139941215515","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":"Q1976879$6C046F62-1703-4BCC-80FB-865747332D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f7f9d578fa93c034be33c1ece52b58135c6d2db","datavalue":{"value":{"entity-type":"item","numeric-id":3754651,"id":"Q3754651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3dcf0a5dc96debfec136ad2bb2a986790586d30","datavalue":{"value":{"amount":"+0.8213399648666382","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":"Q1976879$C92EAB76-23F7-46EB-BD6C-0B48D6FD7FED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1976879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1976879"}}}}}