Splitting stationary sets from weak forms of Choice

@article{Larson2009SplittingSS,
  title={Splitting stationary sets from weak forms of Choice},
  author={Paul B. Larson and Saharon Shelah},
  journal={Mathematical Logic Quarterly},
  year={2009},
  volume={55}
}
  • P. Larson, S. Shelah
  • Published 1 June 2009
  • Chemistry, Mathematics
  • Mathematical Logic Quarterly
Working in the context of restricted forms of the Axiom of Choice, we consider the problem of splitting the ordinals below λ of cofinality θ into λ many stationary sets, where θ < λ are regular cardinals. This is a continuation of [4] (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) 
View on Wiley
arxiv.org
8 Citations

8 Citations

Citation Type

Citation Type

Pcf without Choice Sh835
We mainly investigate models of set theory with restricted choice, e.g., ZF + DC + the family of countable subsets of λ is well ordered for every λ (really local version for a given λ). We think that…
PCF arithmetic without and with choice
We deal with relatives of GCH which are provable. In particular, we deal with rank version of the revised GCH. Our motivation was to find such results when only weak versions of the axiom of choice…
Partitioning a reflecting stationary set
We address the question of whether a reflecting stationary set may be partitioned into two or more reflecting stationary subsets, providing various affirmative answers in ZFC. As an application to…
PCF ARITHMETIC WITHOUT AND WITH CHOICE SH938
We deal with relatives of GCH which are provable. In particular we deal with rank version of the revised GCH. Our motivation was to find such results when only weak versions of the axiom of choice…
ZF+DC+AX_4
We consider mainly the following version of set theory: "ZF + DC and for every lambda, lambda^{aleph_0} is well ordered", our thesis is that this is a reasonable set theory, e.g. on the one hand it…
ZF + DC + AX4
TLDR
It is proved that for a sequence δ¯=⟨δs: s∈Y⟩,cf(δ s) large enough compared to Y, the pcf theorem can be proved with minor changes (in particular, using true cofinalities not the pseudo ones).
LIST OF PUBLICATIONS
1. Sh:a Saharon Shelah. Classification theory and the number of nonisomorphic models, volume 92 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam-New…
LIST OF PUBLICATIONS
1. Sh:a Saharon Shelah. Classification theory and the number of nonisomorphic models, volume 92 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam-New…

References

SHOWING 1-6 OF 6 REFERENCES
PCF without choice
We mainly investigate model of set theory with restricted choice, e.g., ZF + DC + "the family of countable subsets of lambda is well ordered for every lambda" (really local version for a given…
Proper and Improper Forcing
This work deals with set-theoretic independence results (independence from the usual set-theoretic ZFC axioms), in particular for problems on the continuum. Consequently, the theory of iterated…
Advances in Cardinal Arithmetic
If cfκ = κ, κ + < cfλ = λ then there is a stationary subset S of {δ < λ : cf(δ) = κ} in I[λ]. Moreover, we can find C = 〈C δ : δ ∈ S〉, C δ club of λ, otp(C δ ) = κ, guessing clubs and for each α < λ…
The higher infinite : large cardinals in set theory from their beginnings
The theory of large cardinals is currently a broad mainstream of modern set theory, the main area of investigation for the analysis of the relative consistency of mathematical propositions and…
PCF without choice, publication number 835
  • PCF without choice, publication number 835
Cardinal Arithmetic
  • Cardinal Arithmetic
  • 1994