INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I

DOI10.1515/DEMA-1979-0316zbMath0517.03029OpenAlexW102901472WikidataQ122610278 ScholiaQ122610278MaRDI QIDQ5902623

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

treeinjectivityrelational structurefirst order formula

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items (3)

Unnamed Item ⋮ Some Co-Birkhoff Type Theorems ⋮ Unnamed Item

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