Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)Proof theory for theories of ordinals II: Π3-reflection.Toshiyasu Arai - 2004 - Annals of Pure and Applied Logic 129 (1-3):39-92.
    This paper deals with a proof theory for a theory T3 of Π3-reflecting ordinals using the system O of ordinal diagrams in Arai 1375). This is a sequel to the previous one 1) in which a theory for recursively Mahlo ordinals is analyzed proof-theoretically.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Three conceptual problems that bug me (7th Scandinavian Logic Symposium, Uppsala lecture, Aug.18-20, 1996 Draft).Solomon Feferman - unknown
    I will talk here about three problems that have bothered me for a number of years, during which time I have experimented with a variety of solutions and encouraged others to work on them. I have raised each of them separately both in full and in passing in various contexts, but thought it would be worthwhile on this occasion to bring them to your attention side by side. In this talk I will explain the problems, together with some things that (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations