中央研究院 資訊科學研究所

活動訊息

友善列印

列印可使用瀏覽器提供的(Ctrl+P)功能

應用邏輯討論會系列 (XL) - Categoricity spectra and effective classifications

:::

應用邏輯討論會系列 (XL) - Categoricity spectra and effective classifications

  • 講者Nikolay Bazhenov 教授 (俄羅斯科學院西伯利亞分院, 索博列夫數學研究所)
    邀請人:廖純中
  • 時間2018-10-12 (Fri.) 15:30 ~ 17:30
  • 地點資訊所新館106演講廳
摘要

The general area of effective algebra is devoted to studying the algorithmic content of mathematical structures. The standard model for such investigations is a (Turing) computable presentation of an algebraic structure. A computable structure S is computably categorical if for any computable presentation A of S, there is a Turing computable isomorphism from A onto S. The notion of categoricity spectrum, which is built upon computable categoricity, captures the complexity of isomorphisms between different computable presentations of a given structure. For a class of structures K, effective classification gives a measure of complexity for computably presentable members of K. In the talk, we give a review of recent results on categoricity spectra and related effective classification problems.