Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
This article 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 su...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2016 |
| País: | España |
| Institución: | Universitat Autònoma de Barcelona |
| Repositorio: | Dipòsit Digital de Documents de la UAB |
| Idioma: | inglés |
| OAI Identifier: | oai:ddd.uab.cat:154680 |
| Acceso en línea: | https://ddd.uab.cat/record/154680 https://dx.doi.org/urn:doi:10.1093/jigpal/jzw009 |
| Access Level: | acceso abierto |
| Palabra clave: | Lowenheim-Skolem theorems First-order predicate logics Non-classical logics Algebraizable logics Model theory |
| Sumario: | This article 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) Lowenheim-Skolem theorems for these non-classical logics, by direct proofs and by describing their models as classical two-sorted models |
|---|