Switch to: References

Add citations

You must login to add citations.
  1. Lifting proof theory to the countable ordinals: Zermelo-Fraenkel set theory.Toshiyasu Arai - 2014 - Journal of Symbolic Logic 79 (2):325-354.
  • Cut-elimination for ω1.Toshiyasu Arai - 2018 - Annals of Pure and Applied Logic 169 (12):1246-1269.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark