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.
math.LO↗
arXiv subjects
P. Safarik
Publications and source records attributed to P. Safarik.