Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 2238

Preprint Number 2238

Previous Next Preprint server

2238. Tapani Hyttinen and Jouko Väänänen
On highly equivalent non-isomorphic countable models of arithmetic and set theory

Submission date: 27 August 2022


It is well-known that the first order Peano axioms PA have a continuum of non-isomorphic countable models. The question, how close to being isomorphic such countable models can be, seems to be less investigated. A measure of closeness to isomorphism of countable models is the length of back-and-forth sequences that can be established between them. We show that for every countable ordinal alpha there are countable non-isomorphic models of PA with a back-and-forth sequence of length alpha between them. This implies that the Scott height (or rank) of such models is bigger than alpha. We also prove the same result for models of ZFC.

Mathematics Subject Classification: 03C62, 03C15

Keywords and phrases:

Full text arXiv 2208.13052: pdf, ps.

Last updated: August 31 2022 19:02 Please send your corrections to: