Switch to: References

Add citations

You must login to add citations.
  1. The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.
    Set theory is an autonomous and sophisticated field of mathematics, enormously successful not only at its continuing development of its historical heritage but also at analyzing mathematical propositions cast in set-theoretic terms and gauging their consistency strength. But set theory is also distinguished by having begun intertwined with pronounced metaphysical attitudes, and these have even been regarded as crucial by some of its great developers. This has encouraged the exaggeration of crises in foundations and of metaphysical doctrines in general. However, (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Levy and set theory.Akihiro Kanamori - 2006 - Annals of Pure and Applied Logic 140 (1):233-252.
    Azriel Levy did fundamental work in set theory when it was transmuting into a modern, sophisticated field of mathematics, a formative period of over a decade straddling Cohen’s 1963 founding of forcing. The terms “Levy collapse”, “Levy hierarchy”, and “Levy absoluteness” will live on in set theory, and his technique of relative constructibility and connections established between forcing and definability will continue to be basic to the subject. What follows is a detailed account and analysis of Levy’s work and contributions (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Generating sets of free groups and the axiom of choice.Philipp Kleppmann - 2014 - Mathematical Logic Quarterly 60 (3):239-241.
    Write F(X) for the free group generated by X. We show that the statement for infinite sets is equivalent to the Axiom of Choice, whereas the statement is strictly weaker than the Axiom of Choice.
    Download  
     
    Export citation  
     
    Bookmark