Abstract

In this paper, we consider the following basic question. Let A be an L-structure and let ψ be an infinitary sentence in the language L∪{R}, where R is a new relation symbol. When is it the case that for every B ≅ A, there is a relation R such that (B,R) ⊨

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