Matches in SemOpenAlex for { <https://semopenalex.org/work/W4249764557> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4249764557 endingPage "785" @default.
- W4249764557 startingPage "779" @default.
- W4249764557 abstract "Abstract We characterize the model companions of universal Horn classes generated by a two-element algebra (or ordered two-element algebra). We begin by proving that given two mutually model consistent classes M and N of (respectively ) structures, with , , provided that an -definability condition for the function and relation symbols of holds. We use this, together with Post's characterization of ISP ( A ), where A is a two-element algebra, to show that the model companions of these classes essentially lie in the classes of posets and semilattices, or characteristic two groups and relatively complemented distributive lattices." @default.
- W4249764557 created "2022-05-12" @default.
- W4249764557 creator A5001631971 @default.
- W4249764557 date "1987-09-01" @default.
- W4249764557 modified "2023-09-29" @default.
- W4249764557 title "A preservation theorem for ec-structures with applications" @default.
- W4249764557 cites W1965301224 @default.
- W4249764557 cites W2030157699 @default.
- W4249764557 cites W2048036952 @default.
- W4249764557 cites W4231259498 @default.
- W4249764557 doi "https://doi.org/10.2307/2274363" @default.
- W4249764557 hasPublicationYear "1987" @default.
- W4249764557 type Work @default.
- W4249764557 citedByCount "1" @default.
- W4249764557 crossrefType "journal-article" @default.
- W4249764557 hasAuthorship W4249764557A5001631971 @default.
- W4249764557 hasConcept C11821877 @default.
- W4249764557 hasConcept C118615104 @default.
- W4249764557 hasConcept C120665830 @default.
- W4249764557 hasConcept C121332964 @default.
- W4249764557 hasConcept C136119220 @default.
- W4249764557 hasConcept C17744445 @default.
- W4249764557 hasConcept C199539241 @default.
- W4249764557 hasConcept C200288055 @default.
- W4249764557 hasConcept C202444582 @default.
- W4249764557 hasConcept C25343380 @default.
- W4249764557 hasConcept C2780841128 @default.
- W4249764557 hasConcept C33923547 @default.
- W4249764557 hasConcept C41008148 @default.
- W4249764557 hasConcept C77088390 @default.
- W4249764557 hasConceptScore W4249764557C11821877 @default.
- W4249764557 hasConceptScore W4249764557C118615104 @default.
- W4249764557 hasConceptScore W4249764557C120665830 @default.
- W4249764557 hasConceptScore W4249764557C121332964 @default.
- W4249764557 hasConceptScore W4249764557C136119220 @default.
- W4249764557 hasConceptScore W4249764557C17744445 @default.
- W4249764557 hasConceptScore W4249764557C199539241 @default.
- W4249764557 hasConceptScore W4249764557C200288055 @default.
- W4249764557 hasConceptScore W4249764557C202444582 @default.
- W4249764557 hasConceptScore W4249764557C25343380 @default.
- W4249764557 hasConceptScore W4249764557C2780841128 @default.
- W4249764557 hasConceptScore W4249764557C33923547 @default.
- W4249764557 hasConceptScore W4249764557C41008148 @default.
- W4249764557 hasConceptScore W4249764557C77088390 @default.
- W4249764557 hasIssue "3" @default.
- W4249764557 hasLocation W42497645571 @default.
- W4249764557 hasOpenAccess W4249764557 @default.
- W4249764557 hasPrimaryLocation W42497645571 @default.
- W4249764557 hasRelatedWork W2010803649 @default.
- W4249764557 hasRelatedWork W2038058391 @default.
- W4249764557 hasRelatedWork W2057407312 @default.
- W4249764557 hasRelatedWork W2091331641 @default.
- W4249764557 hasRelatedWork W2147170865 @default.
- W4249764557 hasRelatedWork W2169367842 @default.
- W4249764557 hasRelatedWork W2333313290 @default.
- W4249764557 hasRelatedWork W2941394577 @default.
- W4249764557 hasRelatedWork W2980549993 @default.
- W4249764557 hasRelatedWork W3011046085 @default.
- W4249764557 hasVolume "52" @default.
- W4249764557 isParatext "false" @default.
- W4249764557 isRetracted "false" @default.
- W4249764557 workType "article" @default.