6 found
Sort by:
  1. Matthias Baaz & Georg Moser (2006). Herbrand's Theorem and Term Induction. Archive for Mathematical Logic 45 (4):447-503.
    We study the formal first order system TIND in the standard language of Gentzen's LK . TIND extends LK by the purely logical rule of term-induction, that is a restricted induction principle, deriving numerals instead of arbitrary terms. This rule may be conceived as the logical image of full induction.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Georg Moser (2006). Ackermann's Substitution Method (Remixed). Annals of Pure and Applied Logic 142 (1):1-18.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Georg Moser & Richard Zach (2006). The Epsilon Calculus and Herbrand Complexity. Studia Logica 82 (1):133 - 155.
    Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator ex. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Arnold Beckmann, Jeremy Avigad & Georg Moser (2005). Preface. Annals of Pure and Applied Logic 136 (1-2):1-2.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Georg Moser (2004). Journal of Symbolic Computation. Bulletin of Symbolic Logic 10 (4):588-590.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. A. Weiermann & Georg Moser (2004). REVIEWS-Three Papers. Bulletin of Symbolic Logic 10 (4):588-589.
    No categories
     
    My bibliography  
     
    Export citation