Independence Structures in Set Theory

@inproceedings{Lambalgen1993IndependenceSI,
  title={Independence Structures in Set Theory},
  author={Michiel van Lambalgen},
  year={1993}
}
The axioms for "independent choices" presented in van Lambalgen [1992] are strengthened here, so that they can be seen as introducing a new type of indiscernibles in set theory. The resulting system allows for the construction of natural inner models. The article is organised as follows. Section 1 introduces the axioms, some preliminary lemmas are proved and the relation with the axiom of choice is investigated. Section 0 gives a philosophical motivation for the axioms; the reader who is not… CONTINUE READING