{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1802249","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1802249","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q1802249","kernelVersion":"v1","immutable":true,"modified":"2025-07-24T20:37:30Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q1802249","name":"Non-covering in the interpretability lattice of equational theories","headline":"Non-covering in the interpretability lattice of equational theories","description":"scientific article; zbMATH DE number 203146","url":"https://portal.mardi4nfdi.de/entity/Q1802249","datePublished":"1994-12-12","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q185681"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1802248"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q178112"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/BF01196089","url":"https://doi.org/10.1007/BF01196089"},"sameAs":["https://doi.org/10.1007/BF01196089"],"comment":"This is a very well-written paper, a delightful reading, even for people who are not familiar with the topic. The authors prove some results on balanced equational theories. As a corollary, they present a large class of equational theories which have no covering equational theories (up to equivalence of theories in a natural sense).   To go into details would need quite a few definitions and observations. Instead I recommend to read this important paper.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q3347940"},{"@id":"https://portal.mardi4nfdi.de/entity/Q690111"},{"@id":"https://portal.mardi4nfdi.de/entity/Q805646"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1821134"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1103662"}]},"provenance":{"prov:generatedAtTime":"2025-07-24T20:37:30Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}