7 found
Sort by:
  1. Heinz-Dieter Ebbinghaus (2006). Zermelo: Boundary Numbers and Domains of Sets Continued. History and Philosophy of Logic 27 (4):285-306.
    Towards the end of his 1930 paper on boundary numbers and domains of sets Zermelo briefly discusses the questions of consistency and of the existence of an unbounded sequence of strongly inaccessible cardinals, deferring a detailed discussion to a later paper which never appeared. In a report to the Emergency Community of German Science from December 1930 about investigations in progress he mentions that some of the intended extensions of these topics had been worked out and were nearly ready for (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Heinz-Dieter Ebbinghaus (2003). Zermelo: Definiteness and the Universe of Definable Sets. History and Philosophy of Logic 24 (3):197-219.
    Using hitherto unpublished manuscripts from the Zermelo Nachlass, I describe the development of the notion of definiteness and the discussion about it, giving a conclusive picture of Zermelo's thoughts up to the late thirties. As it turns out, Zermelo's considerations about definiteness are intimately related to his concept of a Cantorian universe of categorically definable sets that may be considered an inner model of set theory in an ideationally given universe of classes.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Dirk Van Dalen & Heinz-Dieter Ebbinghaus (2000). Zermelo and the Skolem Paradox. Bulletin of Symbolic Logic 6 (2):145 - 161.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Dirk van Dalen & Heinz-Dieter Ebbinghaus (2000). Dedicated to Mrs. Gertrud Zermelo on the Occasion of Her 95th Birthday. Bulletin of Symbolic Logic 6 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Dirk Van Dalen & Heinz-Dieter Ebbinghaus (2000). Zermelo and the Skolem Paradox. Bulletin of Symbolic Logic 6 (2):145-161.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Heinz-Dieter Ebbinghaus (1996). Mathematical Logic. Springer.
    This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Heinz-Dieter Ebbinghaus (1995). On the Model Theory of Some Generalized Quantifiers. In. In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. 25--62.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation