Elementary equivalences and accessible functors

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

BEKE Tibor ROSICKÝ Jiří

Year of publication 2018
Type Article in Periodical
Magazine / Source Annals of Pure and Applied Logic
MU Faculty or unit

Faculty of Science

Citation
Web http://dx.doi.org/10.1016/j.apal.2018.03.004
Doi http://dx.doi.org/10.1016/j.apal.2018.03.004
Keywords accessible categories; elementary equivalences; Lefschetz principle
Description We introduce the notion of lambda-equivalence and lambda-embeddings of objects in suitable categories. We recover and extend results of Feferman and Eklof on local functors without fixing a language in advance. This is convenient for formalizing Lefschetz's principle in algebraic geometry, which was one of the main applications of the work of Eklof.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.