Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078110899> ?p ?o ?g. }
- W2078110899 endingPage "173" @default.
- W2078110899 startingPage "149" @default.
- W2078110899 abstract "Various embedding problems of lattices into complete lattices are solved. We prove that for any join-semilattice S with the minimal join-cover refinement property, the ideal lattice Id S of S is both algebraic and dually algebraic. Furthermore, if there are no infinite D-sequences in J(S), then Id S can be embedded into a direct product of finite lower bounded lattices. We also find a system of infinitary identities that characterize sublattices of complete, lower continuous, and join-semidistributive lattices. These conditions are satisfied by any (not necessarily finitely generated) lower bounded lattice and by any locally finite, join-semidistributive lattice. Furthermore, they imply M. Erné’s dual staircase distributivity. On the other hand, we prove that the subspace lattice of any infinite-dimensional vector space cannot be embedded into any ℵ0-complete, ℵ0-upper continuous, and ℵ0-lower continuous lattice. A similar result holds for the lattice of all order-convex subsets of any infinite chain." @default.
- W2078110899 created "2016-06-24" @default.
- W2078110899 creator A5073101686 @default.
- W2078110899 date "2005-08-01" @default.
- W2078110899 modified "2023-10-12" @default.
- W2078110899 title "Sublattices of complete lattices with continuity conditions" @default.
- W2078110899 cites W1500907847 @default.
- W2078110899 cites W1509335165 @default.
- W2078110899 cites W1529501154 @default.
- W2078110899 cites W1582269801 @default.
- W2078110899 cites W1976204192 @default.
- W2078110899 cites W1982536060 @default.
- W2078110899 cites W1988089083 @default.
- W2078110899 cites W1995281116 @default.
- W2078110899 cites W1998005363 @default.
- W2078110899 cites W2020841960 @default.
- W2078110899 cites W2024334303 @default.
- W2078110899 cites W2056313148 @default.
- W2078110899 cites W2066169006 @default.
- W2078110899 cites W2080906822 @default.
- W2078110899 cites W2104848496 @default.
- W2078110899 cites W2143085405 @default.
- W2078110899 cites W2565711801 @default.
- W2078110899 cites W2572963184 @default.
- W2078110899 cites W2336587653 @default.
- W2078110899 doi "https://doi.org/10.1007/s00012-005-1878-4" @default.
- W2078110899 hasPublicationYear "2005" @default.
- W2078110899 type Work @default.
- W2078110899 sameAs 2078110899 @default.
- W2078110899 citedByCount "24" @default.
- W2078110899 countsByYear W20781108992012 @default.
- W2078110899 countsByYear W20781108992015 @default.
- W2078110899 countsByYear W20781108992016 @default.
- W2078110899 countsByYear W20781108992017 @default.
- W2078110899 countsByYear W20781108992018 @default.
- W2078110899 countsByYear W20781108992022 @default.
- W2078110899 crossrefType "journal-article" @default.
- W2078110899 hasAuthorship W2078110899A5073101686 @default.
- W2078110899 hasBestOaLocation W20781108992 @default.
- W2078110899 hasConcept C112680207 @default.
- W2078110899 hasConcept C114614502 @default.
- W2078110899 hasConcept C11821877 @default.
- W2078110899 hasConcept C118615104 @default.
- W2078110899 hasConcept C121332964 @default.
- W2078110899 hasConcept C132170107 @default.
- W2078110899 hasConcept C13336665 @default.
- W2078110899 hasConcept C134306372 @default.
- W2078110899 hasConcept C138390121 @default.
- W2078110899 hasConcept C154945302 @default.
- W2078110899 hasConcept C183992945 @default.
- W2078110899 hasConcept C192606457 @default.
- W2078110899 hasConcept C201640847 @default.
- W2078110899 hasConcept C202444582 @default.
- W2078110899 hasConcept C207405024 @default.
- W2078110899 hasConcept C24890656 @default.
- W2078110899 hasConcept C2524010 @default.
- W2078110899 hasConcept C2776124973 @default.
- W2078110899 hasConcept C2781204021 @default.
- W2078110899 hasConcept C32834561 @default.
- W2078110899 hasConcept C33923547 @default.
- W2078110899 hasConcept C34388435 @default.
- W2078110899 hasConcept C41008148 @default.
- W2078110899 hasConcept C41608201 @default.
- W2078110899 hasConcept C58193220 @default.
- W2078110899 hasConcept C62520636 @default.
- W2078110899 hasConcept C84540187 @default.
- W2078110899 hasConcept C9376300 @default.
- W2078110899 hasConceptScore W2078110899C112680207 @default.
- W2078110899 hasConceptScore W2078110899C114614502 @default.
- W2078110899 hasConceptScore W2078110899C11821877 @default.
- W2078110899 hasConceptScore W2078110899C118615104 @default.
- W2078110899 hasConceptScore W2078110899C121332964 @default.
- W2078110899 hasConceptScore W2078110899C132170107 @default.
- W2078110899 hasConceptScore W2078110899C13336665 @default.
- W2078110899 hasConceptScore W2078110899C134306372 @default.
- W2078110899 hasConceptScore W2078110899C138390121 @default.
- W2078110899 hasConceptScore W2078110899C154945302 @default.
- W2078110899 hasConceptScore W2078110899C183992945 @default.
- W2078110899 hasConceptScore W2078110899C192606457 @default.
- W2078110899 hasConceptScore W2078110899C201640847 @default.
- W2078110899 hasConceptScore W2078110899C202444582 @default.
- W2078110899 hasConceptScore W2078110899C207405024 @default.
- W2078110899 hasConceptScore W2078110899C24890656 @default.
- W2078110899 hasConceptScore W2078110899C2524010 @default.
- W2078110899 hasConceptScore W2078110899C2776124973 @default.
- W2078110899 hasConceptScore W2078110899C2781204021 @default.
- W2078110899 hasConceptScore W2078110899C32834561 @default.
- W2078110899 hasConceptScore W2078110899C33923547 @default.
- W2078110899 hasConceptScore W2078110899C34388435 @default.
- W2078110899 hasConceptScore W2078110899C41008148 @default.
- W2078110899 hasConceptScore W2078110899C41608201 @default.
- W2078110899 hasConceptScore W2078110899C58193220 @default.
- W2078110899 hasConceptScore W2078110899C62520636 @default.
- W2078110899 hasConceptScore W2078110899C84540187 @default.
- W2078110899 hasConceptScore W2078110899C9376300 @default.
- W2078110899 hasIssue "2-3" @default.
- W2078110899 hasLocation W20781108991 @default.
- W2078110899 hasLocation W20781108992 @default.