More on weak diamond
Let \(\lambda\) be a regular uncountable cardinal. For a cardinal \(\theta \geq 2\), weak diamond for \(\theta\) colours asserts the existence of \(F : \bigcup_{\alpha< \lambda} {}^{\alpha} 2 \rightarrow \theta\) and \(\eta : \lambda \rightarrow \theta\) with the property that the set \(\{\delta \in \lambda : \eta (\delta) = F (f \vert \delta) \}\) is stationary for all \(f :\lambda \rightarrow 2\). The author establishes the following dichotomy : Assuming that weak diamond holds for two colours, either weak diamond for \(\theta\) colours also holds, where \(\theta \geq 3\), or some ideal associated with \(F\) is not \(\lambda^+\)-saturated. An application to model theory is included. The paper is rather technical and at times difficult to follow. It is the reviewer's guess that in Conclusion 2.6 Id\(^b (F)\) should be Id\(^b (F^{\otimes})\).
- A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
- Canonical models for _1-combinatorics
- Categoricity of an abstract elementary class in two successive cardinals
- Classification theory for abstract elementary classes
- Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
- Double weakness
- Forcing axioms and the continuum hypothesis
- scientific article; zbMATH DE number 4041886 (Why is no real title available?)
- scientific article; zbMATH DE number 1113072 (Why is no real title available?)
- More on the weak diamond
- Quite free complicated abelian groups, pcf and black boxes
- Theories with Ehrenfeucht-Fraïssé equivalent non-isomorphic models
- Uncountable groups have many nonconjugate subgroups
- Whitehead groups may be not free, even assuming CH. I
This page was built for publication: More on weak diamond
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2236637)