Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662558 | Annals of Pure and Applied Logic | 2011 | 42 Pages |
Abstract
Continuing the work of Fuchs (2011) [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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic