Fixed Points in Peano Arithmetic with Ordinals

Gerhard Jäger. Fixed Points in Peano Arithmetic with Ordinals. Annals of Pure and Applied Logic, 60(2):119-132, 1993.

Abstract

Abstract is missing.