The Diversity of Minimal Cofinal Extensions
James H. Schmerl · Notre Dame Journal of Formal Logic · 2022
Fix a countable nonstandard model M of Peano arithmetic. Even with some rather severe restrictions placed on the types of minimal cofinal extensions N≻M that are allowed, we still find that there are 2ℵ0 possible theories of (N,M) for such N’s.