Representation and preservation of the metamathematical quotients of A. Robinson

DOI10.1007/BF01196102zbMATH Open0782.03015OpenAlexW2072122061MaRDI QIDQ1802263FDOQ1802263

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

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

zbMATH Keywords

preservation theoremHorn sentencessyntactic characterizationmetamathematical idealmetamathematical quotients

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Preservation and Interpolation Through Binary Relations Between Theories

Cited In (2)

• Abraham Robinson's Meta-Algebra Revisited
• Title not available (Why is that?)

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)