Resolving finite indeterminacy: A definitive constructive universal prime ideal theorem.

Peter Schuster, Daniel Misselbeck-Wessel

Browse the full LICS paper archive.