Abstract

AbstractLetTbe a model-complete theory that eliminates the quantifier ∃∞xForTwe construct a theoryT+such that any element in a model ofT+determines a model ofT. We show thatT+has a model companionT1. We can iterate the construction. The produced theories are investigated.

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