Abstract

We show that any countable ℵ 0 {\aleph _0} -categorical theory without finite models has a model companion (which is also ℵ 0 {\aleph _0} -categorical). We find the model companions for all ℵ 0 {\aleph _0} -categorical abelian groups, and conclude with some remarks on the ℵ 1 {\aleph _1} -categorical case.

Full Text
Published version (Free)

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