Mathematical Sciences: The Fourth Southeastern Logic Symposium, March 24 - 26, 1988, Columbia, South Carolina

这次会议是第四届东南逻辑研讨会，将提供一个论坛，交流关于数理逻辑及其在其他数学分支和计算机科学中的应用的前沿研究的想法和成果，并将促进东南部研究人员和机构之间的合作。四位主要演讲者是C.Jockusch、A.Lachlan、J.Keisler和H.Woodin。为研究生的参与提供财政支持。数理逻辑与数学的方方面面都有联系，尤其是不仅在数学本身，而且在理论计算机科学中也有应用，包括形式语言及其决策问题。

This conference, the Fourth Southeastern Symposium on Logic, will provide a forum for the exchange of ideas and results on the leading edge of research in mathematical logic and its applications to other branches of mathematics and to computer science, and will facilitate collaboration among researchers and institutions in the Southeast. The four major speakers are C. Jockusch, A. Lachlan, J. Keisler, and H. Woodin. Financial support for graduate student participation is available. Mathematical logic has connections with all aspects of mathematics, and in particular has applications not only in mathematics itself, but in theoretical computer science, including formal languages and their decision problems.