Representation and preservation of the metamathematical quotients of A. Robinson

DOI10.1007/BF01196102zbMath0782.03015OpenAlexW2072122061MaRDI QIDQ1802263

Michel Hebert

Publication date: 18 July 1993

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01196102

zbMATH Keywords

preservation theoremHorn sentencessyntactic characterizationmetamathematical idealmetamathematical quotients

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Axiomatic model classes (08C10) Interpolation, preservation, definability (03C40)

Cites Work

• Preservation and Interpolation Through Binary Relations Between Theories
• Unnamed Item

This page was built for publication: Representation and preservation of the metamathematical quotients of A. Robinson