By Tibor Beke and Jiri Rosicky

We introduce the notion of *\lambda*-equivalence and *\lambda*-embeddings of objects in suitable categories. This notion specializes to *L_{\infty\lambda}*-equivalence and *L_{\infty\lambda}*-elementary embedding for categories of structures in a language of arity less than *\lambda*, and interacts well with functors and *\lambda*-directed colimits. We recover and extend results of Feferman and Eklof... Show more

March 8, 2016

Loading full text...

Similar articles

Loading recommendations...

x1

Elementary equivalences and accessible functors

Click on play to start listening