Switch to: Citations

Add references

You must login to add references.
  1. A generalization of gödel's notion of constructibility.Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (2):147-155.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Forcing with trees and order definability.Thomas J. Jech - 1975 - Annals of Mathematical Logic 7 (4):387.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Consistency results about ordinal definability.Kenneth McAloon - 1971 - Annals of Mathematical Logic 2 (4):449.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Transfinite descending sequences of models HOD.Wo̵dzimierz Zadroźny - 1981 - Annals of Mathematical Logic 20 (2):201.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Transfinite descending sequences of models HODα.Wo̵dzimierz Zadroźny - 1981 - Annals of Mathematical Logic 20 (2):201-229.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Some applications of Jensen's coding theorem.R. David - 1982 - Annals of Mathematical Logic 22 (2):177-196.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Ordinal definability in Jensen's model.Włodzimierz Zadrożny - 1984 - Journal of Symbolic Logic 49 (2):608-620.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Cardinal collapsing and ordinal definability.Petr Štěpánek - 1978 - Journal of Symbolic Logic 43 (4):635-642.
    Download  
     
    Export citation  
     
    Bookmark   1 citation