Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950618396> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2950618396 abstract "For a partially ordered set P, let Co(P) denote the lattice of all order-convex subsets of P. For a positive integer n, we denote by SUB(LO) (resp., SUB(n)) the class of all lattices that can be embedded into a product of lattices of convex subsets of chains (resp., chains with at most n elements). We prove the following results: (1) Both classes SUB(LO) and SUB(n), for any positive integer n, are locally finite, finitely based varieties of lattices, and we find finite equational bases of these varieties. (2) The variety SUB(LO) is the quasivariety join of all the varieties SUB(n), for 1 ≤ n < omega, and it has only countably many subvarieties. We classify these varieties, together with all the finite subdirectly irreducible members of SUB(LO). (3) Every finite subdirectly irreducible member of SUB(LO) is projective within SUB(LO), and every subquasivariety of SUB(LO) is a variety." @default.
- W2950618396 created "2019-06-27" @default.
- W2950618396 creator A5060675658 @default.
- W2950618396 creator A5073101686 @default.
- W2950618396 date "2005-01-21" @default.
- W2950618396 modified "2023-09-28" @default.
- W2950618396 title "Sublattices of lattices of order-convex sets, III. The case of totally ordered sets" @default.
- W2950618396 cites W1540569207 @default.
- W2950618396 cites W1965260120 @default.
- W2950618396 cites W1988089083 @default.
- W2950618396 cites W2080906822 @default.
- W2950618396 cites W2099602798 @default.
- W2950618396 cites W2531636206 @default.
- W2950618396 cites W2572963184 @default.
- W2950618396 hasPublicationYear "2005" @default.
- W2950618396 type Work @default.
- W2950618396 sameAs 2950618396 @default.
- W2950618396 citedByCount "0" @default.
- W2950618396 crossrefType "posted-content" @default.
- W2950618396 hasAuthorship W2950618396A5060675658 @default.
- W2950618396 hasAuthorship W2950618396A5073101686 @default.
- W2950618396 hasConcept C10138342 @default.
- W2950618396 hasConcept C105795698 @default.
- W2950618396 hasConcept C112680207 @default.
- W2950618396 hasConcept C114614502 @default.
- W2950618396 hasConcept C121332964 @default.
- W2950618396 hasConcept C136197465 @default.
- W2950618396 hasConcept C154945302 @default.
- W2950618396 hasConcept C162324750 @default.
- W2950618396 hasConcept C180645754 @default.
- W2950618396 hasConcept C182306322 @default.
- W2950618396 hasConcept C199360897 @default.
- W2950618396 hasConcept C24890656 @default.
- W2950618396 hasConcept C2524010 @default.
- W2950618396 hasConcept C2777212361 @default.
- W2950618396 hasConcept C2781204021 @default.
- W2950618396 hasConcept C33923547 @default.
- W2950618396 hasConcept C41008148 @default.
- W2950618396 hasConcept C90673727 @default.
- W2950618396 hasConcept C97137487 @default.
- W2950618396 hasConceptScore W2950618396C10138342 @default.
- W2950618396 hasConceptScore W2950618396C105795698 @default.
- W2950618396 hasConceptScore W2950618396C112680207 @default.
- W2950618396 hasConceptScore W2950618396C114614502 @default.
- W2950618396 hasConceptScore W2950618396C121332964 @default.
- W2950618396 hasConceptScore W2950618396C136197465 @default.
- W2950618396 hasConceptScore W2950618396C154945302 @default.
- W2950618396 hasConceptScore W2950618396C162324750 @default.
- W2950618396 hasConceptScore W2950618396C180645754 @default.
- W2950618396 hasConceptScore W2950618396C182306322 @default.
- W2950618396 hasConceptScore W2950618396C199360897 @default.
- W2950618396 hasConceptScore W2950618396C24890656 @default.
- W2950618396 hasConceptScore W2950618396C2524010 @default.
- W2950618396 hasConceptScore W2950618396C2777212361 @default.
- W2950618396 hasConceptScore W2950618396C2781204021 @default.
- W2950618396 hasConceptScore W2950618396C33923547 @default.
- W2950618396 hasConceptScore W2950618396C41008148 @default.
- W2950618396 hasConceptScore W2950618396C90673727 @default.
- W2950618396 hasConceptScore W2950618396C97137487 @default.
- W2950618396 hasOpenAccess W2950618396 @default.
- W2950618396 hasRelatedWork W1621510249 @default.
- W2950618396 hasRelatedWork W1990256675 @default.
- W2950618396 hasRelatedWork W2007310312 @default.
- W2950618396 hasRelatedWork W2011598407 @default.
- W2950618396 hasRelatedWork W2021707702 @default.
- W2950618396 hasRelatedWork W2026224392 @default.
- W2950618396 hasRelatedWork W2050962951 @default.
- W2950618396 hasRelatedWork W2051945759 @default.
- W2950618396 hasRelatedWork W2066169006 @default.
- W2950618396 hasRelatedWork W2067515725 @default.
- W2950618396 hasRelatedWork W2253007330 @default.
- W2950618396 hasRelatedWork W2290451660 @default.
- W2950618396 hasRelatedWork W2326957700 @default.
- W2950618396 hasRelatedWork W2611872613 @default.
- W2950618396 hasRelatedWork W2950204642 @default.
- W2950618396 hasRelatedWork W2950293426 @default.
- W2950618396 hasRelatedWork W2951905446 @default.
- W2950618396 hasRelatedWork W2952969277 @default.
- W2950618396 hasRelatedWork W3100431406 @default.
- W2950618396 hasRelatedWork W882905023 @default.
- W2950618396 isParatext "false" @default.
- W2950618396 isRetracted "false" @default.
- W2950618396 magId "2950618396" @default.
- W2950618396 workType "article" @default.