More on simple forcing notions and forcings with ideals
This paper is a continuation of the authors' earlier paper [Isr. J. Math. 68, No. 2, 129-160 (1989; Zbl 0686.03027)]. In section 1 the authors prove: If \(\kappa\) is real-valued measurable, then the cardinals below \(\kappa\) can be split into finitely many intervals so that the powers of cardinals from the same intervals are identical. They use an idea of Prikry and Shelah's cardinal arithmetics. This theorem generalizes an earlier result of Prikry. Section two considers when forcing with a \(\kappa\)-complete ideal over \(\kappa\) is isomorphic to the forcing of \(\lambda\)-Cohen or random reals. One consequence of this isomorphism is: If \(2^ \kappa<\kappa^{+\omega}\), then \(\lambda=2^ \kappa\). In section three the investigations on simple forcing notions are used to give a brief ``non-elementary proof of the following. If \(A_ 0,A_ 1,\dots,A_ n,\dots\) are sets of reals, then there are disjoint sets \(B_ 0,B_ 1,\dots,B_ n,\dots\) such that \(B_ n\subseteq A_ n\) and \(\mu^*(B_ n)=\mu^*(A_ n)\) for every \(n\), where \(\mu^*\) is Lebesgue outer measure. Section 4 is on Hechler reals. It is proven that forcing with a \(\kappa\)-complete ideal over a set \(X\) where \(| X|\geq \kappa\) cannot be isomorphic to a Hechler real forcing. The paper ends with a list of open problems.
- More on real-valued measurable cardinals and forcing with ideals
- Models of real-valued measurability
- Further cardinal arithmetic
- Martin's axiom and _1² well-ordering of the reals
- On density of old sets in Prikry type extensions
- scientific article; zbMATH DE number 64789
- The Cardinality of Reduced Power Set Algebras
- scientific article; zbMATH DE number 797412
- Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
- scientific article; zbMATH DE number 3966068
- A new proof of the Gitik-Shelah theorem
- Around classification theory of models
- Cofinality of the partial ordering of functions from Ω1 into Ω under eventual domination
- Combinatorial set theory: Partition relations for cardinals
- Forcings with ideals and simple forcing notions
- scientific article; zbMATH DE number 3672284 (Why is no real title available?)
- scientific article; zbMATH DE number 3351573 (Why is no real title available?)
- Ideals and powers of cardinals
- More on cardinal arithmetic
- On certain indestructibility of strong cardinals and a question of Hajnal
- On generic elementary embeddings
- Products of regular cardinals and cardinal invariants of products of Boolean algebras
- Reflecting stationary sets and successors of singular cardinals
- Souslin forcing
- Successors of singulars, cofinalities of reduced products of cardinals and productivity of chain conditions
- A characterization of cardinals \(\kappa\) such that \(2^{\lambda}=2^{\kappa}\) whenever \(\kappa \leq \lambda <2^{\kappa}\)
- Combinatorial properties of Hechler forcing
- Forcings with ideals and simple forcing notions
- How special are Cohen and random forcings, i. e. Boolean algebras of the family of subsets of reals moduli meagre or null
- More forcing notions imply diamond
- Projective forcing
- A transversal of full outer measure
- Further cardinal arithmetic
- Induced ideals in Cohen and random extensions
- Generalizing random real forcing for inaccessible cardinals
- ccc forcing and splitting reals
- A null ideal for inaccessibles
- A note on sets avoiding rational distances in category bases
- Regular subalgebras of complete Boolean algebras
- The Cardinality of Reduced Power Set Algebras
- scientific article; zbMATH DE number 4101172 (Why is no real title available?)
- Applications of pcf for mild large cardinals to elementary embeddings
- Cardinal arithmetic for skeptics
- scientific article; zbMATH DE number 64789 (Why is no real title available?)
- scientific article; zbMATH DE number 2076196 (Why is no real title available?)
- Properness Without Elementaricity
- Clubs on quasi measurable cardinals
- The Cichoń diagram for degrees of relative constructibility
- Forcing with copies of countable ordinals
- Keeping the covering number of the null ideal small
- A parallel to the null ideal for inaccessible \(\lambda\). I
- On Nicely Definable Forcing Notions
- More on real-valued measurable cardinals and forcing with ideals
- Strong independence and its spectrum
- THE PSEUDOPOWER DICHOTOMY
- Universal forcing notions and ideals
This page was built for publication: More on simple forcing notions and forcings with ideals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685060)
