模型论入门

    无穷小微积分是模型论的小分支。当今，国际上，模型论发展很快，我们必须补课。

    站在模型论的角度，极限微积分的未来就是无穷小微积分。这是事物发展的逻辑。

    我们苦苦求索，终于找到一篇关于模型论的入门教材。请读者参阅本文附件。

袁萌  陈启清   12月16日

附：

Introduction to model theory

Wilfrid Hodges Queen Mary, University of London

This course is an introduction in two senses. First, it is for people who haven’t studied model theory before, though I trust most people in the class will have heard of it. I have tried to make most of the material accessible to people coming from any of the main disciplines where model theory is used: mathematics, philosophy, computer science, linguistics, cognitive psychology. And second, I have tried to start where model theory starts. This course is an introduction to the basic notions rather than to the most impressive achievements. Since we are discussing the starting points, I dip back into history perhaps more than is usual in introductory courses.

Unfortunately I haven’t yet found time to put together complete notes. What you have here is a provisional schedule of topics, and some historical and other material that I expect to refer to when we discuss these topics.

1（全文请见“无穷小微积分”专业网站）