5 found
Sort by:
  1. Marc Jumelet (1995). Euler'sϕ-Function in the Context of IΔ 0. Archive for Mathematical Logic 34 (3):197-209.
    It is demonstrated that we can represent Euler's φ-function by means of a Δ0-formula in such a way that the theory IΔ 0 proves the recursion equations that are characteristic for this function.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Marc Jumelet (1995). Eulers [Mathematical Formula]-Function in the Context of [Mathematical Formula]. Archive for Mathematical Logic 3.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Marc Jumelet (1995). Euler's $\Varphi$ -Function in the Context of ${\Rm I}\Delta_0$. Archive for Mathematical Logic 34 (3):197-209.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Dick de Jongh, Marc Jumelet & Franco Montagna (1991). On the Proof of Solovay's Theorem. Studia Logica 50 (1):51-69.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Dick Jongh, Marc Jumelet & Franco Montagna (1991). On the Proof of Solovay's Theorem. Studia Logica 50 (1):51 - 69.
    Solovay's 1976 completeness result for modal provability logic employs the recursion theorem in its proof. It is shown that the uses of the recursion theorem can in this proof be replaced by the diagonalization lemma for arithmetic and that, in effect, the proof neatly fits the framework of another, enriched, system of modal logic (the so-called Rosser logic of Gauspari-Solovay, 1979) so that any arithmetical system for which this logic is sound is strong enough to carry out the proof, in (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation