Switch to: References

Add citations

You must login to add citations.
  1. Intuitionistic Fixed Point Theories for Strictly Positive Operators.Christian Rüede & Thomas Strahm - 2002 - Mathematical Logic Quarterly 48 (2):195-202.
    In this paper it is shown that the intuitionistic .xed point theory equation image for α times iterated fixed points of strictly positive operator forms is conservative for negative arithmetic and equation image sentences over the theory equation image for α times iterated arithmetic comprehension without set parameters.This generalizes results previously due to Buchholz [5] and Arai [2].
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Intuitionistic Fixed Point Theories Over Set Theories.Toshiyasu Arai - 2015 - Archive for Mathematical Logic 54 (5-6):531-553.
    In this paper we show that the intuitionistic fixed point theory FiXi over set theories T is a conservative extension of T if T can manipulate finite sequences and has the full foundation schema.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Quick Cut-Elimination for Strictly Positive Cuts.Toshiyasu Arai - 2011 - Annals of Pure and Applied Logic 162 (10):807-815.
    In this paper we show that the intuitionistic theory for finitely many iterations of strictly positive operators is a conservative extension of Heyting arithmetic. The proof is inspired by the quick cut-elimination due to G. Mints. This technique is also applied to fragments of Heyting arithmetic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Lifting Proof Theory to the Countable Ordinals: Zermelo-Fraenkel Set Theory.Toshiyasu Arai - 2014 - Journal of Symbolic Logic 79 (2):325-354.
  • Some Results on Cut-Elimination, Provable Well-Orderings, Induction and Reflection.Toshiyasu Arai - 1998 - Annals of Pure and Applied Logic 95 (1-3):93-184.
    We gather the following miscellaneous results in proof theory from the attic.1. 1. A provably well-founded elementary ordering admits an elementary order preserving map.2. 2. A simple proof of an elementary bound for cut elimination in propositional calculus and its applications to separation problem in relativized bounded arithmetic below S21.3. 3. Equivalents for Bar Induction, e.g., reflection schema for ω logic.4. 4. Direct computations in an equational calculus PRE and a decidability problem for provable inequations in PRE.5. 5. Intuitionistic fixed (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations