Switch to: Citations

Add references

You must login to add references.
  1. Type reducing correspondences and well-orderings: Frege's and zermelo's constructions re-examined.J. L. Bell - 1995 - Journal of Symbolic Logic 60 (1):209-221.
    A key idea in both Frege's development of arithmetic in theGrundlagen[7] and Zermelo's 1904 proof [10] of the well-ordering theorem is that of a “type reducing” correspondence between second-level and first-level entities. In Frege's construction, the correspondence obtains betweenconceptandnumber, in Zermelo's (through the axiom of choice), betweensetandmember. In this paper, a formulation is given and a detailed investigation undertaken of a system ℱ of many-sorted first-order logic (first outlined in the Appendix to [6]) in which this notion of type reducing (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations