Switch to: References

Add citations

You must login to add citations.
  1. Notes on some second-order systems of iterated inductive definitions and Π 1 1 -comprehensions and relevant subsystems of set theory. [REVIEW]Kentaro Fujimoto - 2015 - Annals of Pure and Applied Logic 166 (4):409-463.
    Download  
     
    Export citation  
     
    Bookmark   2 citations