Mathematical Sciences: Foundations of Mathematics

将对以下方面进行调查：㈠优先方法 如应用于递归可重复的图灵度， r.e.的自同构（二）超稳定理论和 关于齐次结构的Lachlan猜想;（iii） 数学思想的意义是承认 形式化。 这些基础研究有可能 澄清我们的想法，有时也会延续到 理论计算机科学

Investigations will be pursued into: (i) The priority method as applied to recursively enumerable Turing degrees and automorphisms of the r.e. sets; (ii) Superstable theories and Lachlan's conjecture on homogeneous structures; (iii) Mathematical ideas in the sense of ideas which admit formalization. Such foundational studies have the potential of clarifying our thoughts and have sometimes carried over into theoretical computer science.