Cristian Caluce, Ion Chiţescu, “A combinatorial characterization of sequential p. martin-löf tests”, International Journal of Computer Mathematics, 17, № 1, 1985, 53
Gaisi Takeuti, Masahiro Yasumoto, Gödel '96, 2017, 120
Vladimir A. Zakharov, 2055, Machines, Computations, and Universality, 2001, 133
L. A. Bokut', G. P. Kukin, “Unsolvable algorithmic problems for semigroups, groups, and rings”, J Math Sci, 45, № 1, 1989, 871
Xiaoran LU, Chen Yang, “Educational pathways for enhancing algorithmic transparency: a discussion based on the phenomenological reduction method”, AI & Soc, 2025