再帰理論を扱う国際的学術団体として記号論理学会(association for symbolic logic)がある。