Intrinsic bounds on complexity and definability at limit levels Academic Article uri icon