A preservation theorem for ec-structures with applications

DOI10.2307/2274363MaRDI QIDQ3787986zbMATH OpenOpenAlexFDO

Authors Michael Albert

Publication date 1987

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274363

zbMATH Keywords

existentially closed structuresmodel companions of universal Horn classespreservation theorem

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Interpolation, preservation, definability (03C40)

Recommendations

• A note on algebraically and existentially closed structures
• A preservation theorem for equality-free Horn sentences
• Finding model-companions via the skeleton
• Some characterization theorems for infinitary universal Horn logic without equality
• Homomorphism preservation theorems

Cited in

(4)

• Finding model-companions via the skeleton
• A preservation theorem for equality-free Horn sentences
• Finitely Many Primitive Positive Clones
• Preservation and decomposition theorems for bounded degree structures

This page was built for publication: A preservation theorem for ec-structures with applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3787986)