Representation and preservation of the metamathematical quotients of A. Robinson

DOI10.1007/BF01196102MaRDI QIDQ1802263zbMATH OpenOpenAlexFDO

Authors Michel Hébert

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) Interpolation, preservation, definability (03C40) Axiomatic model classes (08C10)

Recommendations

• Abraham Robinson's Meta-Algebra Revisited
• A Framework for Metamathematics
• Applied model theory and metamathematics. An Abraham Robinson memorial problem list
• A representation theorem for quantales
• On the metamathematics of algebra
• scientific article; zbMATH DE number 903646
• Representation Theorems for Quantales
• scientific article; zbMATH DE number 1042847

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• Preservation and Interpolation Through Binary Relations Between Theories

Cited in

(2)

• Abraham Robinson's Meta-Algebra Revisited
• scientific article; zbMATH DE number 3954884 (Why is no real title available?)

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

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