Hypermachines, submitted to the Journal of Symbolic Logic (2009)

by S D Friedman, P D Welch