Some Recursion Theoretic Problems

9971137 Harrington这个项目研究包含下的递归可枚举集的结构，重点是不变集和自同构，以及可定义集及其相应的有限来回博弈。某些类型的自同构的不存在和某些类型的不变集的存在之间存在着一种自然的相互作用。这个项目将试图解决在将当前的自同构技术扩展到有限的来回争论中所固有的一些组合困难。这可能有助于将不变/自同构技术转换为可定义/不可定义技术，从而产生可能有趣的可定义集。递归可枚举集是其成员因为相应的计算停止而获得条目的集合；因此，周期性可枚举集是随时间推移描述的现象的例子(在任何给定时间，人们只知道其计算已经停止的有限成员集)，但其实际性质是永恒的(潜在成员要么在里面，要么出去-计算要么最终停止，要么永远不停止)。因此，递归可枚举集为研究某事物在时间上的出现和该事物的永恒本质之间的相互作用提供了一个舞台。这里使用的方法是假设，尽管表面上看起来，两个东西实际上是“相同的”，因为它们可以通过对称(自同构)来识别。这要么是事实，要么是试图产生理想的对称性的失败可能(而且经常确实)导致永恒的可描述的性质将这两个东西分开，并解释为什么它们真正不同。该项目还计划将上述内容作为理解前苏格拉底时代哲学家的典范。

9971137Harrington This project deals with the structure of recursively enumerablesets under inclusion, with emphasis on invariant sets andautomorphisms, and on definable sets with their corresponding finiteback-and-forth games. There is a natural interplay between thenon-existence of certain types of automorphisms and the existence ofcertain types of invariant sets. This project will attempt to addresssome of the combinatorial difficulties inherent in extending thecurrent techniques for automorphisms to finite back-and-fortharguments. This might help convert the invariant/automorphismtechnology into a definable/non-definable technology, thus producingpossibly interesting definable sets. A recursively enumerable set is a set whose members gain entrybecause a corresponding computation comes to a halt; thus therecursively enumerable sets are examples of a phenomenon describedover time (at any given time one knows only the finite set of memberswhose computation has already halted) but whose actual nature istimeless (a potential member is either in or out---the computationeither eventually halts or it never halts). So the recursivelyenumerable sets provide an arena for studying the interplay betweenthe appearances in time of some thing and the timeless nature of thatsame thing. The method used here is to presume, despite appearances,that two things are actually `the same' in the sense that they can beidentified via a symmetry (automorphism). This either turns out to bethe case, or the failure of the attempt to produce the desiredsymmetry may (and often does) result in a timeless describable propertyseparating the two things and explaining why they are truly different.This project also plans to use the above as an exemplar towardsunderstanding the pre-Socratic philosophers.***