Computability and Effective Constructions in Mathematics

该奖项的目的是为以下人员提供旅行支持：道格拉斯·琴泽（佛罗里达大学）、瓦伦蒂娜·哈里扎诺夫（乔治·华盛顿大学）、朱莉娅·奈特（圣母大学）、斯蒂芬·伦普和里德·所罗门（威斯康星大学麦迪逊分校）、安德烈·尼斯（芝加哥大学）、马拉特·阿尔斯拉诺夫（喀山州立大学）、谢尔盖·贡恰罗夫和安德烈·莫罗佐夫（新西伯利亚俄罗斯科学院）、和哈萨克斯坦科学院（阿拉木图）的Serikzhan Badaev和Mikhail Peretyat'kin，每人进行一次研究访问，与对方国家的同行合作，以及学生总共进行三次额外的访问。合作研究的重点是可计算性理论及其在其他领域的应用，特别是代数和模型理论。具体的研究课题包括对集合的可计算逼近的研究，代数结构表示的复杂性，有效结构上附加关系的复杂性，有效结构同构的复杂性，代数结构的计算，可计算结构的自同构群，以及在阿贝尔群，可计算置换群和布尔代数中的应用

PROJECT SUMMARYThe purpose of this award is to provide travel support to allow Douglas Cenzer (University of Florida), Valentina Harizanov (George Washington University), Julia Knight (University of Notre Dame), Steffen Lempp and Reed Solomon (University of Wisconsin-Madison), and Andre Nies (University of Chicago) as well as Marat Arslanov (Kazan State University), Sergey Goncharov and Andrei Morozov (Russian Academy of Sciences, Novosibirsk), and Serikzhan Badaev and Mikhail Peretyat'kin (Kazakh Academy of Sciences, Almaty) to make one research visit each to work collaboratively with their counterparts in the other country, as well as a total of three additional trips by students.The focus of the proposed cooperative research is the theory of computability and its applications to other areas, in particular algebra and model theory. Specific research topics include the study of computable approximations to sets, the complexity of presentations of algebraic structures, the complexity of additional relations on effective structures, the complexity of isomorphisms of effective structures, numerations of algebraic structures, automorphism groups of computable structures, and applications to abelian $p$-groups, to groups of computable permutations, and to Boolean algebras