Switch to: References

Add citations

You must login to add citations.
  1. Some Applications of Model Theory in Set Theory.Jack H. Silver - 1971 - Annals of Pure and Applied Logic 3 (1):45.
  • Godel's Program for New Axioms: Why, Where, How and What?Solomon Feferman - unknown
    From 1931 until late in his life (at least 1970) Godel called for the pursuit of new axioms for mathematics to settle both undecided number-theoretical propositions (of the form obtained in his incompleteness results) and undecided set-theoretical propositions (in particular CH). As to the nature of these, Godel made a variety of suggestions, but most frequently he emphasized the route of introducing ever higher axioms of in nity. In particular, he speculated (in his 1946 Princeton remarks) that there might be (...)
    Direct download  
    Export citation  
    Bookmark   11 citations