Power set modulo small, the singular of uncountable cofinality

DOI10.2178/JSL/1174668393MaRDI QIDQ3426572zbMATH OpenOpenAlexFDO

Authors S. Shelah

Publication date 12 March 2007

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0612243

zbMATH Keywords

cofinalitycompletion of Boolean algebrasforcing notionsLevy algebraLevy collapsepcfregular cardinalsingular cardinal

Mathematics Subject Classification ID

Ordered sets and their cofinalities; pcf theory (03E04) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40)

Abstract: Let mu be singular of uncountable cofinality. If mu>2^{cf(mu)}, we prove that in P=([mu]^mu,supseteq) as a forcing notion we have a natural complete embedding of Levy(aleph_0, mu^+) (so P collapses mu^+ to aleph_0) and even Levy(aleph_0, U_{J^{bd}_kappa}(mu)) . The ``natural means that the forcing ({p in [mu]^mu :p closed}, supseteq) is naturally embedded and is equivalent to the Levy algebra. If mu <2^{cf(mu)} we have weaker results.

Recommendations

• Blowing up the power of a singular cardinal of uncountable cofinality
• The cardinality of powersets in finite models of the powerset axiom
• Blowing up the power of a singular cardinal of uncountable cofinality with collapses
• scientific article; zbMATH DE number 1545548
• The number of cozero-sets is an \(\omega\)-power
• Small uncountable cardinals in large-scale topology
• On the powersets of singular cardinals in HOD
• On the cofinality of ultrapowers
• On power of singular cardinals
• Some Extensions of Cantor's Power-Set Theorem

Cited in

(9)

• Selctive ultrafilters and homogeneity
• A version of \(\kappa\)-Miller forcing
• In memoriam: Petr Simon (1944--2018)
• Forcing many positive polarized partition relations between a cardinal and its powerset
• HIGHER MILLER FORCING MAY COLLAPSE CARDINALS
• Fallen cardinals
• The name for Kojman-Shelah collapsing function
• Fresh function spectra
• Copies of monomorphic structures

This page was built for publication: Power set modulo small, the singular of uncountable cofinality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3426572)