Löwenheim-Skolem theorems for non-classical first-order algebraizable logics

0469168 - ÚTIA 2017 RIV GB eng J - Článek v odborném periodiku
Dellunde, P. - García-Cerdaña, A. - Noguera, Carles
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics.
Logic Journal of the IGPL. Roč. 24, č. 3 (2016), s. 321-345. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985556
Klíčová slova: Löwenheim-Skolem theorems * first-order predicate logics * non-classical logics * algebraizable logics * model theory
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.575, rok: 2016
http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469168.pdf

This paper is a contribution to the model theory of non-classical first-order predicate logics. In a wide framework of first-order systems based on algebraizable logics, we study several notions of homomorphisms between models and find suitable definitions of elementary homomorphism, elementary substructure and elementary equivalence. Then we obtain (downward and upward) Löwenheim-Skolem theorems for these non-classical logics, by direct proofs and by describing their models as classical 2-sorted models.
Trvalý link: http://hdl.handle.net/11104/0269405