Matches in SemOpenAlex for { <https://semopenalex.org/work/W2033066257> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2033066257 endingPage "1250" @default.
- W2033066257 startingPage "1242" @default.
- W2033066257 abstract "By an equational theory we mean a set of equations from some fixed language which is closed with respect to logical consequences. We regard equations as universal sentences whose quantifier-free parts are equations between terms. In our notation, we suppress the universal quantifiers. Once a language has been fixed, the collection of all equational theories for that language is a lattice ordered by set inclusion The meet in this lattice is simply intersection; the join of a collection of equational theories is the equational theory axiomatized by the union of the collection. In this paper we prove, for languages with only finitely many fundamental operation symbols, that any nontrivial finitely axiomatizable equational theory covers some other finitely axiomatizable equational theory. In fact, our result is a little more general. There is an extensive literature concerning lattices of equational theories. These lattices are always algebraic. Compact elements of these lattices are the finitely axiomatizable equational theories. We also call them finitely based . The largest element in the lattice is compact; it is the equational theory based on the single equation x ≈ y . The smallest element of the lattice is the trivial theory consisting of tautological equations. For all but the simplest languages, the lattice of equational theories is intricate. R. McKenzie in [6] was able to prove in essence that the underlying language can be recovered from the isomorphism type of this lattice." @default.
- W2033066257 created "2016-06-24" @default.
- W2033066257 creator A5005130857 @default.
- W2033066257 creator A5054481847 @default.
- W2033066257 date "1995-12-01" @default.
- W2033066257 modified "2023-09-25" @default.
- W2033066257 title "The existence of finitely based lower covers for finitely based equational theories" @default.
- W2033066257 cites W1975646155 @default.
- W2033066257 cites W1981377480 @default.
- W2033066257 cites W2020996881 @default.
- W2033066257 cites W2027579376 @default.
- W2033066257 cites W2049352524 @default.
- W2033066257 cites W2050494265 @default.
- W2033066257 cites W2070471622 @default.
- W2033066257 cites W2073404881 @default.
- W2033066257 cites W2113829447 @default.
- W2033066257 cites W2733516447 @default.
- W2033066257 doi "https://doi.org/10.2307/2275885" @default.
- W2033066257 hasPublicationYear "1995" @default.
- W2033066257 type Work @default.
- W2033066257 sameAs 2033066257 @default.
- W2033066257 citedByCount "1" @default.
- W2033066257 crossrefType "journal-article" @default.
- W2033066257 hasAuthorship W2033066257A5005130857 @default.
- W2033066257 hasAuthorship W2033066257A5054481847 @default.
- W2033066257 hasConcept C102565666 @default.
- W2033066257 hasConcept C115624301 @default.
- W2033066257 hasConcept C118615104 @default.
- W2033066257 hasConcept C121332964 @default.
- W2033066257 hasConcept C136119220 @default.
- W2033066257 hasConcept C154564781 @default.
- W2033066257 hasConcept C154690210 @default.
- W2033066257 hasConcept C177264268 @default.
- W2033066257 hasConcept C185592680 @default.
- W2033066257 hasConcept C199360897 @default.
- W2033066257 hasConcept C202444582 @default.
- W2033066257 hasConcept C203436722 @default.
- W2033066257 hasConcept C24890656 @default.
- W2033066257 hasConcept C2781204021 @default.
- W2033066257 hasConcept C33923547 @default.
- W2033066257 hasConcept C41008148 @default.
- W2033066257 hasConcept C8010536 @default.
- W2033066257 hasConceptScore W2033066257C102565666 @default.
- W2033066257 hasConceptScore W2033066257C115624301 @default.
- W2033066257 hasConceptScore W2033066257C118615104 @default.
- W2033066257 hasConceptScore W2033066257C121332964 @default.
- W2033066257 hasConceptScore W2033066257C136119220 @default.
- W2033066257 hasConceptScore W2033066257C154564781 @default.
- W2033066257 hasConceptScore W2033066257C154690210 @default.
- W2033066257 hasConceptScore W2033066257C177264268 @default.
- W2033066257 hasConceptScore W2033066257C185592680 @default.
- W2033066257 hasConceptScore W2033066257C199360897 @default.
- W2033066257 hasConceptScore W2033066257C202444582 @default.
- W2033066257 hasConceptScore W2033066257C203436722 @default.
- W2033066257 hasConceptScore W2033066257C24890656 @default.
- W2033066257 hasConceptScore W2033066257C2781204021 @default.
- W2033066257 hasConceptScore W2033066257C33923547 @default.
- W2033066257 hasConceptScore W2033066257C41008148 @default.
- W2033066257 hasConceptScore W2033066257C8010536 @default.
- W2033066257 hasIssue "4" @default.
- W2033066257 hasLocation W20330662571 @default.
- W2033066257 hasOpenAccess W2033066257 @default.
- W2033066257 hasPrimaryLocation W20330662571 @default.
- W2033066257 hasRelatedWork W1972112806 @default.
- W2033066257 hasRelatedWork W1988771515 @default.
- W2033066257 hasRelatedWork W2033066257 @default.
- W2033066257 hasRelatedWork W2167154330 @default.
- W2033066257 hasRelatedWork W2326718950 @default.
- W2033066257 hasRelatedWork W2971981099 @default.
- W2033066257 hasRelatedWork W3099011196 @default.
- W2033066257 hasRelatedWork W4311038273 @default.
- W2033066257 hasRelatedWork W4362706553 @default.
- W2033066257 hasRelatedWork W975021916 @default.
- W2033066257 hasVolume "60" @default.
- W2033066257 isParatext "false" @default.
- W2033066257 isRetracted "false" @default.
- W2033066257 magId "2033066257" @default.
- W2033066257 workType "article" @default.