{"entities":{"Q2897377":{"pageid":2908102,"ns":120,"title":"Item:Q2897377","lastrevid":51507590,"modified":"2026-01-18T13:39:52Z","type":"item","id":"Q2897377","labels":{"en":{"language":"en","value":"Maximal free sequences in a Boolean algebra."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054245"}},"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":"Q2897377$735916F2-BFB1-4C28-8577-6D6ECA51DC08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d58719cba128b941e006bda51c84c0df6c2563bc","datavalue":{"value":"1249.06034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897377$E1F54326-6AB6-4D84-8E47-E6AD246C1524","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f2d17465e67c6040a46607a882c4abd0971bc9f","datavalue":{"value":{"entity-type":"item","numeric-id":204227,"id":"Q204227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2897377$017582A8-4395-4DA1-B5F8-A569D6F6E958","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49b2f35c9a8cbc0d3bc23bbd70851d4c3ff3498","datavalue":{"value":{"time":"+2012-07-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":"Q2897377$D8971DAA-FF70-4390-8402-C7CF90D81214","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ecca3eb5c1dc374c1f012a8106031ed5aa31ca5","datavalue":{"value":"https://eudml.org/doc/247226","type":"string"},"datatype":"url"},"type":"statement","id":"Q2897377$180DCA25-DCC1-4711-85B2-7E4C6EC9BFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d346cf823416ec384725941487b411aeb327ca3","datavalue":{"value":"http://www.emis.de/journals/CMUC/cmuc1104/cmuc1104.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q2897377$2CEA51EA-D801-4D87-A034-E4ECCC206072","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897377$3655E66E-EA66-4C31-8959-66B760C8F5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897377$2100CCFD-88EE-423B-901E-A0B09C4532E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897377$6D8328A2-1923-47FF-A3B7-52AE408F8EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"507a2632d23cf7f7b251ac3f142d021e17ebc41b","datavalue":{"value":"54A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897377$E9D3335E-16E2-44A9-89F6-D30F9F0AC3E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2492b914d7138f5ea99bc511a36a7752d898ff8","datavalue":{"value":"6054245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897377$24F50A7E-0B53-4EFE-AC3B-08B1D288218A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2897377$1C188235-B18A-471B-8503-FB36FE463D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"777f68cc689efdd5c0e11cbc5e1b4921d1b8f75a","datavalue":{"value":"cardinal function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2897377$3089701F-3123-4ACA-A204-94AB674D8471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b08aa29d65901e715548167923bd1f8e85035a","datavalue":{"value":"free sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2897377$1CC3E042-7B51-4DA3-9FE7-0E1F102862CC","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":"Q2897377$7F19E998-141E-40D0-A70D-0987340F5A63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b33fe9afe852cb5986b8306c051fbde81c97a019","datavalue":{"value":{"text":"Maximal free sequences in a Boolean algebra.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2897377$200B7A94-07B8-4BDF-90B0-4DE8DBDE2F77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"879b19e5fcd58d004240c4bcd6b70dc97b65f34b","datavalue":{"value":{"entity-type":"item","numeric-id":2798061,"id":"Q2798061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2897377$7A42B370-4E22-44D5-A5EC-082233D12810","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"43eb268eecaff1bad290a804eee1163aeccd633e","datavalue":{"value":"The results of the author are related, in particular, to his book [Cardinal invariants on Boolean algebras. Basel: Birkh\u00e4user Verlag (1996; Zbl 0849.03038); reprint (2010; Zbl 1206.03042)]. A free sequence in a Boolean algebra \\(B\\) is a sequence \\(\\left \\langle a_{\\xi }\\: \\xi < \\alpha \\right \\rangle \\) of elements of \\(B\\) indexed by an ordinal \\(\\alpha \\) such that for all finite subsets \\(F\\) and \\(G\\) of \\(\\alpha \\), if \\(\\xi <\\zeta \\) for every \\(\\xi \\in F\\) and \\(\\zeta \\in G\\) then \\(\\prod _{\\xi \\in F} a_\\xi \\cdot \\prod _{\\zeta \\in G} -a_{\\zeta }\\neq 0\\). The notion of maximal free sequence is defined in a natural way. A free sequence of length \\(\\alpha \\) exists iff in the Stone space \\(\\text{Ult}(B)\\) of \\(B\\) there is a free sequence of length \\(\\alpha \\). That is, there is a sequence \\(\\left \\langle x_{\\xi }\\: \\xi < \\alpha \\right \\rangle \\) of elements of \\(\\text{Ult}(B)\\) such that \\(\\overline { \\{ x_{\\xi }\\: \\xi < \\zeta \\}} \\cap \\overline { \\{ x_{\\xi }\\: \\xi \\geq \\beta \\}} = \\emptyset \\). So different cardinal functions \\(\\mathfrak {f}_{\\mathrm{sp}}(B)\\) related to this notion can be defined:NEWLINENEWLINE\\(\\mathfrak {f}_{\\mathrm{sp}}(B):= \\{| \\alpha | \\: \\text{ there is an infinite maximal free sequence of length }\\alpha \\}\\) and \\(\\mathfrak {f}(B) = \\min (\\mathfrak {f}_{\\mathrm{sp}}(B))\\). For instance, assume that \\(\\kappa \\) is an infinite cardinal. Then, (1) \\(\\mathfrak {f}_{\\mathrm{sp}}(FC(\\kappa )) = \\{\\omega \\}\\) where \\(FC(\\kappa )\\) is the algebra of finite/cofinite subsets of \\(\\kappa \\) (Theorem 1.2); (2) \\(\\mathfrak {f}_{\\mathrm{sp}}(\\text{Fr}(\\kappa )) = \\{\\kappa \\}\\) where \\(\\text{Fr}(\\kappa )\\) is the free algebra over \\(\\kappa \\) (Theorem 1.3); (3) \\(\\mathfrak {f}_{\\mathrm{sp}}(\\mathcal {P}(\\kappa )) = [\\kappa ,2^{\\kappa }]\\) (Proposition 1.11). These cardinal functions are intensively developed in \\S 1 and a lot of results are established, for instance for the weak product of Boolean algebras (Proposition 1.15).NEWLINENEWLINEIn the other sections, other cardinal functions, replacing in \\(\\mathfrak {f}_{\\mathrm{sp}}(B)\\), ``maximal free sequences'' by the minimal cardinal \\(| X | \\) such that \\(X \\subseteq B\\) is a ``maximal independent set'', or by the minimal cardinal \\(| X | \\) such that \\(X \\subseteq B\\) is a ``maximal chain sequence''. In the case of an interval algebra \\(B(C)\\) generated by a chain \\(C\\), the relationship between ``maximal chain sequences'' and the chain \\(C\\) are developed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2897377$84177A7C-9F24-4793-B4D2-475097BA6CC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9660718e4e2c49a847464d5db602055c3b939f","datavalue":{"value":{"entity-type":"item","numeric-id":2274146,"id":"Q2274146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804547fd1a04bfc5bffc5b57b4c0a0cd35953518","datavalue":{"value":{"amount":"+0.8532387018203735","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":"Q2897377$64A3901C-F573-4170-8672-97FCAE5A52FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47ccbde029dbf60ea375584b5ec102a63eaeb4dc","datavalue":{"value":{"entity-type":"item","numeric-id":3222244,"id":"Q3222244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f298d3086cc85b461e1acebbf5d68476f6005de","datavalue":{"value":{"amount":"+0.8441637754440308","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":"Q2897377$4CF5919D-7DD9-4C10-97AC-59A8F2C29AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e37ea4d26cf5301b2b1017c140240eeb0e13fc8","datavalue":{"value":{"entity-type":"item","numeric-id":598298,"id":"Q598298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"753352560c8ae68109ee482ec5be440aa8d86a2a","datavalue":{"value":{"amount":"+0.8115449547767639","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":"Q2897377$C0630DE1-E20E-42B1-A2CA-82C0C9A0E319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee4ec4f55c50c4d9c4c1b5c88480e5790c56dbcf","datavalue":{"value":{"entity-type":"item","numeric-id":1961228,"id":"Q1961228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6371f27c66e03a116961e3768bba46e6817b043c","datavalue":{"value":{"amount":"+0.8083751797676086","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":"Q2897377$C04DB45B-9C0D-4290-B179-5F3A09275F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2e09c64a57022e1fd4ce392824c239b0e97092","datavalue":{"value":{"entity-type":"item","numeric-id":997119,"id":"Q997119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0248f79a536df5a2edb0b29f6f32deaa7b2ec90","datavalue":{"value":{"amount":"+0.8077590465545654","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":"Q2897377$1C1A4820-0CAB-4D80-B148-3E9540B5EC31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2897377","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2897377"}}}}}