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

From This Paper

Topics from this paper.
4 Citations
19 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 19 references

An extravagant partition relation for arithmetic, in: Axiomatic set theory, Contemporary Mathematics 31, AMS, Providence

  • K. Gödel
  • Model theory, Encyclopedia of Mathematics and its…
  • 1990
Highly Influential
4 Excerpts

Sahlqvist's theorem for generalized quantifiers: completeness part, Report, Institute for Logic, Language and Computation, University of Amsterdam. Bekkali, M

  • N. A. Alechina, M. van Lambalgen
  • Philosophy of mathematics: selected readings,
  • 1994

Generalized Quantifier Theory and Applications, Dutch Network for Logic, Language and Information, University of Amsterdam; to appear as CSLI Lecture Notes

  • Eyck eds
  • J. Symb. Logic
  • 1992

Measure and Category

  • J. Oxley
  • Infinite matroids,
  • 1992
1 Excerpt

1985b], Borel structures for first order and extended logics, in L.A. Harrington et al (eds.), Harvey Friedman's research on the foundations of mathematics, North - Holland

  • Feferman eds, Modeltheoretic Logics, C. I. Springer Verlag. Steinhorn
  • Ann. Math. Logic
  • 1985

Similar Papers

Loading similar papers…