References & Citations
Mathematics > Logic
Title: The strength of countable saturation
(Submitted on 9 May 2016 (v1), last revised 19 May 2016 (this version, v2))
Abstract: 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.
Submission history
From: Benno van den Berg [view email][v1] Mon, 9 May 2016 11:33:22 GMT (15kb)
[v2] Thu, 19 May 2016 12:14:24 GMT (15kb)
Link back to: arXiv, form interface, contact.