皆様

National Chung-Cheng UniversityのHsing-chien Tsai先生の講演のお知らせです。どうぞふるってご参加ください。

問合せ先： 佐野勝彦 北陸先端科学技術大学院大学 情報科学研究科 e-mail: v-sano@jaist.ac.jp

------------------------------ * JAIST Logic Seminar Series *

Date and Time: Tuesday, 6th October 2015, 15:30--17:00

Title: On Some General Methods of Proving Decidability or Undecidability

Place: Collaboration room No.7, 5th floor of IS building No. 3, JAIST (Access: http://www.jaist.ac.jp/english/location/access.html)

Speaker: Hsing-chien Tsai (Department of Philosophy, National Chung-Cheng University)

Abstract: This talk will first introduce some useful general methods of proving the decidability or the undecidability of a first-order logical theory, and then will show some applications of those methods. The methods to be looked into are heavily involved with checking whether or not two models (or two classes of models) stand in certain relations. Here the two most-checked relations between two models are back-and-forth equivalence and definability (that is, defining one into another). In this light, this talk will also briefly discuss some general theorems concerning the two aforementioned model theoretical relations.