Jul 10 – 11, 2023
Dipartimento di Matematica
Europe/Rome timezone

Many Levels of Infinities and Multidimensional van der Waerden's Theorem

Jul 11, 2023, 2:30 PM
45m
Aula Magna (Dipartimento di Matematica)

Aula Magna

Dipartimento di Matematica

Largo Bruno Pontecorvo 5 56127 Pisa Italy

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.

Presentation materials