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} }
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)
8 Citations
Pcf without Choice Sh835
- Mathematics
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
- Mathematics
- 2009
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
- MathematicsProceedings of the American Mathematical Society
- 2020
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
- Mathematics
- 2013
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
- Mathematics, Philosophy
- 2014
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
- MathematicsArch. Math. Log.
- 2016
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
- Environmental Science
- 2007
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
- Environmental Science
- 2022
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
- Mathematics
- 2005
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
- Economics
- 1998
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
- Mathematics
- 1993
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
- Economics
- 2005
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