The strength of countable saturation
  We determine the proof-theoretic strength of the principle of countable saturation in the context of the systems for nonstandard arithmetic introduced in our earlier work. 
B. van den Berg and E.M. Briseid and P. Safarik
math.LO