Is there a concrete result about third order arithmetic in the sense of reverse mathematics? Say something which mentions the set of all real numbers, which exists there... Thank you, Jan Pax