Abstract

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.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call