Alexander, S. A. 2019a. Intelligence via ultrafilters: structural properties of some intelligence comparators of deterministic Legg-Hutter agents. Journal of Artificial General Intelligence 10(1):24–45.10.2478/jagi-2019-0003
Alexander, S. A. 2020b. The Archimedean trap: Why traditional reinforcement learning will probably not yield AGI. Journal of Artificial General Intelligence 11(1):70–85.10.2478/jagi-2020-0004
Bostrom, N. 2003. Ethical issues in advanced artificial intelligence. In Schneider, S., ed., Science fiction and philosophy: from time travel to superintelligence. John Wiley and Sons. 277–284.
Chaitin, G. 2011. Metaphysics, Metamathematics and Metabiology. In Hector, Z., ed., Randomness through computation. World Scientific.10.1142/9789814327756_0006
Ehrlich, P. 2012. The absolute arithmetic continuum and the unification of all numbers great and small. Bulletin of Symbolic Logic 18:1–45.10.2178/bsl/1327328438
Kirman, A. P., and Sondermann, D. 1972. Arrow’s theorem, many agents, and invisible dictators. Journal of Economic Theory 5(2):267–277.10.1016/0022-0531(72)90106-8
Legg, S. 2006. Is there an elegant universal theory of prediction? In International Conference on Algorithmic Learning Theory, 274–287. Springer.10.1007/11894841_23
Liu, S.-C. 1960. An enumeration of the primitive recursive functions without repetition. Tohoku Mathematical Journal 12(3):400–402.10.2748/tmj/1178244403
Wainer, S., and Buchholz, W. 1987. Provably computable functions and the fast growing hierarchy. In Simpson, S. G., ed., Logic and Combinatorics. AMS.10.1090/conm/065/891248
Yampolskiy, R. V. 2012. AI-complete, AI-hard, or AI-easy–classification of problems in AI. In The 23rd Midwest Artificial Intelligence and Cognitive Science Conference.10.5402/2012/271878
Yampolskiy, R. V. 2013. Turing test as a defining feature of AI-completeness. In Artificial intelligence, evolutionary computing and metaheuristics. Springer. 3–17.