Matches in SemOpenAlex for { <https://semopenalex.org/work/W18933162> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W18933162 endingPage "314" @default.
- W18933162 startingPage "308" @default.
- W18933162 abstract "In this paper, several relations between members of a chain-complete poset (weaker than the relations relatively compact and IN introduced by Scott in his study of bases) are considered, with an eye toward examining whether all the properties of bases can be obtained from weaker axioms. It turns out that for all but one relation (relatively chain compact) one gets a weaker notion of bases than using relatively compact or IN. For relatively chain compact we conjecture that one gets a weaker notion of basis. However, we show that in the presence of bounded joins the existence of a basis derived from the relation of relatively chain compact implies the existence of a Scott basis if the cardinality of the chain-complete poset is less than the ω-th infinite cardinal. If one accepts the Continuum Hypothesis this means that the weaker relation is adequate in many posets likely to be of interest to computer science. Finally, even in the presence of the weaker type of basis in a complete lattice, the meet operation is continuous.KeywordsLocal BasisComplete LatticeContinuum HypothesisContinuous LatticeWeak NotionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W18933162 created "2016-06-24" @default.
- W18933162 creator A5077063883 @default.
- W18933162 date "1981-01-01" @default.
- W18933162 modified "2023-10-17" @default.
- W18933162 title "Propaedeutic to chain-complete posets with basis" @default.
- W18933162 cites W1996648065 @default.
- W18933162 cites W2001008439 @default.
- W18933162 cites W2028000879 @default.
- W18933162 cites W2073030937 @default.
- W18933162 cites W4211265583 @default.
- W18933162 cites W4243711577 @default.
- W18933162 doi "https://doi.org/10.1007/bfb0089914" @default.
- W18933162 hasPublicationYear "1981" @default.
- W18933162 type Work @default.
- W18933162 sameAs 18933162 @default.
- W18933162 citedByCount "6" @default.
- W18933162 countsByYear W189331622013 @default.
- W18933162 crossrefType "book-chapter" @default.
- W18933162 hasAuthorship W18933162A5077063883 @default.
- W18933162 hasConcept C114614502 @default.
- W18933162 hasConcept C118615104 @default.
- W18933162 hasConcept C121332964 @default.
- W18933162 hasConcept C124101348 @default.
- W18933162 hasConcept C12426560 @default.
- W18933162 hasConcept C1276947 @default.
- W18933162 hasConcept C167729594 @default.
- W18933162 hasConcept C180645754 @default.
- W18933162 hasConcept C199185054 @default.
- W18933162 hasConcept C199360897 @default.
- W18933162 hasConcept C202444582 @default.
- W18933162 hasConcept C24890656 @default.
- W18933162 hasConcept C2524010 @default.
- W18933162 hasConcept C25343380 @default.
- W18933162 hasConcept C2778692605 @default.
- W18933162 hasConcept C2780990831 @default.
- W18933162 hasConcept C2781204021 @default.
- W18933162 hasConcept C33923547 @default.
- W18933162 hasConcept C41008148 @default.
- W18933162 hasConcept C77088390 @default.
- W18933162 hasConcept C87117476 @default.
- W18933162 hasConceptScore W18933162C114614502 @default.
- W18933162 hasConceptScore W18933162C118615104 @default.
- W18933162 hasConceptScore W18933162C121332964 @default.
- W18933162 hasConceptScore W18933162C124101348 @default.
- W18933162 hasConceptScore W18933162C12426560 @default.
- W18933162 hasConceptScore W18933162C1276947 @default.
- W18933162 hasConceptScore W18933162C167729594 @default.
- W18933162 hasConceptScore W18933162C180645754 @default.
- W18933162 hasConceptScore W18933162C199185054 @default.
- W18933162 hasConceptScore W18933162C199360897 @default.
- W18933162 hasConceptScore W18933162C202444582 @default.
- W18933162 hasConceptScore W18933162C24890656 @default.
- W18933162 hasConceptScore W18933162C2524010 @default.
- W18933162 hasConceptScore W18933162C25343380 @default.
- W18933162 hasConceptScore W18933162C2778692605 @default.
- W18933162 hasConceptScore W18933162C2780990831 @default.
- W18933162 hasConceptScore W18933162C2781204021 @default.
- W18933162 hasConceptScore W18933162C33923547 @default.
- W18933162 hasConceptScore W18933162C41008148 @default.
- W18933162 hasConceptScore W18933162C77088390 @default.
- W18933162 hasConceptScore W18933162C87117476 @default.
- W18933162 hasLocation W189331621 @default.
- W18933162 hasOpenAccess W18933162 @default.
- W18933162 hasPrimaryLocation W189331621 @default.
- W18933162 hasRelatedWork W1456426994 @default.
- W18933162 hasRelatedWork W18933162 @default.
- W18933162 hasRelatedWork W1969178215 @default.
- W18933162 hasRelatedWork W1972327406 @default.
- W18933162 hasRelatedWork W1980752991 @default.
- W18933162 hasRelatedWork W2085151508 @default.
- W18933162 hasRelatedWork W2092046762 @default.
- W18933162 hasRelatedWork W2950756227 @default.
- W18933162 hasRelatedWork W3037411436 @default.
- W18933162 hasRelatedWork W4293450575 @default.
- W18933162 isParatext "false" @default.
- W18933162 isRetracted "false" @default.
- W18933162 magId "18933162" @default.
- W18933162 workType "book-chapter" @default.