38 research outputs found

    Superatomic Boolean algebras constructed from strongly unbounded functions

    Full text link
    Using Koszmider's strongly unbounded functions, we show the following consistency result: Suppose that κ,λ\kappa,\lambda are infinite cardinals such that κ+++≤λ\kappa^{+++} \leq \lambda, κ<κ=κ\kappa^{<\kappa}=\kappa and 2κ=κ+2^{\kappa}= \kappa^+, and η\eta is an ordinal with κ+≤η<κ++\kappa^+\leq \eta <\kappa^{++} and cf(η)=κ+cf(\eta) = \kappa^+. Then, in some cardinal-preserving generic extension there is a superatomic Boolean algebra BB such that - ht(B)=η+1ht(B) = \eta + 1, - the cardinality of the α\alphath level of BB is κ\kappa for every α<η\alpha <\eta, - and the cardinality of the η\etath level of BB is λ\lambda Especially, \_{{\omega}_1}\concatenation \$ and \_{{\omega}_2}\concatenation \$ can be cardinal sequences of superatomic Boolean algebras.Comment: 13 page

    On constructions with 22-cardinals

    Full text link
    We propose developing the theory of consequences of morasses relevant in mathematical applications in the language alternative to the usual one, replacing commonly used structures by families of sets originating with Velleman's neat simplified morasses called 22-cardinals. The theory of related trees, gaps, colorings of pairs and forcing notions is reformulated and sketched from a unifying point of view with the focus on the applicability to constructions of mathematical structures like Boolean algebras, Banach spaces or compact spaces. A new result which we obtain as a side product is the consistency of the existence of a function f:[λ++]2→[λ++]≤λf:[\lambda^{++}]^2\rightarrow[\lambda^{++}]^{\leq\lambda} with the appropriate λ+\lambda^+-version of property Δ\Delta for regular λ≥ω\lambda\geq\omega satisfying λ<λ=λ\lambda^{<\lambda}=\lambda.Comment: Minor correction

    Spectra of Tukey types of ultrafilters on Boolean algebras

    Full text link
    Extending recent investigations on the structure of Tukey types of ultrafilters on P(ω)\mathcal{P}(\omega) to Boolean algebras in general, we classify the spectra of Tukey types of ultrafilters for several classes of Boolean algebras, including interval algebras, tree algebras, and pseudo-tree algebras.Comment: 18 page
    corecore