题目：Iterated Star Map and Its Applications to Combinatorics

  报告人：金人麟 教授 (美国查尔斯顿学院)

  时间：2024年5月19日16:00

  地点：蒙民伟楼1105

  摘要：A star map is a bounded elementary embedding from a superstaru-cture V(X) to another superstructure V(Y) where X is a subset of Y. Star map is an important tool in nonstandard analysis which connects standard mathematics to nonstandard mathematics. In this talk, we establish a framework where the star map is actually an embedding from V(X) into V(X) itself. Hence, the map can naturally be iterated. Furthermore, the iteration can be conducted externally as well as internally with distinct merits, respectively. We will demonstrate the strength of this approach by proving some theorems in combinatorics in the framework. This is an on-going joint work with Mauro Di Nasso.

  邀请人：喻良 老师