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.