  In this paper we calibrate the strength of the soundness of a Kripke-Platek
set theory with the axioms of Infinity and \Pi_{1}-Collection with the
assumption that`there exists an uncountable regular ordinal' in terms of the
existence of ordinals.
