Fixed points in Peano arithmetic with ordinals. Jäger, G. Annals of Pure and Applied Logic, 60(2):119–132, 1993.
Fixed points in Peano arithmetic with ordinals [link]Paper  doi  bibtex   
@Article{jae93a,
  Author         = {Gerhard J{\"a}ger},
  Title          = {Fixed points in {P}eano arithmetic with ordinals},
  Journal        = {Annals of Pure and Applied Logic},
  Volume         = {60},
  Number         = {2},
  Pages          = {119{--}132},
  doi            = {10.1016/0168-0072(93)90039-G},
  url            = {http://dx.doi.org/10.1016/0168-0072(93)90039-G},
  year           = 1993
}

Downloads: 0