Switch to: References

Add citations

You must login to add citations.
  1. λ-structures and s-structures: Translating the models.Gunter Fuchs - 2011 - Annals of Pure and Applied Logic 162 (4):257-317.
    I develop a translation procedure between λ-structures, which correspond to premice in the Friedman–Jensen indexing convention on the one hand and s-structures, which are essentially the same as premice in the Mitchell–Steel indexing scheme.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • λ-structures and s-structures: Translating the iteration strategies.Gunter Fuchs - 2011 - Annals of Pure and Applied Logic 162 (9):710-751.
    Continuing the work of Fuchs [1], I show that the translation functions developed previously map iterable λ-structures to iterable s-structures and vice versa. To this end, I analyse how the translation functions interact with the formation of extender ultrapowers and normal iterations. This analysis makes it possible to translate iterations, and, in a last step, iteration strategies, thus arriving at the result.
    Download  
     
    Export citation  
     
    Bookmark   3 citations