Andreka, Hajnal; Nemeti, Istvan Injectivity in categories to represent all first order formulas. I. (English) Zbl 0517.03029 Demonstr. Math. 12, 717-732 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents MSC: 03G30 Categorical logic, topoi Keywords:injectivity; first order formula; tree; relational structure PDFBibTeX XMLCite \textit{H. Andreka} and \textit{I. Nemeti}, Demonstr. Math. 12, 717--732 (1979; Zbl 0517.03029) Full Text: DOI