Další formáty:
BibTeX
LaTeX
RIS
@article{1419364, author = {Beke, Tibor and Rosický, Jiří}, article_number = {7}, doi = {http://dx.doi.org/10.1016/j.apal.2018.03.004}, keywords = {accessible categories; elementary equivalences; Lefschetz principle}, language = {eng}, issn = {0168-0072}, journal = {Annals of Pure and Applied Logic}, title = {Elementary equivalences and accessible functors}, url = {http://dx.doi.org/10.1016/j.apal.2018.03.004}, volume = {169}, year = {2018} }
TY - JOUR ID - 1419364 AU - Beke, Tibor - Rosický, Jiří PY - 2018 TI - Elementary equivalences and accessible functors JF - Annals of Pure and Applied Logic VL - 169 IS - 7 SP - 674-703 EP - 674-703 SN - 01680072 KW - accessible categories KW - elementary equivalences KW - Lefschetz principle UR - http://dx.doi.org/10.1016/j.apal.2018.03.004 N2 - 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. ER -
BEKE, Tibor a Jiří ROSICKÝ. Elementary equivalences and accessible functors. \textit{Annals of Pure and Applied Logic}. 2018, roč.~169, č.~7, s.~674-703. ISSN~0168-0072. Dostupné z: https://dx.doi.org/10.1016/j.apal.2018.03.004.
|