INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I

DOI10.1515/DEMA-1979-0316zbMath0497.03029OpenAlexW102901472WikidataQ122610278 ScholiaQ122610278MaRDI QIDQ5905252

Hajnalka Andréka, Istvan Németi

Publication date: 1979

Published in: Demonstratio Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dema-1979-0316

zbMATH Keywords

injectivity with respect to some tree

Mathematics Subject Classification ID

Model theory (03C99)

Related Items (8)

On the existence of free models in abstract algebraic institutions ⋮ Quasi-varieties in abstract algebraic institutions ⋮ A foundation for conceptual data structures by cylindric and partial algebras ⋮ Elementary classes in the injective subcategories approach to abstract model theory ⋮ Some Results on Locally Finitely Presentable Categories ⋮ Epis need not be dense ⋮ Generalized sketches as a framework for completeness theorems. I-III ⋮ Equational partiality

This page was built for publication: INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I