Speaker
Renling Jin
(College of Charleston)
Description
There could be more than one elementary embedding between a model and its elementary extension. We develop a nonstandard analysis framework by iterating ultrapower constructions and present two different elementary embeddings at each stage. We hope that this framework gives powerful tools in applications. As a testing case we give a nonstandard proof of multidimensional van der Waerden's theorem by a single induction within this framework.
