Switch to: References

Add citations

You must login to add citations.
  1. Ordinals connected with formal theories for transfinitely iterated inductive definitions.W. Pohlers - 1978 - Journal of Symbolic Logic 43 (2):161-182.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams.Mitsuhiro Okada - 1987 - Journal of Symbolic Logic 52 (3):577-581.
    Download  
     
    Export citation  
     
    Bookmark